On the resetability of synchronous sequential circuits

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.<>