This paper presents a methodology and a tool box for system-level part
itioning in the behavioral domain. The methodology is based on an exte
nded finite stare machine model. Partitioning is achieved interactivel
y through the application of five system-level transformation primitiv
es: MOVE, MERGE, SPLIT, CUT and MAP. This scheme allows an interactive
exploration of the solution space. The result of the partitioning is
a set of interconnected and heterogeneous sub-systems. The partitionin
g tool box which has been developed is named PARTIF. PARTIF includes a
n evaluation feedback loop that helps the designer estimate the qualit
y of the design.