2008 Asia and South Pacific Design Automation Conference 2008
DOI: 10.1109/aspdac.2008.4483947
|View full text |Cite
|
Sign up to set email alerts
|

Scheduling with integer time budgeting for low-power optimization

Abstract: In this paper we present a mathematical programming formulation of the integer time budgeting problem for directed acyclic graphs. In particular, we formally prove that our constraint matrix has a special property that enables a polynomial-time algorithm to solve the problem optimally with a guaranteed integral solution.Our theory can be directly applied to solving a scheduling problem in behavioral synthesis with the objective of minimizing the system power consumption. Given a set of scheduling constraints a… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1
1
1
1

Citation Types

0
12
0

Year Published

2009
2009
2015
2015

Publication Types

Select...
6
1

Relationship

2
5

Authors

Journals

citations
Cited by 14 publications
(12 citation statements)
references
References 13 publications
0
12
0
Order By: Relevance
“…Please note that other optimization objectives can still be accommodated in this formulation such as area [14] and power [11,20].…”
Section: Problem Formulationmentioning
confidence: 98%
See 1 more Smart Citation
“…Please note that other optimization objectives can still be accommodated in this formulation such as area [14] and power [11,20].…”
Section: Problem Formulationmentioning
confidence: 98%
“…After performing liveness analysis on the subject method, yielding the live-in/live-out set of each block/branch (line 8), we proceed by scheduling the method's blocks one at a time (lines [10][11][12][13][14][15][16][17][18][19][20][21].…”
Section: Scheduling Flowmentioning
confidence: 99%
“…With scheduling and binding, HLS generates cycle-accurate hardware circuit from untimed behavioral description. Scheduling, the process of assigning time step to each operation, can be performed intelligently, for example, to enable additional slacks for scaling down the power for more resources [47]. Binding, the process of assigning operations to hardware resources, can likewise be performed cleverly by assigning less timing-critical operations to low-power technologies such as modules with high V th and low V DD [12], [49].…”
Section: Optimizations For Low Powermentioning
confidence: 99%
“…The method uses a special form of constraints in a linear program, so that it can avoid expensive branch and bound procedures in traditional ILP formulations for scheduling [10,15] while still optimizing globally. SDC is flexible enough to model a wide variety of constraints and objectives in behavioral synthesis, and is extended in [16] to solve a time budgeting problem.…”
Section: Preliminariesmentioning
confidence: 99%