--:: JASPER ::--

Testimonials

"NVIDIA has relied successfully on JasperGold for a number of years in our end-to-end full proof flow, where we have been able to guarantee correctness of some of our most complex designs. Based on these early successes, Jasper's superior customer support, and the unique scalability of the tool from property verification to full-proof, NVIDIA has deployed JasperGold for property verification of next generation GPU chips."

Dan Smith Hardware Engineering NVIDIA CORPORATION

"After using several competing products, Qualcomm selected Jasper as our formal verification provider of choice because of their superior technology and solutions-oriented applications support. We are now deploying JasperGold across design and verification teams worldwide to deliver higher quality in the industry’s most highly integrated wireless devices."

J. Scott Runner Senior Director of Engineering Qualcomm

"Jasper has significantly improved the scalability of formal model checking. JasperGold Verification System's interactive use-model allows formal model checking to run on larger, more complex designs."

Shrenik Mehta Director of Frontend Technologies, Scalable Systems Group Sun Microsystems

"JasperGold's user interactive Design Tunneling enable the tool to solve previously intractable block-level proofs by directing the engines to consider only the logic which is relevant to the problem."

Prosenjit Chatterjee Manager, Formal Methods Group NVIDIA CORPORATION

"JasperGold found several really subtle, ugly bugs in our large switching network that would never have been found by simulation. With Jasper, I hit them in a couple of minutes. Jasper's support team was great."

Senior Staff Engineer Azul Systems, Inc.

Verification Industry Luminaries Comment:

"With the world moving to highly-leveraged IP reuse-based design flows and platform-based design, systematic formal verification is becoming an imperative. Full formal verification of critical functionality, combined with coverage metrics for the rest of the design, is the best way to ensure correctness and enable more aggressive, competitive designs. Effective system-level verification depends on a high degree of confidence in block quality. Formal verification provides the highest level of confidence possible."

Brian Bailey

"Jasper is the only EDA company that is committed to making full formal IC verification a competitive advantage for its customers."

Professor Moshe Vardi

"Jasper's application of formal technology at the architecture level has enormous potential to alleviate the most troubling downstream design and verification challenges."

Professor Tom Melham

“Through a combination of excellent algorithmic research and a deep understanding of the problem domain, Jasper is delivering highly effective formal verification solutions.”

Sharad Malik