Title :
FSM decomposition revisited: algebraic structure theory applied to MCNC benchmark FSMs
Author :
Geiger, Martin ; Muller-Wipperfurth, T.
Author_Institution :
Institute of Systems Sciences
Keywords :
Automata; Automatic control; Binary codes; Design automation; Design engineering; Lattices; Logic; Minimization methods; Permission; Research and development;
Conference_Titel :
Design Automation Conference, 1991. 28th ACM/IEEE
Conference_Location :
IEEE
Print_ISBN :
0-89791-395-7
