Title :
MUSTANG: state assignment of finite state machines targeting multilevel logic implementations
Author :
Devadas, Srinivas ; Ma, Hi-Keung ; Newton, A. Richard ; Sangiovanni-Vincentelli, A.
Author_Institution :
Dept. of Electr. Eng. & Comput. Sci., California Univ., Berkeley, CA, USA
Abstract :
The problem of state assignment for synchronous finite-state machines (FSM), targeted towards multilevel combinational logic and feedback register implementations, are addressed. The authors present state-assignment algorithms that heuristically maximize the number of common cubes in the encoded network to maximize the number of literals in the resulting combinational logic network after multilevel logic optimization. Results over a wide range of benchmarks which prove the efficacy of the proposed techniques are presented. Literal counts averaging 20%-40% less than other state-assignment programs have been obtained.<>
Keywords :
combinatorial circuits; finite automata; logic CAD; MUSTANG; benchmarks; combinational logic; combinational logic network; common cubes; feedback register implementations; finite state machines; literals; multilevel logic implementations; state assignment; state-assignment algorithms; Aging; Automata; Automatic logic units; Delay; Encoding; Heuristic algorithms; Network synthesis; Programmable logic arrays; State estimation; State feedback;
Journal_Title :
Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on
