Skip to Main Content
demostración de producto

Questa Secure Check Demo

Tiempo estimado de visualización: 6 minutos
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.

Compartir