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 条
  • [21] Program generation for functional verification of microprocessor
    Department of Information Science and Electronic Engineering, Zhejiang University, Hangzhou 310027, China
    Jisuanji Fuzhu Sheji Yu Tuxingxue Xuebao, 2006, 10 (1484-1490):
  • [22] Functional Verification Flow for an Embedded Microprocessor
    Wang, Danghui
    He, Hua
    2012 INTERNATIONAL CONFERENCE ON INDUSTRIAL CONTROL AND ELECTRONICS ENGINEERING (ICICEE), 2012, : 935 - 938
  • [23] Modelling and Verification of Superscalar Micro-architectures Functional Approach
    Merniz, S.
    Benmohammed, M.
    PROCEEDINGS OF THE 12TH WSEAS INTERNATIONAL CONFERENCE ON COMPUTERS , PTS 1-3: NEW ASPECTS OF COMPUTERS, 2008, : 446 - +
  • [24] Verification for Fault Tolerance of the IBM System z Microprocessor
    Thompto, Brian W.
    Hoppe, Bodo
    PROCEEDINGS OF THE 47TH DESIGN AUTOMATION CONFERENCE, 2010, : 525 - 530
  • [25] Collection of high-level microprocessor bugs from formal verification of pipelined and superscalar designs
    Velev, MN
    INTERNATIONAL TEST CONFERENCE 2003, PROCEEDINGS, 2003, : 138 - 147
  • [26] Efficient framework for accelerating functional verification of microprocessor
    Wang, ZD
    Su, YJ
    Wei, SJ
    2004: 7TH INTERNATIONAL CONFERENCE ON SOLID-STATE AND INTEGRATED CIRCUITS TECHNOLOGY, VOLS 1- 3, PROCEEDINGS, 2004, : 2082 - 2085
  • [27] A theoretical superscalar microprocessor performance model with limited functional units using instruction dependencies
    Lee, Jong-Bok
    Transactions of the Korean Institute of Electrical Engineers, 2010, 59 (02): : 423 - 428
  • [28] Automatic functional test program generation for microprocessor verification
    Li, Tun
    Zhu, Dan
    Liang, Lei
    Guo, Yang
    Li, SiKun
    ASP-DAC 2005: PROCEEDINGS OF THE ASIA AND SOUTH PACIFIC DESIGN AUTOMATION CONFERENCE, VOLS 1 AND 2, 2005, : 1039 - 1042
  • [29] Functional Association of the Microprocessor Complex with the Spliceosome
    Kataoka, Naoyuki
    Fujita, Megumi
    Ohno, Mutsuhito
    MOLECULAR AND CELLULAR BIOLOGY, 2009, 29 (12) : 3243 - 3254
  • [30] Automated Test Picker for Complex Microprocessor Verification Environment
    Mapara, Chetas
    Jose, Jerrin
    2019 20TH INTERNATIONAL WORKSHOP ON MICROPROCESSOR/SOC TEST, SECURITY AND VERIFICATION (MTV 2019), 2019, : 62 - 64
12345