|Phone||+1 650 966 0200|
|Series D, 2/09 |
Jasper Design Automation, Inc. operates as an electronic design automation company. The companyâ€™s products include JasperGold verification system that provides bug detection and debugging solutions; and GamePlan verification planner Web site. It offers verification products, IC design blocks, customer support, methodology consulting, training, and turnkey proof kit development. The company also provides on-site consulting services that enable the deployment and proliferation of structured verification methodologies, as well as write formal test plans for specific designs, and provides turnkey verification services. The company was founded in 1999 as Tempus Fugit, Inc. and changed its name to Jasper Design Automation, Inc. in 2003. Jasper Design Automation, Inc. is based in Mountain View, California
Jasper formal verification technology delivers compelling benefits throughout the entire SoC design flow, from RTL debug through verification and regression test to post-silicon debug. JasperGold Verification System provides rapid bug detection and debug as well as end-to-end full proofs of expected design behavior. It is the only production-proven formal verification solution that enables seamless scalability from formal assertion-based verification (ABV) to exhaustive end-to-end proofs of microarchitecture-level properties. Its powerful analysis capabilities and ease of use make it ideal for early-stage bug hunting as well as ensuring the highest confidence possible in your design functionality via end-to-end full proof.