Carnegie Mellon University
Browse
- No file added yet -

Incorporating Timing Constraints in the Efficient Memory Model for Symbolic Ternary Simulation

Download (96.4 kB)
journal contribution
posted on 1986-01-01, 00:00 authored by Miroslav N Velev, Randal E. Bryant
This paper introduces the four timing constraints of setup time, hold time, minimum delay, and maximum delay in the efficient memory model (EMM). The EMM is a behavioral model, where the number of symbolic variables used to characterize the initial state of the memory is proportional to the number of distinct symbolic memory locations accessed. The behavioral model provides a conservative approximation of the replaced memory array, while allowing the address and control inputs of the memory to accept symbolic ternary values. If a circuit has been formally verified with the behavioral model, the system is guaranteed to function correctly with any memory implementation whose timing parameters are bounded by the ones used in the verification

History

Publisher Statement

All Rights Reserved

Date

1986-01-01

Usage metrics

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC