Electrical verification of the HP PA 8000 processor

被引：0
|
作者：
机构：
来源：
Hewlett Packard J | / 4卷 / 32-39期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [21] Functional Verification of Network Processor
    Ma, Pei-Jun
    Jiang, Yong
    Li, Kang
    Shi, Jiang-Yi
    2011 INTERNATIONAL CONFERENCE ON ELECTRONICS, COMMUNICATIONS AND CONTROL (ICECC), 2011, : 1472 - 1475
  • [22] A methodology for processor implementation verification
    Lewin, D
    Lorenz, D
    Ur, S
    FORMAL METHODS IN COMPUTER-AIDED DESIGN, 1996, 1166 : 126 - 142
  • [23] Verification of configurable processor cores
    Puig-Medina, M
    Ezer, G
    Konas, P
    37TH DESIGN AUTOMATION CONFERENCE, PROCEEDINGS 2000, 2000, : 426 - 431
  • [24] Formal verification of an ARM processor
    Patankar, VA
    Jain, A
    Bryant, RE
    TWELFTH INTERNATIONAL CONFERENCE ON VLSI DESIGN, PROCEEDINGS, 1999, : 282 - 287
  • [25] An analysis of superscalar sorting algorithms on an R8000 processor
    LarribaPey, JL
    Jimenez, D
    Navarro, JJ
    XVII INTERNATIONAL CONFERENCE OF THE CHILEAN COMPUTER SCIENCE SOCIETY, PROCEEDINGS, 1997, : 125 - 134
  • [26] 花1000省3000 HP Officejet Pro 8000
    李林芯
    微电脑世界, 2009, (05) : 23 - 23
  • [27] Energy Management for an 8000 hp Hybrid Hydraulic Mining Shovel
    Abdel-baqi, Omar J.
    Nasiri, Adel
    Miller, Peter J.
    IEEE TRANSACTIONS ON INDUSTRY APPLICATIONS, 2016, 52 (06) : 5041 - 5050
  • [28] PA-8000能够替代大型机
    每周电脑报, 1996, (02) : 17 - 17
  • [29] HP EMBRACES NEXTSTEP FOR PA-RISC
    WAURZYNIAK, P
    BYTE, 1993, 18 (09): : 40 - 40
  • [30] HP公开PA-8600详情
    每周电脑报, 1999, (12) : 71 - 71
12345