Title :
State assignment algorithms for parallel controller synthesis
Author :
Pardey, James ; Kozlowski, Tomasz ; Saul, Jonathan ; Bolton, Martin
Author_Institution :
Dept. of Electr. & Electron. Eng., Bristol Univ., UK
Abstract :
Algorithms for parallel controller synthesis that operate on a matrix representation of the controller are presented. This matrix is first simplified and then used to generate a state assignment with which the controller can be synthesized. Results show that a parallel controller often yields significant improvements in circuit area and speed, compared to its functionally equivalent finite-state machine
Keywords :
sequential machines; state assignment; matrix representation; parallel controller synthesis; state assignment algorithms; Automata; Bars; Circuit synthesis; Concurrent computing; Joining processes; Logic; Microelectronics; Petri nets; System recovery;
Conference_Titel :
Computer Design: VLSI in Computers and Processors, 1992. ICCD '92. Proceedings, IEEE 1992 International Conference on
Conference_Location :
Cambridge, MA
Print_ISBN :
0-8186-3110-4
DOI :
10.1109/ICCD.1992.276279
