Formal verification of FIRE: A case study

被引：0
|
作者：
Jang, JY
Qadeer, S
Kaufmann, M
Pixley, C
机构：
来源：
DESIGN AUTOMATION CONFERENCE - PROCEEDINGS 1997 | 1997年
关键词：
D O I：
10.1109/DAC.1997.597139
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
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.
引用
收藏
页码：173 / 177
页数：3
相关论文
共 50 条
  • [21] Formal Verification of Full-Wave Rectifier: A Case Study
    Lata, Kusum
    Jamadagni, H. S.
    2009 IEEE 8TH INTERNATIONAL CONFERENCE ON ASIC, VOLS 1 AND 2, PROCEEDINGS, 2009, : 1306 - 1309
  • [22] Domain-Adapted LLMs for VLSI Design and Verification: A Case Study on Formal Verification
    Liu, Mingjie
    Kang, Minwoo
    Hamad, Ghaith Bany
    Suhaib, Syed
    Ren, Haoxing
    2024 IEEE 42ND VLSI TEST SYMPOSIUM, VTS 2024, 2024,
  • [23] Formal verification - Applications & case studies
    Rowe, M
    COMPUTER AIDED VERIFICATION, 1997, 1254 : 11 - 11
  • [24] Formal Verification of Resource Synchronization Protocol Implementations: A Case Study in RTEMS
    Shi, Junjie
    von Egidy, Christoph-Cordt
    Chen, Kuan-Hsun
    Chen, Jian-Jia
    IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2022, 41 (11) : 4157 - 4168
  • [25] Formal verification of requirements using SPIN: A case study on web services
    Kazhamiakin, R
    Pistore, M
    Roveri, M
    PROCEEDINGS OF THE SECOND INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, 2004, : 406 - 415
  • [26] Formal Verification of Curved Flight Collision Avoidance Maneuvers: A Case Study
    Platzer, Andre
    Clarke, Edmund M.
    FM 2009: FORMAL METHODS, PROCEEDINGS, 2009, 5850 : 547 - 562
  • [27] Formal verification of system level designs: A GSM Vocoder case study
    Al Sammane, Ghiath
    Mohamed, Otmane Ait
    2007 CANADIAN CONFERENCE ON ELECTRICAL AND COMPUTER ENGINEERING, VOLS 1-3, 2007, : 1413 - 1416
  • [28] Formal verification of translation validators - A case study on instruction scheduling optimizations
    Tristan, Jean-Baptiste
    Leroy, Xavier
    ACM SIGPLAN NOTICES, 2008, 43 (01) : 17 - 27
  • [29] HELIX: A Case Study of a Formal Verification of High Performance Program Generation
    Zaliva, Vadim
    Franchetti, Franz
    FHPC'18: PROCEEDINGS OF THE 7TH ACM SIGPLAN INTERNATIONAL WORKSHOP ON FUNCTIONAL HIGH-PERFORMANCE COMPUTING, 2018, : 1 - 9
  • [30] Formal verification and validation with DEVS-Suite: OSPF Case study
    Zengin, Ahmet
    Ozturk, Muhammed Maruf
    SIMULATION MODELLING PRACTICE AND THEORY, 2012, 29 : 193 - 206
12345