Functional verification methodology for the PowerPC 604(TM) microprocessor

被引：15
|
作者：
Monaco, J [1 ]
Holloway, D [1 ]
Raina, R [1 ]
机构：
[1] SOMERSET DESIGN CTR,AUSTIN,TX 78759
来源：
33RD DESIGN AUTOMATION CONFERENCE, PROCEEDINGS 1996 | 1996年
关键词：
D O I：
10.1109/DAC.1996.545594
中图分类号：
TM [电工技术]; TN [电子技术、通信技术];
学科分类号：
0808 ; 0809 ;
摘要：
引用
收藏
页码：319 / 324
页数：6
相关论文
共 50 条
  • [31] DESIGN CONSIDERATIONS FOR THE POWERPC-601 MICROPROCESSOR
    VADEN, MT
    MERKEL, LJ
    MOORE, CR
    POTTER, TM
    REESE, RJ
    [J]. IBM JOURNAL OF RESEARCH AND DEVELOPMENT, 1994, 38 (05) : 605 - 620
  • [32] Experience in validation of PowerPC™ microprocessor embedded arrays
    Wang, LC
    Abadir, MS
    [J]. JOURNAL OF ELECTRONIC TESTING-THEORY AND APPLICATIONS, 1999, 15 (1-2): : 191 - 205
  • [33] Functional verification of the superscalar SH-4 microprocessor
    Biswas, P
    Freeman, A
    Yamada, K
    Nakagawa, N
    Uchiyama, K
    [J]. IEEE COMPCON 97, PROCEEDINGS, 1997, : 115 - 120
  • [34] Automatic functional test program generation for microprocessor verification
    Li, Tun
    Zhu, Dan
    Liang, Lei
    Guo, Yang
    Li, SiKun
    [J]. ASP-DAC 2005: PROCEEDINGS OF THE ASIA AND SOUTH PACIFIC DESIGN AUTOMATION CONFERENCE, VOLS 1 AND 2, 2005, : 1039 - 1042
  • [35] Bias conditions and functional test procedure influence on PowerPC7448 microprocessor TID tolerance
    Karakozov, Andrey B.
    Korneev, Oleg V.
    Nekrasov, Pavel V.
    Sokolov, Michail N.
    Zagryadsky, Dmitry A.
    [J]. 2013 14TH EUROPEAN CONFERENCE ON RADIATION AND ITS EFFECTS ON COMPONENTS AND SYSTEMS (RADECS), 2013,
  • [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
    [J]. DESIGN AUTOMATION CONFERENCE - PROCEEDINGS 1997, 1997, : 83 - 88
  • [37] The Motorola PowerPC(TM) PEEK profiler
    Stewart, K
    Butt, F
    Sarkisian, D
    Breternitz, M
    [J]. 1977 IEEE INTERNATIONAL PERFORMANCE, COMPUTING AND COMMUNICATIONS CONFERENCE, 1997, : 342 - 349
  • [38] PowerPC(TM) performance monitor evolution
    Roth, C
    Levine, F
    [J]. 1977 IEEE INTERNATIONAL PERFORMANCE, COMPUTING AND COMMUNICATIONS CONFERENCE, 1997, : 331 - 336
  • [39] THE POWERPC PERFORMANCE MODELING METHODOLOGY
    POURSEPANJ, A
    [J]. COMMUNICATIONS OF THE ACM, 1994, 37 (06) : 47 - 55
  • [40] PowerPC™ RAD50™ -: A microprocessor for now and the future
    Rea, David
    Bayles, Devin
    Kapcio, Paul
    Doyle, Scott
    Stanley, Dan
    [J]. 2005 IEEE Aerospace Conference, Vols 1-4, 2005, : 2390 - 2394
12345