State assignment algorithms for parallel controller synthesis
James Pardey, T. Kozl̸owski, Jonathan Saul, Martin Bolton · 2003
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.>