Formal verification of FIRE: a case study
Anaheim, CA, USA（1997）
摘要
We present our experiences with the formal verification of an automotivechip used to control the safety features in a car. We useda BDD based model checker in our work. We describe our verificationmethodology for verifying a very complicated property on arelatively large design. We also describe the bugs that were foundand present our views on how to make model checking an effectiveintegrated part of the design flow for complex hardware systems.
更多查看译文
关键词
complicated property,design flow,model checker,safety feature,effectiveintegrated part,case study,complex hardware system,arelatively large design,formal verification,computer aided software engineering,chip,model checking,automotive engineering,covering problems,hardware,integer linear programming
AI 理解论文
溯源树
样例
生成溯源树，研究论文发展脉络
Chat Paper
正在生成论文摘要