1 hour session (All Time Zones)
Presenter: Doug Smith
We know formal can prove things, but where do we apply it? Did you know you can use formal to generate simulation testbenches for covering coverage holes or have it visualize your design without writing a single line of testbench code?
Formal can be used for identifying metastability, X propagation, fault propagation and detection, equivalence, and so much more.
In this webinar, we'll have a look at the many ways formal helps out your design verification process, including the use of complexity analysis and bounded reachability analysis, overconstraining the design, setting cut points, and creating abstractions.
Some examples will be demonstrated using the Jasper Formal Verification Platform by Cadence.
Attendance is FREE and live Q&A will be provided throughout the broadcast.
Doug Smith - Doulos Senior Member Technical Staff will present this training webinar, which will consist of a one-hour presentation with interactive Q&A available to attendees throughout.
Attendance is free of charge
If you have any queries, please contact firstname.lastname@example.org