Title :
State machine design-an interactive approach
Author :
Bastian, John ; Savargaonkar, Aravind ; Venkateswaren, S. ; Rao, K. Ramoji ; Nagesh, T.V.V.S. ; Raghunthan, K.S.
Author_Institution :
Indian Telephone Ind. Ltd., Bangalore, India
Abstract :
Finite state machines are essential components in digital systems. This paper describes a tool for designing a finite state machine from its behavioral description. Useful user interfaces for describing a state machine and for verification of its behavior are the important contributions made in this paper
Keywords :
finite automata; logic CAD; many-valued logics; sequential machines; user interfaces; behavioral description; digital systems; finite state machine; user interfaces; verification; Automata; Circuit synthesis; Digital signal processing; Logic design; Microprocessors; Productivity; Signal synthesis; Speech synthesis; Synthesizers; Telephony;
Conference_Titel :
VLSI Design, 1991. Proceedings., Fourth CSI/IEEE International Symposium on
Conference_Location :
New Delhi
Print_ISBN :
0-8186-2125-7
DOI :
10.1109/ISVD.1991.185090