Synchronous Path Analysis in MOS Circuit Simulator

For verifying the timing performance of synchronous MOS circuits a path analysis facility has been developed in the MOTIS (MOS Timing Simulator) system. This path analysis traces the clock signals to the latches in the circuit, computes the clock skews and then performs a path search analysis between all latches. For the paths between clocked latches, the timing constraints are determined using the clock skews and the operating frequency. The paths that do not satisfy these constraints are identified as problem paths. Such an analysis does not require a prior generation of circuit stimuli that are necessary for simulation. In terms of complexity also, it is simpler than simulation.

[1]  Wolfram Glauert,et al.  A Timing Verification System Based on Extracted MOS/VLSI Circuit Parameters , 1981, 18th Design Automation Conference.

[2]  Marvin A. Wold Design Verification and Performance Analysis , 1978, 15th Design Automation Conference.

[3]  Vishwani D. Agrawal,et al.  A Mixed-Mode Simulator , 1980, 17th Design Automation Conference.

[4]  Ryotaro Kamikawai,et al.  A Critical Path Delay Check System , 1981, 18th Design Automation Conference.

[5]  John J. Shedletsky,et al.  An Experimental Delay Test Generator for LSI Logic , 1980, IEEE Transactions on Computers.

[6]  Tohru Sasaki,et al.  Hierarchical Design Verification for Large Digital Systems , 1981, 18th Design Automation Conference.

[7]  Ajoy K. Bose,et al.  A Multiple Delay Simulator for MOS LSI Circuits , 1980, 17th Design Automation Conference.