Scheduling In High-Level Synthesis Using A Hybrid Constraint Logic Programming /Integer Programming Approach

Scheduling is a very important step in high-level synthesis. Integer programming (IP) approach was successfully used to solve the scheduling problem, but it suffers from its restricted mathematical model. Constraint logic programming (CLP) was also proposed as a solution technique. Although its flex...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:al-Muʼtamar al-Dawlī li-Handasat al-Ḥāsibāt wa-al-Nuẓum = 2006 International Conference on Computer Engineering and Systems = (ICCES '06) : November 5-7, 2006, Faculty of Engineering, Ain Shams University, Computer Engineering & Systems Department, Cairo S. 127 - 131
Hauptverfasser: Ahmed, M.M., Abdel-Malek, H.L.
Format: Tagungsbericht
Sprache:Englisch
Veröffentlicht: IEEE 01.11.2006
Schlagworte:
Circuits
High level synthesis
Linear programming
Logic programming
Mathematical model
Mathematics
Physics
Registers
Runtime
Time factors
ISBN:9781424402717, 1424402719
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:Scheduling is a very important step in high-level synthesis. Integer programming (IP) approach was successfully used to solve the scheduling problem, but it suffers from its restricted mathematical model. Constraint logic programming (CLP) was also proposed as a solution technique. Although its flexible model, CLP suffers from high runtimes in large problems. The objective of this paper is to compare the two approaches and to present a hybrid approach that use complementary strengths of integer programming (IP) and constraint logic programming (CLP). These approaches were applied to fifth order elliptic wave filter to solve scheduling with module selection problem and the results show the effectiveness of the proposed hybrid approach
ISBN:9781424402717
1424402719
DOI:10.1109/ICCES.2006.320436