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
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;
Conference_Titel :
Design Automation, 1992. Proceedings., [3rd] European Conference on
Conference_Location :
Brussels
Print_ISBN :
0-8186-2645-3
DOI :
10.1109/EDAC.1992.205929
