G. Tarroux

Learn More
In this paper, we present a new partitioning method for Finite State Machines (FSMs). The method is particularly well suited for μ-controller circuits. It consists in grouping the μ-instructions of the control graph into classes according to a compatibility property of the output values. Only one sequence of output values is then generated for all(More)
  • 1