DONT CARE SEQUENCES AND THE OPTIMIZATION OF INTERACTING FINITE-STATE MACHINES

作者：RHO JK^*; SOMENZI F

来源：IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1994, 13(7): 865-874.

We explore the nature of incomplete specification in sequential circuits. We compare it to the case of combinational circuits and propose new definitions and algorithms. We extend the existing algorithms for input don't care sequences and provide a new theory for output don't care sequences, based on the concept of information lossyness. The implementation of the proposed techniques in a program called SEQUOIA (SEQUential Optimization of Interacting Automata) shows that our approach is viable and effective.

• 出版日期1994-7