Carnegie Mellon University
Browse

Symbolic Functional and Timing Verification of Transistor-Level Circuits

journal contribution
posted on 1999-01-01, 00:00 authored by Clayton B. McDonald, Randal BryantRandal Bryant

We introduce a new method of verifying the timing of custom CMOS circuits. Due to the exponential number of patterns required, traditional simulation methods are unable to exhaustively verify a medium-sized modern logic block. Static analysis can handle much larger circuits but is not robust with respect to variations from standard circuit structures. Our approach applies symbolic simulation to analyze a circuit over all input combinations without these limitations. We present a prototype simulator (Sir-Sim) and experimental results. We also discuss using SirSim to verify an industrial design which previously required a specialpurpose verification methodology.

History

Publisher Statement

All Rights Reserved

Date

1999-01-01

Usage metrics

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC