Electrical verification of the HP PA 8000 processor

被引：0
|
作者：
机构：
来源：
Hewlett Packard J | / 4卷 / 32-39期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [31] Verification processor for SAR calibration and interferometry
    Shimada, M
    CALIBRATION AND CHARACTERIZATION OF SATELLITE SENSORS, 1999, 23 (08): : 1477 - 1486
  • [32] Formal Verification of a Complex Pipelined Processor
    Ravi Hosabettu
    Ganesh Gopalakrishnan
    Mandayam Srivas
    Formal Methods in System Design, 2003, 23 : 171 - 213
  • [33] Metric driven Framework for Processor Verification
    Shah, Asheesh
    Mazyad, A.
    Ramani, A. K.
    INTERNATIONAL MULTICONFERENCE OF ENGINEERS AND COMPUTER SCIENTISTS (IMECS 2010), VOLS I-III, 2010, : 1275 - 1278
  • [34] Formal verification of a complex pipelined processor
    Hosabettu, R
    Gopalakrishnan, G
    Srivas, M
    FORMAL METHODS IN SYSTEM DESIGN, 2003, 23 (02) : 171 - 213
  • [35] Verification of the Cell Broadband Engine™ processor
    Shimizu, Kanna
    Gupta, Sanjay
    Koyama, Tatsuya
    Omizo, Takashi
    Abdulhafiz, Jamee
    McConville, Larry
    Swanson, Todd
    43RD DESIGN AUTOMATION CONFERENCE, PROCEEDINGS 2006, 2006, : 338 - +
  • [36] SIMULATION AND VERIFICATION OF ASSOCIATIVE PROCESSOR ARRAYS
    DULLER, AWG
    STORER, R
    PARALLEL COMPUTING, 1992, 18 (12) : 1403 - 1414
  • [37] Functional verification methodology of Chameleon processor
    Casaubieilh, F
    McIsaac, A
    Benjamin, M
    Bartley, M
    Pogodalla, F
    Rocheteau, F
    Belhadj, M
    Eggleton, J
    Mas, G
    Barrett, G
    Berthet, C
    33RD DESIGN AUTOMATION CONFERENCE, PROCEEDINGS 1996, 1996, : 421 - 426
  • [38] Automatic generation of invariants in processor verification
    Su, JX
    Dill, DL
    Barrett, CW
    FORMAL METHODS IN COMPUTER-AIDED DESIGN, 1996, 1166 : 377 - 388
  • [39] Formal Verification of Bypassed Processor Pipelines
    Gao, Yanyan
    Li, X.
    PROCEEDINGS OF THE 9TH INTERNATIONAL CONFERENCE FOR YOUNG COMPUTER SCIENTISTS, VOLS 1-5, 2008, : 1303 - +
  • [40] Smart diagnostics for configurable processor verification
    Ezer, S
    Johnson, S
    42ND DESIGN AUTOMATION CONFERENCE, PROCEEDINGS 2005, 2005, : 789 - 794
12345