Extended 0/1 LP formulation for the scheduling problem inhigh-level synthesis

摘要

An extended zero-one linear programming (O/1 LP) model for thenscheduling problem in high-level synthesis is presented. As an extensionnto former approaches, the 0/1 LP model can handle multifunctionalnfunction units as well as different execution times for differentninstances of the same operation type. These extensions are verynimportant for the applicability of general high-level synthesis tools innreal design tasks. The computing time for solving the optimizationnproblems is also acceptable for the new powerful model, since new lowernbounds have been introduced that drastically reduce the search space.nSome experimental results are shown