Functional verification of the IBM zSeries eServer z900 system

被引：1
|
作者：
Walter, J [1 ]
机构：
[1] IBM Entwicklung GmbH, Boblingen, Germany
来源：
ICCD'2002: IEEE INTERNATIONAL CONFERENCE ON COMPUTER DESIGN: VLSI IN COMPUTERS AND PROCESSORS, PROCEEDINGS | 2002年
关键词：
D O I：
10.1109/ICCD.2002.1106741
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
This paper presents an overview on how the zSeries eServer z900 system has been functionally verified. It describes the hierarchical structure of verification, starting with designer simulation, unit-simulation, chip-simulation up to system simulation. For each step, the tools, methods and goals of verification are described. It also presents a description of the IT environment used at the different levels of verification, especially of dedicated simulation hardware like accelerator and emulator machines used for system simulation and hardware/software co-verification.
引用
收藏
页码：17 / 21
页数：5
相关论文
共 50 条
  • [1] IBM eServer z900 - Preface
    Turgeon, PR
    IBM JOURNAL OF RESEARCH AND DEVELOPMENT, 2002, 46 (4-5) : 365 - 366
  • [2] System control structure of the IBM eServer z900
    Baitinger, Friedemann
    Elfering, Herwig
    Kreissig, Gerald
    Metz, Daniel
    Saalmueller, Juergen
    Scholz, Frank
    1600, IBM Corporation (46): : 4 - 5
  • [3] System control structure of the IBM eServer z900
    Baitinger, F
    Elfering, H
    Kreissig, G
    Metz, D
    Saalmueller, J
    Scholz, F
    IBM JOURNAL OF RESEARCH AND DEVELOPMENT, 2002, 46 (4-5) : 523 - 535
  • [4] The microarchitecture of the IBM eServer z900 processor
    Schwarz, EM
    Check, MA
    Shum, CLK
    Koehler, T
    Swaney, SB
    MacDougall, JD
    Krygowski, CA
    IBM JOURNAL OF RESEARCH AND DEVELOPMENT, 2002, 46 (4-5) : 381 - 395
  • [5] RAS design for the IBM eServer z900
    Alves, LC
    Fair, ML
    Meaney, PJ
    Chen, CL
    Clarke, WJ
    Wellwood, GC
    Weber, NE
    Modi, IN
    Tolan, BK
    Freier, F
    IBM JOURNAL OF RESEARCH AND DEVELOPMENT, 2002, 46 (4-5) : 503 - 521
  • [6] Hardware configuration framework for the IBM eServer z900
    Bieswanger, A
    Hardt, F
    Kreissig, A
    Osterndorf, H
    Stark, G
    Weber, H
    IBM JOURNAL OF RESEARCH AND DEVELOPMENT, 2002, 46 (4-5) : 537 - 550
  • [7] IBM eServer z900 I/O subsystem
    Stigliani, DJ
    Bubb, TE
    Casper, DF
    Chin, JH
    Glassen, SG
    Hoke, JM
    Minassian, VA
    Quick, JH
    Whitehead, CH
    IBM JOURNAL OF RESEARCH AND DEVELOPMENT, 2002, 46 (4-5) : 421 - 445
  • [8] IBM eServer z900 system microcode verification by simulation: The virtual power-on process
    Koerner, S
    Kuenzel, M
    McCain, EC
    IBM JOURNAL OF RESEARCH AND DEVELOPMENT, 2002, 46 (4-5) : 587 - 595
  • [9] A power, packaging, and cooling overview of the IBM eServer z900
    Singh, P
    Ahladas, SJ
    Becker, WD
    Bosco, FE
    Corrado, JP
    Goth, GF
    Iruvanti, S
    Nobile, MA
    Notohardjono, BD
    Quick, JH
    Seminaro, EJ
    Soohoo, KM
    Wu, C
    IBM JOURNAL OF RESEARCH AND DEVELOPMENT, 2002, 46 (06) : 711 - 738
  • [10] Flexible configuration and concurrent upgrade for the IBM eServer z900
    Probst, J
    Valentine, BD
    Axnix, C
    Kuehl, K
    IBM JOURNAL OF RESEARCH AND DEVELOPMENT, 2002, 46 (4-5) : 551 - 558
12345