Executive Briefing: Formal Attire

Jasper CEO Kathryn Kranen speaks up on why formal verification is suddenly so interesting and how power has become enemy No. 1.

popularity

Kathryn Kranen, CEO of Jasper Design Automation, talks with Low Power-High-Performance Engineering about formal verification, where the pain points are in SoC design, and why there is still life left in Moore’s Law.