THREE-VALUE SIMULATION OF THE SEQUENTIAL CIRCUIT AND THE CONSTRUCTION ON ITS BASIS OF TRANSITION SEQUENCES
The method of the exact three-value simulation of synchronous sequential circuits is considered. The simulation is performed using the ROBDD of transition functions to the states of the circuit. The transition functions to the states of the circuit are constructed by multiplying the transition functions or their inversions in accordance with the codes of states of the circuit. In the work the previously proposed method of three-value simulation of sequential circuit is modified to further reduce the computational costs. The method of the construction of the input sequence of minimum length providing the transition from a state of one set of sates of the sequential circuit to one of the states of another set of states based on the presented methods and properties is proposed. The construction of the control-flow graph of the circuit is considered. In addition, algorithms for solving other tasks for the sequential circuit using presented methods and properties are considered.