Title :
SCRIPT: a critical path tracing algorithm for synchronous sequential circuits
Author :
Menon, Premachandran ; Levendel, Ytzhak ; Abramovici, Miron
Author_Institution :
Dept. of Electr. & Comput. Eng., Massachusetts Univ., Amherst, MA, USA
fDate :
6/1/1991 12:00:00 AM
Abstract :
The basic critical path tracing method for combinational circuits is outlined, and it is shown how it can produce pessimistic results in certain cases where fault effects propagate along multiple paths. The problem of extending the critical path tracing method to sequential circuits is considered. It is shown that the pessimistic nature of critical path tracing in combinational circuits may lead to optimistic results in sequential circuits, and a modification of the critical path tracing method to make it exact for combinational circuits is proposed. Based on this modification, a critical path tracing algorithm for synchronous sequential circuits is developed which is also exact
Keywords :
logic CAD; sequential circuits; CAD; SCRIPT; critical path tracing algorithm; logic design; synchronous sequential circuits; Circuit faults; Circuit simulation; Circuit testing; Combinational circuits; Computational modeling; Electrical fault detection; Fault detection; Fault diagnosis; Sequential analysis; Sequential circuits;
Journal_Title :
Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on
