demo sản phẩm
Questa AutoCheck Demo
Thời gian xem ước tính: 8 phút
Questa AutoCheck is a fully-automatic formal bug hunting app that finds bugs due to common RTL coding errors. AutoCheck makes it possible to eliminate a wide range of bugs with low effort. Neither a testbench nor assertions are required to be available, making it possible to start formally verifying designs as soon as the RTL code is written.
In this session, you will learn:
This session will demo the Questa AutoCheck tool and will review features including the details window, design checks window, source, waveform, schematic, and fsm debug features.