SINMEF-a decomposition based synthesis tool for large FSMs

This paper describes the SINMEF environment, composed of the DECMEF and the SIS 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.