DocumentCode
3098639
Title
A structural optimization method for symbolic FSMs
Author
Rouzeyre, Bruno ; Sagnes, Georges ; Tarroux, Gerard
Author_Institution
Lab. d´´Inf. de Robotique et de Microelectron. de Montpellier, Univ. de Montpellier II, Sci. & Tech. du Languedoc, France
fYear
1992
fDate
16-19 Mar 1992
Firstpage
232
Lastpage
236
Abstract
The paper presents a new structural optimization method for symbolic finite state machines. It is based on the common use of outputs for generating both the next state and the output vectors. An upper bound on the number of shared outputs is given as well as the algorithm giving the best solution
Keywords
VLSI; circuit analysis computing; finite state machines; logic CAD; next state; output vectors; shared outputs; structural optimization; symbolic FSMs; symbolic finite state machines; upper bound; Automata; Circuit synthesis; Encoding; Feedback circuits; Minimization methods; Optimization methods; Programmable logic arrays; Robots; Upper bound; Very large scale integration;
fLanguage
English
Publisher
ieee
Conference_Titel
Design Automation, 1992. Proceedings., [3rd] European Conference on
Conference_Location
Brussels
Print_ISBN
0-8186-2645-3
Type
conf
DOI
10.1109/EDAC.1992.205929
Filename
205929
Link To Document