Title :
A new symbolic technique for control-dependent scheduling
Author :
I. Radivojevic;F. Brewer
Author_Institution :
Dept. of Electr. & Comput. Eng., California Univ., Santa Barbara, CA, USA
Abstract :
This paper describes an exact symbolic formulation of control-dependent, resource-constrained scheduling. The technique provides a closed-form solution set in which all satisfying schedules are encapsulated in a compressed OBDD-based representation. This solution format greatly increases the flexibility of the synthesis task by enabling incremental incorporation of additional constraints and by supporting solution space exploration without the need for rescheduling. The technique provides a systematic treatment of speculative operation execution in arbitrary forward-branching control/data paths. An iterative construction method is presented along with benchmark results. The experiments demonstrate the ability of the proposed technique to efficiently exploit parallelism not explicitly specified in the input description.
Keywords :
"Availability","High level synthesis","Closed-form solution","Control system synthesis","Iterative methods","Flow graphs","Digital systems","NP-complete problem","Integer linear programming","Optimal control"
Journal_Title :
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems