Interactive system-level partitioning with PARTIF

Abstract

This paper presents a methodology and a tool for system-level partitioning in the behavioral domain. The methodology is based on an extended finite state machine model. Partitioning is achieved interactively through the application of five system-level transformation primitives: MOVE, MERGE, SPLIT, CUT and MAP. This scheme allows the designer to explore different partitioning alternatives in order to choose the best to meet his objectives. The result of system-level partitioning is a set of interconnected and heterogeneous sub-systems that may be designed using different tools and methodologies.< <ETX xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">&gt;</ETX>