Using your RTL and a cleartext, human and machine readable spreadsheet to specify the secure / safety-critical storage and allowed access path as input, the Questa Secure Check app automates formal technology to exhaustively verify the sanctity of these elements.
Get in touch with our sales team 1-800-547-3000
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
View all available Formal Verification video recordings at the Verification Academy.
We're standing by to answer your questions.
Get in touch with our sales team 1-800-547-3000 or 1-503-685-8000
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.