Functional verification of the z990 superscalar, multibook microprocessor complex

被引：0
|
作者：
机构：
[1] Bair, Dean G.
[2] German, Steven M.
[3] Wollyung, William D.
[4] Kaminski Jr., Edward J.
[5] Schafer, James
[6] Mullen, Michael P.
[7] Lewis, William J.
[8] Wisniewski, Rebecca
[9] Walter, Joerg
[10] Mittermaier, Steven
[11] Vokhshoori, Visda
[12] Adkins, Robert J.
[13] Halas, Michael
[14] Ruane, Thomas
[15] Hahn, Ursel
来源：
Bair, D.G. (dgbair@us.ibm.com) | 1600年 / IBM Corporation卷 / 48期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：3 / 4
相关论文
共 50 条
  • [31] Functional verification methodology for the PowerPC 604(TM) microprocessor
    Monaco, J
    Holloway, D
    Raina, R
    33RD DESIGN AUTOMATION CONFERENCE, PROCEEDINGS 1996, 1996, : 319 - 324
  • [32] Formal verification of superscalar microprocessors with multicycle functional units, exceptions, and branch prediction
    Velev, MN
    Bryant, RE
    37TH DESIGN AUTOMATION CONFERENCE, PROCEEDINGS 2000, 2000, : 112 - 117
  • [33] An Approach to Instruction Stream Generation for Functional Verification of Microprocessor Designs
    Tatarnikov, Andrei
    PROCEEDINGS OF 2016 IEEE EAST-WEST DESIGN & TEST SYMPOSIUM (EWDTS), 2016,
  • [34] Functional verification methodology of a 32-bit RISC microprocessor
    Gu, ZY
    Yu, ZY
    Shen, B
    Zhang, QL
    2002 INTERNATIONAL CONFERENCE ON COMMUNICATIONS, CIRCUITS AND SYSTEMS AND WEST SINO EXPOSITION PROCEEDINGS, VOLS 1-4, 2002, : 1454 - 1457
  • [35] UVM Based Approaches to Functional Verification of Communication Controllers of Microprocessor Systems
    Stotland, Irina
    Shpagilev, Danil
    Starikovskaya, Nadezhda
    PROCEEDINGS OF 2016 IEEE EAST-WEST DESIGN & TEST SYMPOSIUM (EWDTS), 2016,
  • [36] A C-based RTL design verification methodology for complex microprocessor
    Yim, JS
    Hwang, YH
    Park, CJ
    Choi, H
    Yang, WS
    Oh, HS
    Park, IC
    Kyung, CM
    DESIGN AUTOMATION CONFERENCE - PROCEEDINGS 1997, 1997, : 83 - 88
  • [37] EMBEDDING MICROPROCESSOR CORES AND COMPLEX FUNCTIONAL BLOCKS IN ASICS
    JOLY, C
    LAM, L
    COMPUTER DESIGN, 1994, 33 (13): : A26 - A28
  • [38] Key advances in the presilicon functional verification of the IBM zEnterprise microprocessor and storage hierarchy
    Krygowski, C. A.
    Almog, E.
    Bair, D. G.
    Breil, R.
    Dittmann, G.
    Gott, R. M.
    Lewis, W. J.
    Shah, A. D.
    Thompto, B. W.
    IBM JOURNAL OF RESEARCH AND DEVELOPMENT, 2012, 56 (1-2)
  • [39] MA2TG:: A functional test program generator for microprocessor verification
    Li, T
    Zhu, D
    Guo, Y
    Liu, GJ
    Li, SK
    DSD 2005: 8th Euromicro Conference on Digital System Design, Proceedings, 2005, : 176 - 183
  • [40] Functional verification of the POWER5 microprocessor and POWER5 multiprocessor systems
    Victor, DW
    Ludden, JM
    Peterson, RD
    Nelson, BS
    Sharp, WK
    Hsu, JK
    Chu, BL
    Behm, ML
    Gott, RM
    Romonosky, AD
    Farago, SR
    IBM JOURNAL OF RESEARCH AND DEVELOPMENT, 2005, 49 (4-5) : 541 - 553
12345