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 条
  • [41] Functional verification of the POWER4 microprocessor and POWER4 multiprocessor systems
    Ludden, JM
    Roesner, W
    Heiling, GM
    Reysa, JR
    Jackson, JR
    Chu, BL
    Behm, ML
    Baumgartner, JR
    Peterson, RD
    Abdulhafiz, J
    Bucy, WE
    Klaus, JH
    Klema, DJ
    Le, TN
    Lewis, FD
    Milling, PE
    McConville, LA
    Nelson, BS
    Paruthi, V
    Pouarz, TW
    Romonosky, AD
    Stuecheli, J
    Thompson, KD
    Victor, DW
    Wile, B
    IBM JOURNAL OF RESEARCH AND DEVELOPMENT, 2002, 46 (01) : 53 - 76
  • [42] Functional verification of the IBM POWER7 microprocessor and POWER7 multiprocessor systems
    Schubert, K-D.
    Roesner, W.
    Ludden, J. M.
    Jackson, J.
    Buchert, J.
    Paruthi, V.
    Behm, M.
    Ziv, A.
    Schumann, J.
    Meissner, C.
    Koesters, J.
    Hsu, J.
    Brock, B.
    IBM JOURNAL OF RESEARCH AND DEVELOPMENT, 2011, 55 (03)
  • [43] Functional verification of the IBM zSeries eServer z900 system
    Walter, J
    ICCD'2002: IEEE INTERNATIONAL CONFERENCE ON COMPUTER DESIGN: VLSI IN COMPUTERS AND PROCESSORS, PROCEEDINGS, 2002, : 17 - 21
  • [44] Functional verification of the IBM System z10 processor chipset
    Krygowski, C. A.
    Bair, D. G.
    Gott, R. M.
    Decker, M. H.
    Giri, A. V.
    Habermann, C.
    Heizmann, M.
    Letz, S.
    Lewis, W. J.
    Licker, S. M.
    Mallar, H.
    McCain, E. C.
    Roesner, W.
    Siddique, N.
    Seigler, A. E.
    Thompto, B. W.
    Weber, K.
    Winkelmann, R.
    IBM JOURNAL OF RESEARCH AND DEVELOPMENT, 2009, 53 (01)
  • [45] Solution of the complex-valued equations th(Z)/Z=W and cth(Z)/Z=W on a specialized microprocessor system in the study of UHF dielectric characteristics of materials
    Babchenko, GA
    Merkulova, ON
    INDUSTRIAL LABORATORY, 1995, 61 (06): : 345 - 347
  • [46] Standalone Functional Verification of Multicore Microprocessor Memory Subsystem Units Based on Application of Memory Subsystem Models
    Stotland, Irina
    Meshkov, Aleksey
    Kutsevol, Vitaly
    PROCEEDINGS OF 2015 IEEE EAST-WEST DESIGN & TEST SYMPOSIUM (EWDTS), 2015,
  • [47] IBM System z Functional and Performance Verification Using X-Gen
    Schober, Torsten
    Hoppe, Bodo
    Landa, Shimon
    Morad, Ronny
    HLDVT: 2008 IEEE INTERNATIONAL HIGH LEVEL DESIGN VALIDATION AND TEST WORKSHOP, PROCEEDINGS, 2008, : 93 - 100
  • [48] The Verification Approach to Complex Tasks' Functional Specification in Software Crowdsourcing
    Shu, Ying
    Chen, Haopeng
    Li, Shuo
    Hu, Fei
    PROCEEDINGS OF 2016 5TH INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE AND NETWORK TECHNOLOGY (ICCSNT), 2016, : 171 - 176
  • [49] Functional Verification Methodology of Complex Electronics System Based Modeling and Simulation
    Wu, Jianwu
    JOURNAL OF COMPUTERS, 2010, 5 (09) : 1343 - 1347
  • [50] On the Ulam-Hyers stability of the complex functional equation F(z) + F(2z) + • • • + F(nz)=0
    Garcia, G.
    Mora, G.
    AEQUATIONES MATHEMATICAE, 2020, 94 (05) : 899 - 911
12345