Abstract:Although simulation of logic circuits has been attempted in the past, only those which simulate completely combinational circuits have performed with any degree of success for various types of logic. This is primarily due to the number of simplifying assumptions that can be made for combinational circuits. For example, in combinational circuits, one need not consider timing of the signals, since any given input vector will always propagate to a stable state value. Also, since purely combinational circuits do not contain internal states, the user need not define or initialize these values, as must be done (and done meaningfully) for sequential circuits. A systems study of simulation and diagnosis for large digital computing systems has been performed. The results of that study have led to the implementation to be described. The model, which has been adopted, permits the user to select the level of detail most appropriate to his requirements, and thus not hamper him with overly restrictive assumptions. The advantages of this model are the following: 1. It does not require the specification of feedback loops in sequential circuits. 2. The ability to reset all feedback lines to any value at any time is not required. 3. It provides for the detection of hazards and races. 4. Simulation is not restricted to particular types of circuits. 5. Besides having the capability of simulating gate level circuits, it can also simulate at a functional level. This results in a savings of time and storage, permitting the simulation of large circuits.

A model and implementation of a universal time delay simulator for large digital nets

Accurate simulation of high speed computer logic

Digital Circuit Simulation of a Discrete System

A Compact Model of Threshold Switching Devices for Efficient Circuit Simulations

State machine models of timing and circuit design

Piecewise-linear timing delay modeling for digital CMOS circuits

Rspice: A Fast And Robust Timing Simulator For Digital Mos Vlsi

A Hybrid Delay Model for Interconnected Multi-Input Gates

Analog circuit simulation algorithm studies: fundamental circuit based circuit analysis

Unified Real-Time Simulation Method for DC/DC Conversion Systems Consisting of Cascaded Dual-Port Submodules

In-Depth Timing Characterization of the Adiabatic Quantum-Flux-Parametron Logic Gate

Fast Simulation of Interconnect-Dominant Circuits

Design of a Platform for Logic Simulation and Testing

A Compact Delay Model for OTS Devices

A Unified Model for Real-Time Systems: Symbolic Techniques and Implementation

Time-Stepping Numerical Simulation of Switched Circuits Within the Nonsmooth Dynamical Systems Approach

On Modeling the Digital Gate Delay under Process Variation

A Fast Computable Delay Model for Subthreshold Circuit.

Implementation of a Symbolic Circuit Simulator for Topological Network Analysis.

General-Purpose Gate-Level Simulation with Partition-Agnostic Parallelism.

High-Consistency Behavior Modeling of a Switched-Capacitor Sigma-Delta Modulator in SIMULINK