A new integer linear programming formulation for the scheduling problem in data path synthesis
暂无分享,去创建一个
A novel approach is presented to the operation scheduling problem in a data path synthesis. After obtaining the start time and the require time of each operation by the ASAP (as soon as possible) and ALAP (as late as possible) methods, respectively, an integer linear programming (ILP) formulation is formed to solve the scheduling problem. The objective is to fully utilize the hardware resources, i.e. to minimize the requirement of function units under a given timing constraint. The formulation can be generalized to support multicycle operations, multiple operations per cycle, pipelined data paths, mutually exclusive operations, and variables' lifetime consideration in a data path. A fifth-order filter containing 26 addition and 8 multiplication operations can be scheduled optimally for the cases from 17 cycles to 21 cycles per minute on a VAX-11/8800.<<ETX>>
[1] Alice C. Parker,et al. A Formal Method for the Specification, Analysis, and Design of Register-Transfer Level Digital Logic , 1981, 18th Design Automation Conference.
[2] Pierre G. Paulin,et al. Force-Directed Scheduling in Automatic Data Path Synthesis , 1987, 24th ACM/IEEE Design Automation Conference.
[3] Nohbyung Park,et al. SEHWA: A Program for Synthesis of Pipelines , 1986, 23rd ACM/IEEE Design Automation Conference.
[4] Alice C. Parker,et al. MAHA: A Program for Datapath Synthesis , 1986, DAC 1986.