AutoCheck: Push-Button Bug Hunting
In this session, we'll demonstrate how automation of assertion-based methods via automated formal analysis can uncover numerous types of RTL behavioral issues, enabling immediate fixes as the RTL is being developed without the need for a testbench.
