Formal verification of PowerPC(TM) arrays using symbolic trajectory evaluation

被引：10
|
作者：
Pandey, M [1 ]
Raimi, R [1 ]
Beatty, DL [1 ]
Bryant, RE [1 ]
机构：
[1] CARNEGIE MELLON UNIV,SCH COMP SCI,PITTSBURGH,PA 15213
来源：
33RD DESIGN AUTOMATION CONFERENCE, PROCEEDINGS 1996 | 1996年
关键词：
D O I：
10.1109/DAC.1996.545655
中图分类号：
TM [电工技术]; TN [电子技术、通信技术];
学科分类号：
0808 ; 0809 ;
摘要：
引用
收藏
页码：649 / 654
页数：6
相关论文
共 50 条
  • [21] FORMAL VERIFICATION OF DIGITAL CIRCUITS USING SYMBOLIC TERNARY-SYSTEM MODELS
    BRYANT, RE
    SEGER, CJH
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1991, 531 : 33 - 43
  • [22] TOWARDS A GUIDELINE FOR FORMAL SPECIFICATION AND VERIFICATION OF REQUIREMENTS USING EVENT-B (TM) AND RODIN (TM)
    Salazar Osorio, Holmes Giovanny
    Rengifo Romero, Harvin Jessid
    Machuca Villegas, Liliana Esther
    Aranda Bueno, Jesus Alexander
    [J]. REVISTA EDUCACION EN INGENIERIA, 2012, 7 (14): : 82 - 91
  • [23] An introduction to symbolic trajectory evaluation
    Claessen, Koen
    Roorda, Jan-Willem
    [J]. FORMAL METHODS FOR HARDWARE VERIFICATION, 2006, 3965 : 56 - 77
  • [24] 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
  • [25] Formal Verification of SDG via Symbolic Model Checking
    Ning, Ning
    Zhang, Jun
    Gao, Xiang-Yang
    Xue, Jing
    [J]. ICICTA: 2009 SECOND INTERNATIONAL CONFERENCE ON INTELLIGENT COMPUTATION TECHNOLOGY AND AUTOMATION, VOL IV, PROCEEDINGS, 2009, : 521 - 524
  • [26] Formal Verification for Node-Based Visual Scripts Using Symbolic Model Checking
    Hasegawa, Isamu
    Yokogawa, Tomoyuki
    [J]. IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2022, E105D (01) : 78 - 91
  • [27] Formal Verification of DEV&DESS Formalism Using Symbolic Model Checker HyTech
    Choi, Han
    Cha, Sungdeok
    Jo, Jae Yeon
    Yoo, Junbeom
    Lee, Hae Young
    Kim, Won-Tae
    [J]. CONTROL AND AUTOMATION, AND ENERGY SYSTEM ENGINEERING, 2011, 256 : 112 - +
  • [28] A Formal Foundation for Symbolic Evaluation with Merging
    Porncharoenwase, Sorawee
    Nelson, Luke
    Wang, Xi
    Torlak, Emina
    [J]. PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2022, 6 (POPL):
  • [29] Introduction to generalized symbolic trajectory evaluation
    Yang, J
    Seger, CJH
    [J]. IEEE TRANSACTIONS ON VERY LARGE SCALE INTEGRATION (VLSI) SYSTEMS, 2003, 11 (03) : 345 - 353
  • [30] Automatic abstraction in symbolic trajectory evaluation
    Adams, Sara
    Bjoerk, Magnus
    Melham, Tom
    Seger, Carl-Johan
    [J]. FMCAD 2007: FORMAL METHODS IN COMPUTER AIDED DESIGN, PROCEEDINGS, 2007, : 127 - +
12345