Multi-level logic optimization of FSM networks
Huey-Yih Wang, Robert K. Brayton · 1995
Current approaches to compute and exploit the flexibility of a com-ponent in an FSM network are all at the symbolic level [23, 30, 33, 31]. Conventionally, exploitation of this flexibility relies on state minimizers for incompletely specified FSM’s (ISFSM’s) or pseudo non-deterministic FSM’s (PNDFSM’s) [33]. However, state-of-the-art state minimizers cannot handle large ISFSM’s or PNDFSM’s [12, 14, 34, 8, 15]. In addition, these exploitation techniques are at the symbolic level, not directly at the net-list logic level. We present a general approach to exploit exact or approximate flexibility directly at the net-list logic level, and we demonstrate that many sequential logic optimization techniques can be applied in exploitation. More-over, we propose a new procedure for input don’t care sequences. As a result, both computation and exploitation of input don’t care se-quences in larger FSM networks can be made efficient and effective. Finally, we give preliminary results on some artificially constructed FSM networks. Preliminary results indicate that our approach can be effective in reducing the size of a component of an FSM network. 1