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 条
  • [41] Top-down design methodology of mixed signal with analog-HDL
    Wada, A
    Tani, K
    IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 1997, E80A (03) : 441 - 446
  • [42] Top-down modeling methodology for model-driven SOA construction
    Ricken, Jan
    ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS 2007: OTM 2007 WORKSHOPS, PT 1, PROCEEDINGS, 2007, 4805 : 323 - 332
  • [43] A Top-Down Design Methodology Using Virtual Platforms for Concept Development
    Shah, Mohit
    Mears, Brian
    Chakrabarti, Chaitali
    Spanias, Andreas
    2012 13TH INTERNATIONAL SYMPOSIUM ON QUALITY ELECTRONIC DESIGN (ISQED), 2012, : 444 - 450
  • [44] A Top-Down Constraint-Driven Methodology for Smart System Design
    Crepaldi, Marco
    Grosso, Michelangelo
    Sassone, Alessandro
    Gallinaro, Stefano
    Rinaudo, Salvatore
    Poncino, Massimo
    Macii, Enrico
    Demarchi, Danilo
    IEEE CIRCUITS AND SYSTEMS MAGAZINE, 2014, 14 (01) : 37 - 57
  • [45] RETARGETING IN A MIXED TOP-DOWN/BOTTOM-UP DESIGN METHODOLOGY
    MATTISON, R
    COMPUTER DESIGN, 1991, 30 (15): : 81 - &
  • [46] NOISE-ANALYSIS TOOL SUPPORTS TOP-DOWN DESIGN METHODOLOGY
    DONLIN, M
    COMPUTER DESIGN, 1994, 33 (01): : 115 - 115
  • [47] TOP-DOWN TREE-TRANSDUCERS WITH DETERMINISTIC TOP-DOWN LOOK-AHEAD
    FULOP, Z
    VAGVOLGYI, S
    INFORMATION PROCESSING LETTERS, 1989, 33 (01) : 3 - 5
  • [48] BRAINS TOP DOWN: IS TOP-DOWN CAUSATION CHALLENGING NEUROSCIENCE?
    Wiest, Michael C.
    QUARTERLY REVIEW OF BIOLOGY, 2014, 89 (01): : 65 - 66
  • [49] Geophysics - Top-down tectonics?
    Anderson, DL
    SCIENCE, 2001, 293 (5537) : 2016 - 2018
  • [50] DEPRESSING TRAFFIC TOP-DOWN
    BURROUGHS, D
    JIANG, SS
    HENSON, H
    CIVIL ENGINEERING, 1994, 64 (01): : 62 - 64
12345