On the resetability of synchronous sequential circuits
Antonio Lioy, Massimo Poncino · 1993 IEEE International Symposium on Circuits and Systems · 2002
An improved three-valued simulation method is presented. It is based on implicit enumeration of primary inputs, and computes the resetability, the set of reset states, and the set of reachable states for synchronous sequential circuits. Efficient topological heuristics are used to reduce the number of enumerations, and to guide the selection of primary inputs. This leads to the computation of the reset sequences for several standard benchmarks.>