THE PRACTICAL APPLICATION OF FORMAL VERIFICATION

被引：0
|
作者：
BEENKER, GFM
CLAESEN, L
EVEKING, H
FUJITA, M
ODDO, P
机构：
来源：
IEEE DESIGN & TEST OF COMPUTERS | 1995年 / 12卷 / 03期
关键词：
D O I：
暂无
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：96 / 102
页数：7
相关论文
共 50 条
  • [1] Formal Verification of Practical MPI Programs
    Vo, Anh
    Vakkalanka, Sarvani
    DeLisi, Michael
    Gopalakrishnan, Ganesh
    Kirby, Robert M.
    Thakur, Rajeev
    [J]. ACM SIGPLAN NOTICES, 2009, 44 (04) : 261 - 269
  • [2] Practical formal verification in microprocessor design
    Jones, RB
    O'Leary, JW
    Seger, CJH
    Aagaard, MD
    Melham, TF
    [J]. IEEE DESIGN & TEST OF COMPUTERS, 2001, 18 (04): : 16 - 25
  • [3] A practical methodology for the formal verification of RISC processors
    Tahar, S
    Kumar, R
    [J]. FORMAL METHODS IN SYSTEM DESIGN, 1998, 13 (02) : 159 - 225
  • [4] Practical challenges for industrial formal verification tools
    Marschner, FE
    [J]. COMPUTER AIDED VERIFICATION, 1997, 1254 : 1 - 2
  • [5] A Practical Methodology for the Formal Verification of RISC Processors
    Sofiéne Tahar
    Ramayya Kumar
    [J]. Formal Methods in System Design, 1998, 13 : 159 - 225
  • [6] Modularization and abstraction: The keys to practical formal verification
    Kesten, Y
    Pnueli, A
    [J]. MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 1998, 1998, 1450 : 54 - 71
  • [7] Practical methodology for the formal verification of RISC processors
    Concordia Univ, Montreal, Canada
    [J]. Formal Methods Syst Des, 2 (159-225):
  • [8] Practical application of formal verification techniques on a Frame Mux/Demux chip from Nortel Semiconductors
    Xu, Y
    Cerny, E
    Silburt, A
    Coady, A
    Liu, Y
    Pownall, P
    [J]. CORRECT HARDWARE DESIGN AND VERIFICATION METHODS, 1999, 1703 : 110 - 124
  • [9] The application of formal verification to SPW designs
    Akbarpour, B
    Tahar, S
    [J]. EUROMICRO SYMPOSIUM ON DIGITAL SYSTEM DESIGN, PROCEEDINGS, 2003, : 325 - 332
  • [10] FORMAL VERIFICATION - IS IT PRACTICAL FOR REAL-WORLD DESIGN
    CAMURATI, P
    CHIN, SK
    FOURMAN, M
    PRINETTO, P
    TAKAHARA, A
    [J]. IEEE DESIGN & TEST OF COMPUTERS, 1989, 6 (06): : 50 - 58
12345