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