SINMEF-a decomposition based synthesis tool for large FSMs

Author

Quintero, Carlos Humberto Llanos ; Strum, Marius

Author_Institution

Dept. de Comput., Brasilia Univ., Brazil

fYear

1999

fDate

4-6 Mar 1999

Firstpage

176

Lastpage

179

Abstract

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

Keywords

VLSI; finite state machines; logic CAD; redundancy; sequential circuits; FSMs; SINMEF; cooperating sub-FSMs; critical path; decomposition based synthesis tool; decomposition process; efficient cost function; Circuit synthesis; Cost function; Identity-based encryption; Logic circuits; Read only memory; Sequential circuits;

fLanguage

English

Publisher

ieee

Conference_Titel

VLSI, 1999. Proceedings. Ninth Great Lakes Symposium on

Conference_Location

Ypsilanti, MI

ISSN

1066-1395

Print_ISBN

0-7695-0104-4

Type

conf

DOI

10.1109/GLSV.1999.757404

Filename

757404

Link To Document

https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2703802