Skip to Main Content
product demo

Questa Secure Check Demo

Estimated Watching Time: 6 minutes
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.

Share