Integer programming techniques for multiway system partitioning under timing and capacity constraints

Efficient and effective algorithms for multichip module (MCM) system partitioning under timing and capacity constraints are proposed. Advantage is taken of the small number of chip slots (compared to the large number of circuit modules) and the problem formulation is transformed into an integer programming problem. An approach called Constraints Decoupling, which decomposes the original dual-constraint problem into two independent single-constraint problems, which are much easier to solve is proposed. Experimental results are encouraging and all timing and capacity violations in the initial designs can be eliminated