Integer programming techniques for multiway system partitioningunder timing and capacity constraints

摘要

Efficient and effective algorithms for multichip module (MCM)nsystem partitioning under timing and capacity constraints are proposed.nAdvantage is taken of the small number of chip slots (compared to thenlarge number of circuit modules) and the problem formulation isntransformed into an integer programming problem. An approach callednConstraints Decoupling, which decomposes the original dual-constraintnproblem into two independent single-constraint problems, which are muchneasier to solve is proposed. Experimental results are encouraging andnall timing and capacity violations in the initial designs can beneliminated