In this webinar we discuss the importance of auto-generating System Verilog Assertions. The SVAs are indispensable for formal verification, reducing the dependence on traditional simulation based verification.
If any aspect of the chip specification can be captured formally then it can be transformed into SV Assertions.
See how IDS-NG helps you create assertions from various forms of chip specification be it Register specification, Interrupt specification, Connectivity specification etc. This helps reduce the debug time and helps create correct-by-construction IPs/SoCs.
We will also introduce an AI based Natural language to SVA generator.
view recorded webinar, please fill the form below.
Date : Aug 5th, 2021
Time : 10:00 AM-11:00 AM PDT