Whether it’s a private encryption key for a mobile payments, set top box subscriber authentication, a milaero communications system, or a patient’s therapeutic parameters stored inside their pacemaker; verification of hardware access to secure storage elements is a challenging and critical task.
Secure storage and path spec
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.
Sneak path analysis
Verification Academy provides the skills necessary to mature an organization's functional verification process capabilities, providing a methodological bridge between high-level value propositions and the low-level details.
Insight and updates on concepts, values, standards, methodologies, and examples to assist with the understanding of what advanced functional verification technologies can do and how to most effectively apply them.
The Verification Horizons publication provides concepts, values, methodologies and examples to assist with the understanding of what advanced functional verification technologies can do and how to most effectively apply them.