A top-down methodology for microprocessor validation

被引：8
|
作者：
Mishra, P
Dutt, N
Krishnamurthy, N
Abadir, MS
机构：
[1] Univ Calif Irvine, Ctr Embedded Comp Syst, Irvine, CA 92697 USA
[2] Univ Calif Irvine, Sch Informat & Comp Sci, Irvine, CA 92697 USA
[3] Motorola Inc, PowerPC Design Ctr, High Performance Tools & Methodol Grp, Austin, TX USA
来源：
IEEE DESIGN & TEST OF COMPUTERS | 2004年 / 21卷 / 02期
关键词：
D O I：
10.1109/MDT.2004.1277905
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
Equivalence checking is a formal technique that is popular in industry today. Typically, this technique involves comparing the implementation to a set of Boolean equations or comparing an optimized circuit to the original circuit. Symbolic simulation is an efficient technique that bridges the gap between traditional simulation and full-fledged formal verification. This paper presents a top-down methodology for validation of microprocessors using a combination of symbolic simulation and equivalence checking.
引用
收藏
页码：122 / 131
页数：10
相关论文
共 50 条
  • [1] The Top-Down Approach: An Expanded Methodology
    Herz, Daniel B.
    JOURNAL OF UROLOGY, 2010, 183 (03): : 856 - 857
  • [2] Design of small RSFQ microprocessor based on cell-based top-down design methodology
    Matsuzaki, F
    Yoda, K
    Koshiyama, J
    Motoori, K
    Yoshikawa, N
    IEICE TRANSACTIONS ON ELECTRONICS, 2002, E85C (03): : 659 - 664
  • [3] Design of small RSFQ microprocessor based on cell-based top-down design methodology
    Matsuzaki, Futabako
    Yoda, Kenichi
    Koshiyama, Junichi
    Motoori, Kei
    Yoshikawa, Nobuyuki
    IEICE Transactions on Electronics, 2002, E85-C (03) : 659 - 664
  • [4] Processor validation: A top-down approach
    Mishra, Prabhat
    IEEE Potentials, 2005, 24 (01): : 29 - 33
  • [5] The new generation of top-down design methodology
    Fujimoto, T
    Yamaguchi, M
    Yamanouchi, T
    Ohnishi, M
    Takahashi, M
    Kambe, T
    SHARP TECHNICAL JOURNAL, 1997, (67): : 25 - 30
  • [6] A top-down methodology for building corporate Web applications
    Artz, JM
    INTERNET RESEARCH-ELECTRONIC NETWORKING APPLICATIONS AND POLICY, 1996, 6 (2-3): : 64 - &
  • [7] Top-down Causation Without Top-down Causes
    Carl F. Craver
    William Bechtel
    Biology & Philosophy, 2007, 22 : 547 - 563
  • [8] Methodology and tool for top-down relational database design
    Rishe, Naphtali
    Data and Knowledge Engineering, 1993, 10 (03): : 259 - 291
  • [9] A Top-Down Optimization Methodology for Mutually Exclusive Applications
    Kilic, Alp
    Marrakchi, Zied
    Mehrez, Habib
    INTERNATIONAL JOURNAL OF RECONFIGURABLE COMPUTING, 2014, 2014
  • [10] A MULTILEVEL GRAPHICS SYSTEM BASED ON TOP-DOWN METHODOLOGY
    MAGNENATTHALMANN, N
    THALMANN, D
    LAROUCHE, A
    COMPUTERS & GRAPHICS, 1982, 6 (03) : 97 - 100
12345