Questa AutoCheck Workshop: The Push-Button Way to Find Bugs
Mentor Graphics Questa AutoCheck allows any designer or verification engineer to quickly verify their design for common functional design issues. This technology makes use of automatic assertion creation techniques and formal verification sequential analysis to allow verification to take place before a testbench is in place or anyone has written an assertion. Common design checks this tool provides range from FSM checks, deadcode/stuck checks, arithmetic checks, register and bus checks to name a few. This workshop will deliver an overview of Questa AutoCheck followed by a hands-on experience.
What You Will Learn
- How Questa AutoCheck can improve the quality of your design before running simulation
- How Questa AutoCheck uses formal analysis to find bugs that will be missed by traditional lint checking tools
- How to run Questa AutoCheck with a step by step hands-on exercise using a simple example
Who Should Attend
- Functional Verification Engineers and Managers