Verification Videos
Shift Left with Static & Formal Verification: Catching bugs early for RTL signoff
In this webinar, we will discuss how SpyGlass® Lint Turbo, VC Formal™ Auto Extracted Properties (AEP) and Formal Coverage Analyzer (FCA) Apps identify RTL issues at their source, pinpoints coding and consistency problems in the RTL descriptions, and helps designers resolve issues quickly before design implementation. The webinar will also show a tool demo on the easy-to-use Verdi® unified debug capabilities, low noise technology to automatically find RTL bugs, dead code, unreachable FSM states and transitions using advanced static and formal technology.
Please complete the following form, then click the 'continue >>' button below.