Jasper Design Automation, Inc.

Jasper Design Automation, Inc. specializes in formal verification applications, enhancing design verification productivity through advanced technology and machine learning, catering to algorithm-centric and data-intensive industries. Founded in 1999 and headquartered in Mountain View, US, Jasper Design Automation, Inc. focuses on formal verification solutions for the semiconductor industry.

The company was sold to Cadence Design Systems on June 16, 2014, for an undisclosed amount. Jasper has completed a total of 5 deals, with investors including Accel and Foundation Capital, raising a total of USD 2. 130 mn in its latest funding round. The Jasper Formal Verification Platform, developed by Cadence, offers a comprehensive suite of formal verification tools designed for both C/C++ and RTL levels.

Leveraging smart proof technology and machine learning algorithms, these tools enhance efficiency and throughput by identifying and rectifying potential bugs early in the design process. Jasper serves various sectors, including aerospace, automotive, life sciences, and data centers, across North America, Europe, and Asia-Pacific regions. Cadence generates revenue through a subscription-based model for the Jasper Formal Verification Platform, providing clients access to software licenses, professional services, and training tailored to their needs. The pricing structure reflects the value of its offerings, with clients benefiting from comprehensive support options, including online classes and in-person training, aimed at enhancing their use of Cadence’s technologies.

Jasper Design Automation, Inc. intends to expand its product offerings with upcoming releases aimed at enhancing formal verification capabilities. The company is also targeting geographic expansion into new markets in Asia-Pacific and Europe by the end of 2024. The recent funding round of USD 2.

130 mn will support these initiatives, enhancing product development and market outreach activities.