SINMEF - A Decomposition Based Synthesis Tool for Large FSMs

Authors:
Carlos Humberto Llanos Quintero;Marius Strum
Affiliations:
-;-
Venue:
GLS '99 Proceedings of the Ninth Great Lakes Symposium on VLSI
Year:
1999

Citing 0
Cited 1

A Degree-of-Freedom Based Synthesis Scheme for Sequential Machines with Enhanced BIST Quality and Reduced Area

Journal of Electronic Testing: Theory and Applications

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.