Jasper

Vice President Product Operations
Vice President Marketing
Vice President Worldwide Sales

Jasper Design Automation is a leader in true formal functional verification, the company's breakthrough PreCognitive Formal Verification Technology begins at the spec-level to deliver 100% exhaustive design requirement proof for today's ultra complex Integrated Circuits.

Funded by Foundation Capital, Accel Partners, Cambrian Ventures and industry angel investors. Acquired by Cadence.