Portland State University. Department of Electrical Engineering
Marek A. Perkowski
Date of Award
Master of Science (M.S.) in Electrical Engineering
1 online resource (106 p.)
Sequential machine theory
A complete program to ease the task of large scale Finite State Machine (FSM) minimization presented in this thesis: TDFM (Two Dimensional FSM Minimizer), is a part of the DIADES system. DIADES is an Automatic Design Synthesis System whose development in the Department of Electrical Engineering at Portland State University is supported in part by a research grant from SHARP Microelectronics Technology.
Zhao, William Yue, "A new approach to state minimization of finite state machines" (1989). Dissertations and Theses. Paper 3951.