Title :
Extended 0/1 LP formulation for the scheduling problem in high-level synthesis
Author_Institution :
Lehrstuhl Rechnerstrukturen, Passau Univ., Germany
Abstract :
An extended zero-one linear programming (O/1 LP) model for the scheduling problem in high-level synthesis is presented. As an extension to former approaches, the 0/1 LP model can handle multifunctional function units as well as different execution times for different instances of the same operation type. These extensions are very important for the applicability of general high-level synthesis tools in real design tasks. The computing time for solving the optimization problems is also acceptable for the new powerful model, since new lower bounds have been introduced that drastically reduce the search space. Some experimental results are shown
Keywords :
computational complexity; high level synthesis; linear programming; logic CAD; logic design; scheduling; computing time; extended zero-one linear programming; high-level synthesis; multifunctional function units; optimization; scheduling; search space; Computational modeling; High level synthesis; Integer linear programming; Linear programming; Operations research; Pipeline processing; Process design; Processor scheduling; Resource management; Simulated annealing;
Conference_Titel :
Design Automation Conference, 1993, with EURO-VHDL '93. Proceedings EURO-DAC '93., European
Conference_Location :
Hamburg
Print_ISBN :
0-8186-4350-1
DOI :
10.1109/EURDAC.1993.410642