Conference: | DVCLUB Europe | Best Conference Papers from 2022 |
Speaker: | Dr. Holger Busch, Infineon Technologies |
Speaker Title: | Efficient Methodology for Mutation-Coverage-Collection of Formal-Property-Checking |
Abstract: |
This talk discusses the significance of mutation-coverage-based approaches for assessing and attaining completeness of formal-property sets and fulfilling sign-off criteria, highlights difficulties to which formal-verification is more exposed than simulation, but also shows how specific strengths of a formal tool are exploited in an efficient automated coverage collection methodology which handles even biggest designs verified by formal-property-checking. Key Points:
|
Speaker Biography: | Studied Electrical Engineering at RWTH Aachen, Germany; PhD from Brunel University of West London; Worked at Siemens central research and Infineon Technologies; decades of experience in Formal Methods, digital design, automotive safety; areas of interest: EDA, digital hardware design and verification, formal methodologies, functional safety, verification automation. Holds several patents. Current position: Principal Engineer Formal Verification |
Sponsors
DVCLUB Europe is made possible through the generosity of our sponsors.
![client](https://www.tessolve.com/wp-content/uploads/2020/06/sidebar264-dvclub-sponsor-breker-1a.jpg)
![client](https://www.tessolve.com/wp-content/uploads/2022/10/sidebar264-dvclub-sponsor-arm-1a.jpg)
![client](https://www.tessolve.com/wp-content/uploads/2020/06/sidebar264-dvclub-sponsor-synopsys-1a.jpg)
![client](https://www.tessolve.com/wp-content/uploads/2020/06/sidebar264-dvclub-sponsor-st-1a.jpg)
![client](https://www.tessolve.com/wp-content/uploads/2022/10/Siemens-Logo_gold_1.jpg)
![client](https://www.tessolve.com/wp-content/uploads/2020/06/sidebar264-dvclub-sponsor-onespin-1a.jpg)
![client](https://www.tessolve.com/wp-content/uploads/2022/10/sponsor-vf2018-cadence-1f.jpg)