- This event has passed.
Functional Verification workflow for Trusted and Assured Microelectronics
February 6 @ 10:00 am - 11:00 am PST
In a world of increasing trust and assurance challenges for microelectronic devices, emerging industry standards and defense policy demand early and advanced functional verification methods before ICs may be deployed in critical end products and systems. Questa technologies, built upon a foundation of world-class simulation and formal engines, provide the results desired for raising and meeting higher levels of trust and assurance for microelectronic designs. In this presentation, we will introduce apps that provide advanced automated functional checking, secure data path verification, trustworthiness assessment, and equivalence checking for extending the foundation of functional verification to attack the complex IC integrity challenges of today.
What You Will Learn:
- How to identify security threats and vulnerabilities in your ASIC/FPGA microelectronic designs
- How to identify and mitigate Common Weakness Enumeration (CWE) threats in your ASIC/FPGA designs
- How to meet reporting requirements for your Trust and Assurance verification
Who Should Attend:
- Hardware Assurance & Security Experts
- Systems Engineers
- ASIC, FPGA & Program Manager
- Design & Verification Engineers
What/Which Products are Covered:
- Questa Inspect
- Questa Verify Secure
- Questa Verify Trust
- Questa Equivalent FPGA
Mr. John Hallman is the Aerospace and Defense Solutions Manager with Siemens EDA focusing on verification workflows for A&D customers. His experience spans multiple defense industrial base organizations and EDA companies and includes ASIC/FPGA design, verification, application of formal technologies, and microelectronics trustworthiness research. Today his responsibilities include enabling the development of automated tools for Trust and Assurance, as well as enhancing productivity for the defense workforce. John is active in several organizations, such as SAE, IEEE, and NDIA, and has interests in numerous standards activities that raise the bar for microelectronic trust, assurance and security.