Sciweavers

Share
DAC
1997
ACM

Formal Verification of FIRE: A Case Study

9 years 4 months ago
Formal Verification of FIRE: A Case Study
We present our experiences with the formal verification of an automotive chip used to control the safety features in a car. We used a BDD based model checker in our work. We describe our verification methodology for verifying a very complicated property on a relatively large design. We also describe the bugs that were found and present our views on how to make model checking an effective integrated part of the design flow for complex hardware systems.
Jae-Young Jang, Shaz Qadeer, Matt Kaufmann, Carl P
Added 25 Aug 2010
Updated 25 Aug 2010
Type Conference
Year 1997
Where DAC
Authors Jae-Young Jang, Shaz Qadeer, Matt Kaufmann, Carl Pixley
Comments (0)
books