The Cadence Academic Network helps build strong relationships between academia and industry, and promotes the proliferation of leading-edge technologies and methodologies at universities renowned for their engineering and design excellence.

A huge knowledge exchange platform for academia to network with industry. We are looking for academic speakers to talk about their research to the industry attendees at the Academic Track at CDNLive EMEA and Silicon Valley.

RTL Design Signoff

The platform includes formal-based technologies dedicated to better meeting designers’ needs for register-transfer level (RTL) signoff. Designers benefit from richer functional checks and formal-powered intelligent debugging to reduce violation noise. The JasperGold Superlint App and JasperGold Clock Domain Crossing (CDC) App improve design quality by up to 80% and reduce IP development time by up to four weeks when compared to existing solutions with static rules-based checkers. With these applications, designers can signoff robust, reusable, and CDC-clean RTL code to the verification and implementation phase, shortening overall time to market and significantly improving design quality.

Verification

The JasperGold platform provides a range of formal verification apps ranging from classic formal property verification, to automated apps for particular verification tasks, where the formal properties are created automatically, such as apps for connectivity or control and status register verification. These apps can be used by verification engineers and formal verification specialists. Formal apps provide exhaustive verification and require no testbench, so they can save many weeks of verification effort and increase design quality by finding more bugs at an earlier stage, compared with other verification methods. The JasperGold platform provides the broadest range of design-proven apps, supported by the largest formal specialist team in the industry, and benefits from unique Visualize™ UI technology, making our formal apps much easier to adopt.

As long-time customers of Incisive formal and simulation solutions, we are impressed with the next-generation JasperGold platform. As well as improved debug and ease-of-use, we’ve achieved a significant increase in performance compared to Incisive Enterprise Verifier, as measured by proof convergence in a given time.

"With the ability to find bugs weeks earlier in the design process, we’ve reduced late-stage RTL changes, which enables the team to save additional time when we get to the functional verification stage.”

“We’ve identified functional and structural CDC issues earlier in the RTL signoff phase using the JasperGold CDC App. Eliminating these bugs earlier in the process has increased the quality of our designs and saved us between two and four weeks on the design and verification time for each of our IP.”

Customer Support

Get the most out of your investment in Cadence technologies through a wide range of training offerings. We offer instructor-led classes at our training centers or at your site. We also offer self-paced online courses. Overview