Formal verification: A replacement for simulation?

被引：0
|
作者：
Corman, T
机构：
来源：
ELECTRONIC DESIGN | 1995年 / 43卷 / 26期
关键词：
D O I：
暂无
中图分类号：
TM [电工技术]; TN [电子技术、通信技术];
学科分类号：
0808 ; 0809 ;
摘要：
引用
收藏
页码：48 / 48
页数：1
相关论文
共 50 条
  • [1] On bridging simulation and formal verification
    Goldberg, Eugene
    [J]. VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, 2008, 4905 : 127 - 141
  • [2] Formal verification - A viable alternative to simulation?
    Nordstrom, A
    [J]. 1996 IEEE INTERNATIONAL VERILOG HDL CONFERENCE, PROCEEDINGS, 1996, : 90 - 95
  • [3] The use of random simulation in formal verification
    Krohm, F
    Kuehlmann, A
    Mets, A
    [J]. INTERNATIONAL CONFERENCE ON COMPUTER DESIGN - VLSI IN COMPUTERS AND PROCESSORS, PROCEEDINGS, 1996, : 371 - 376
  • [4] A simulation approach to verification and validation of formal specifications
    Liu, SY
    [J]. FIRST INTERNATIONAL SYMPOSIUM ON CYBER WORLDS, PROCEEDINGS, 2002, : 113 - 120
  • [5] Formal Verification and Validation of DEVS Simulation Models
    Olamide, Soremekun Ezekiel
    Kaba, Traore Mamadou
    [J]. AFRICON, 2013, 2013, : 1189 - 1194
  • [6] A Formal Verification Method of Hybrid System and Simulation
    Zhang Si-bing
    Chen Jie
    Wang Ya
    [J]. ICCSIT 2010 - 3RD IEEE INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE AND INFORMATION TECHNOLOGY, VOL 4, 2010, : 411 - 415
  • [7] Formal property verification by abstraction refinement with formal, simulation and hybrid engines
    Wang, D
    Ho, PH
    Long, J
    Kukula, J
    Zhu, YS
    Ma, T
    Damiano, R
    [J]. 38TH DESIGN AUTOMATION CONFERENCE PROCEEDINGS 2001, 2001, : 35 - 40
  • [8] Formal verification of simulation traces using computation slicing
    Sen, Alper
    Garg, Vijay K.
    [J]. IEEE TRANSACTIONS ON COMPUTERS, 2007, 56 (04) : 511 - 527
  • [9] Applying formal techniques in simulation-based verification
    Zhu, YS
    [J]. 2005 6TH INTERNATIONAL CONFERENCE ON ASIC PROCEEDINGS, BOOKS 1 AND 2, 2005, : 946 - 951
  • [10] Formal verification of designs with complex control by symbolic simulation
    Ritter, G
    Eveking, H
    Hinrichsen, H
    [J]. CORRECT HARDWARE DESIGN AND VERIFICATION METHODS, 1999, 1703 : 234 - 249
12345