Jasper Intellectual Property
 
Advanced EDA technology is a crucial link to the next generation of SoC design.

At Jasper, we're committed to ongoing innovation in formal technology. This commitment has been a core component of our ability to deliver high-value solutions to our customers. One reflection of this investment has been our growing portfolio of patents.

To date, Jasper has been issued seven patents by the U.S. Patent and Trademark Office and has 9 other patents pending.

Number Title
Issued
6611947 Method For Determining The Functional Equivalence Between Two Circuit Models In A Distributed Computing Environment
08/26/03
6993730 Method For Rapidly Determining The Functional Equivalence Between Two Circuit Models
01/31/06
7020856 Method For Verifying Properties Of A Circuit Model
03/28/06
7065726 System And Method For Guiding And Optimizing Formal Verification For A Circuit Design
06/20/06
7137078 Trace Based Method For Design Navigation
11/14/06
7159198 System And Method For Identifying Design Efficiency And Effectiveness Parameters For Verifying Properties Of A Circuit Model 01/02/07
7237208 Managing Formal Verification Complexity Of Designs With Datapaths 06/26/07
Copyrights © 2000-2008 Jasper Design Automation, Inc. All rights reserved
Privacy Policy | Trademarks