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 条
  • [1] The PowerPC 604(TM) microprocessor - Multimedia ready
    Fuller, S
    McGarity, RC
    Song, SP
    [J]. 38TH MIDWEST SYMPOSIUM ON CIRCUITS AND SYSTEMS, PROCEEDINGS, VOLS 1 AND 2, 1996, : 1135 - 1138
  • [2] Design of the PowerPC 604e(TM) microprocessor
    Denman, M
    Anderson, P
    Snyder, M
    [J]. DIGEST OF PAPERS: COMPCON SPRING 96, FORTY-FIRST IEEE COMPUTER SOCIETY INTERNATIONAL CONFERENCE - INTELLECTUAL LEVERAGE, 1996, : 126 - 131
  • [3] THE POWERPC-604 RISC MICROPROCESSOR
    SONG, SP
    DENMAN, M
    CHANG, J
    [J]. IEEE MICRO, 1994, 14 (05) : 8 - 17
  • [4] POWERPC(TM) array verification methodology using formal techniques
    Ganguly, N
    Abadir, M
    Pandey, M
    [J]. INTERNATIONAL TEST CONFERENCE 1996, PROCEEDINGS, 1996, : 857 - 864
  • [5] A new validation methodology combining test and formal verification for PowerPC™ microprocessor arrays
    Wang, LC
    Abadir, MS
    [J]. ITC - INTERNATIONAL TEST CONFERENCE 1997, PROCEEDINGS: INTEGRATING MILITARY AND COMMERCIAL COMMUNICATIONS FOR THE NEXT CENTURY, 1997, : 954 - 963
  • [6] Divide and conquer approach to functional verification of PowerPC(TM) microprocessors
    Roth, C
    Tyler, J
    Jagodik, P
    Nguyen, H
    [J]. 8TH IEEE INTERNATIONAL WORKSHOP ON RAPID SYSTEM PROTOTYPING, PROCEEDINGS: SHORTENING THE PATH FROM SPECIFICATION TO PROTOTYPE, 1997, : 128 - 133
  • [7] Load miss performance analysis methodology using the PowerPC(TM) 604 performance monitor for OLTP workloads
    Welbon, EH
    Moore, RS
    Levine, FE
    Roth, CP
    [J]. DIGEST OF PAPERS: COMPCON SPRING 96, FORTY-FIRST IEEE COMPUTER SOCIETY INTERNATIONAL CONFERENCE - INTELLECTUAL LEVERAGE, 1996, : 111 - 116
  • [8] Multiprocessing design verification methodology for Motorola MPC74XX PowerPC™ microprocessor
    Yen, JT
    Yin, QR
    [J]. 37TH DESIGN AUTOMATION CONFERENCE, PROCEEDINGS 2000, 2000, : 718 - 723
  • [9] POWERPC-603(TM), A MICROPROCESSOR FOR PORTABLE COMPUTERS
    GARY, S
    IPPOLITO, P
    GEROSA, G
    DIETZ, C
    ENO, J
    SANCHEZ, H
    [J]. IEEE DESIGN & TEST OF COMPUTERS, 1994, 11 (04): : 14 - 23
  • [10] Clock distribution methodology for PowerPC(TM) microprocessors
    Ganguly, S
    Lehther, D
    Pullela, S
    [J]. JOURNAL OF VLSI SIGNAL PROCESSING SYSTEMS FOR SIGNAL IMAGE AND VIDEO TECHNOLOGY, 1997, 16 (2-3): : 181 - 189
12345