2003 · 10 citations · 3 references
EngineeringComputer EngineeringComputer ScienceAlgorithmsParallel AlgorithmsParallel ComputingControl System DesignControl SystemsController DesignFinite State Machine ModelingMatrix ComputationParallel SynthesisControl System SynthesisController SynthesisFinite State Controller DesignFinite State Machine ControlFinite-state Machine SynthesisState AssignmentSynthesis Of Finite-state Machines
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.< <ETX xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">></ETX>
3
Petri nets: Properties, analysis and applications
T. Murata · Proceedings of the IEEE · 1989 · 10.5K citations
Sequential circuit design using synthesis and optimization
Ellen Sentovich, K.J. Singh, Cho W. Moon et al. · 2003 · 615 citations
Logic synthesis of synchronous parallel controllers
James Pardey, Martin Bolton · 2002 · 29 citations