Title :
Fuzzy specification of finite state machines
Author :
Mensch, Siegfned I. ; Lipp, Hans Martin
Author_Institution :
Inst. fuer Tech. der Informationsverarbeitung, Karlsruhe Univ., Germany
Abstract :
Finite state machines (FSM) are widely used in digital systems because of their transparent structure, of a thorough theoretical understanding and of powerful CAD-tools for their automated synthesis. In addition, special hardware components support the implementation of FSMs in a direct manner. The paper deals with unprecise specification techniques for FSMs that allow more design freedom than conventional ones. This strategy greatly increases the number of possible implementations especially when embedding problems in given hardware structures like programmable logic devices must be solved economically
Keywords :
finite automata; formal specification; fuzzy logic; CAD-tools; automated synthesis; digital systems; finite state machines; hardware components; hardware structures; programmable logic devices; Automata; Automatic control; Circuit synthesis; Control systems; Costs; Digital systems; Fuzzy sets; Hardware; Power generation economics; Programmable logic devices;
Conference_Titel :
Design Automation Conference, 1990., EDAC. Proceedings of the European
Conference_Location :
Glasgow
Print_ISBN :
0-8186-2024-2
DOI :
10.1109/EDAC.1990.136721