Jasper Design Automation delivers industry-leading EDA software solutions for semiconductor design, verification, and reuse, based on the state-of-the-art formal technology. Customers include worldwide leaders in wireless, consumer, computing, and
networking electronics, with over 100 successful chip deployments. Jasper offers two products: JasperGold Verification System and Active Design.
The JasperGold® Verification System product family employs state-of-the-art formal verification technology to provide complete systematic verification of design behavior, ensuring correctness in your designs where it matters most. JasperGold delivers competitive advantage across the
spectrum of SoC design applications, from architectural analysis, to RTL design and debug, to verification, and low-power analysis, to silicon debug and software programmers’ modeling.
The ActiveDesign family is a software and services portfolio delivering a breakthrough in design development, comprehension, and reuse for internal design blocks, as well as commercial IP. Behavioral indexing technology extracts, indexes and stores relevant design behaviors, along with the RTL, in a dynamic, executable database. Coupled with sophisticated Visualization technology, it supports graphical and waveform views of behaviors and dependencies.