Do you have a really tough verification problem – one that takes seemingly forever for a testbench simulation to solve – and are left wondering whether an automated formal application would be better suited for the task?
Are you curious about formal or clock-domain crossing verification, but are overwhelmed by all the results you get from a Google search?
Good news: inspired by the success of the UVM courses on the Verification Academy website, the Questa Formal and CDC team has created all new courses on a whole variety of formal and CDC-related subjects that address these questions and more. New topics that are covered include:
* What’s a formal app, and what are the benefits of the approach?
* Reviews of automated formal apps for bug hunting, exhaustive connectivity checking and register verification, X-state analysis, and more
* New topics in CDC verification, such as the need for reconvergence analysis, and power-aware CDC verification
* How to get started with direct property checking including: test planning for formal, SVA coding tricks that get the most out of the formal analysis engines AND ensure reuse with simulation and emulation, how to setup the analysis for rapidly reaching a solution, and how to measure formal coverage and estimate whether you have enough assertions
The best part: all of this content is available NOW at www.verificationacademy.com, and it’s all FREE!
Joe Hupcey III,
on behalf of the Questa Formal and CDC team
P.S. If you’re coming to the DAC in San Francisco, be sure to come by the Verification Academy booth (#2408) for live presentations, end-user case studies, and demos on the full range of verification topics – UVM, low power, portable stimulus, formal, CDC, hardware-software co-verification, and more. Follow this link for all the details & schedule of events (including “Formal & CDC Day” on June 10!): http://www.mentor.com/events/design-automation-conference/schedule