Short facts

HQ: San Francisco
Acquirer: Cadence

Jasper Design Automation (sold to Cadence in 2014)

Kathryn Kranen and her team at Jasper bult over ten years a leading position in Formal Verification in market that had been dominated by the giants Cadence, Synopsys and Mentor Graphics. With an excellent product, Jasper in effect created a new standard for high powered formal verification and became the first choice for the semiconductor companies globally. Northzone become investors when PJ in 2005 placed a cold call to Kathryn and asked if she thought there would be a great strategic fit between NZ´s portfolio company Safelogic and Jasper. She said yes, and the rest is history.