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 条
  • [1] Formal verification of control software: A case study
    Griesmayer, A
    Bloem, R
    Hautzendorfer, M
    Wotawa, F
    INNOVATIONS IN APPLIED ARTIFICIAL INTELLIGENCE, 2005, 3533 : 783 - 788
  • [2] Lightweight Formal Verification in Real World, A Case Study
    Atzeni, Andrea
    Su, Tao
    Montanaro, Teodoro
    ADVANCED INFORMATION SYSTEMS ENGINEERING WORKSHOPS, 2014, 178 : 335 - 342
  • [3] Formal Verification of Health Assessment Tools: a Case Study
    Bezerra, Jonas Santos
    Costa, Andrei
    Ribeiro, Leila
    Cota, Erika
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2016, 324 : 31 - 47
  • [4] A case study: Formal verification of processor critical properties
    Zarpas, E
    CORRECT HARDWARE DESIGN AND VERIFICATION METHODS, PROCEEDINGS, 2005, 3725 : 406 - 409
  • [5] Integrating Formal Verification and Assurance: An Inspection Rover Case Study
    Bourbouh, Hamza
    Farrell, Marie
    Mavridou, Anastasia
    Sljivo, Irfan
    Brat, Guillaume
    Dennis, Louise A.
    Fisher, Michael
    NASA FORMAL METHODS (NFM 2021), 2021, 12673 : 53 - 71
  • [6] A case study for formal verification of a Timing Co-Processor
    Rodrigues, Cristiano
    LATW: 2009 10TH LATIN AMERICAN TEST WORKSHOP, 2009, : 43 - 48
  • [7] Simulation and formal verification of real time systems: A case study
    Seabra, Eurico
    Machado, Jose
    da Silva, Jaime Ferreira
    Soares, Filomena O.
    Leao, Celina P.
    ICINCO 2007: PROCEEDINGS OF THE FOURTH INTERNATIONAL CONFERENCE ON INFORMATICS IN CONTROL, AUTOMATION AND ROBOTICS, VOL SPSMC: SIGNAL PROCESSING, SYSTEMS MODELING AND CONTROL, 2007, : 308 - +
  • [8] Parametric formal verification: the robotic paint spraying case study
    Geretti, Luca
    Muradore, Riccardo
    Bresolin, Davide
    Fiorini, Paolo
    Villa, Tiziano
    IFAC PAPERSONLINE, 2017, 50 (01): : 9248 - 9253
  • [9] FORMAL SPECIFICATION AND VERIFICATION OF A PROCEDURAL PROTOCOL - CASE-STUDY
    LAI, R
    SOFTWARE ENGINEERING JOURNAL, 1995, 10 (03): : 97 - 104
  • [10] Formal methods for verification and validation of partial specifications: A case study
    Easterbrook, S
    Callahan, J
    JOURNAL OF SYSTEMS AND SOFTWARE, 1998, 40 (03) : 199 - 210
12345