Optimization of micro-controllers by partitioning
G. Tarroux, Bruno Rouzeyre, Georges Sagnes · European Design Automation Conference · 1991
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 μ-instructions of a given class. The resulting structure is composed of three machines: a STATE machine which generates the next states, a COMMAND machine and a FILTER machine. The COMMAND outputs and the FILTER outputs are merged via a logical AND to obtain the final outputs. This structure leads to an area reduction of 34 % to 65 % for the examples presented.