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...

Full description

Saved in:
Bibliographic Details
Published 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 pp. 127 - 131
Main Authors: Ahmed, M.M., Abdel-Malek, H.L.
Format: Conference Proceeding
Language:English
Published: IEEE 01.11.2006
Subjects:
Circuits
High level synthesis
Linear programming
Logic programming
Mathematical model
Mathematics
Physics
Registers
Runtime
Time factors
ISBN:9781424402717, 1424402719
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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