Webinar: Accelerating Formal Verification Using Non-Determinism

Webinar Overview:

The use of non-determinism with formal is how formal is able to manage large state spaces and still arrive at a quick solution. Non-determinism plays a part in writing our formal constraints, formal targets, and formal abstractions.

This webinar will explain what non-determinism is, how it’s used, and show lots of examples so you can take advantage of non-determinism to accelerate the verification of your designs.

It is partnered with Synopsys and all of the examples can be used in VC Formal.

Attendance is FREE and live Q&A will be provided throughout the broadcast.

Doug Smith – Design & Verification Expert – will present this training webinar, which will consist of a one-hour presentation with interactive Q&A available to attendees throughout.

---

REGISTER HERE