Questa Secure Check Demo

The Questa Secure Check app is a fully automated solution for exhaustively verifying that only the paths you specify can reach security or safety-critical storage elements – i.e. formally prove the sanctity of your DUTs “root of trust”. No knowledge of formal or property specification languages is required.

In this session, you will learn:

This session will demo the Questa SecureCheck tool and will review features including the details window, properties tab, waveform and schematic views.