Ninth Great Lakes Symposium on VLSI SINMEF - A Decomposition Based Synthesis Tool for Large FSMs Ann Arbor, Michigan March 04-March 06 ISBN: 0-7695-0104-4
This paper describes the SINMEF environment, composed of the DECMEF and the SIS [9] systems, used to synthesize large finite state machines (FSMs). The DECMEF system consists of a set of tools to decompose a FSM into a set of cooperating sub-FSMs. An efficient cost function is used to guide the decomposition process. The decomposed FSMs are state encoded and further optimized and technology mapped using tools from the SIS system. Results obtained for FSMs with more than 1000 states showed an improvement of as much as 60.42% in critical path and 14.79% in area. Preliminary results show that the recursive use of the decomposition system extends its application to FSMs with several thousands of states.
Index Terms:
FSM, decomposition, non-deterministic transitions, redundant transitions, clustering technique.
Citation:
Carlos Humberto Llanos Quintero, Marius Strum, "SINMEF - A Decomposition Based Synthesis Tool for Large FSMs," glsvlsi, pp.176, Ninth Great Lakes Symposium on VLSI, 1999 Usage of this product signifies your acceptance of the Terms of Use. | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||