|
ABSTRACT
The HAL system performs data path synthesis using a new scheduling algorithm that is part of an interdependent scheduling and allocation scheme. This scheme uses an estimate of the hardware allocation to guide and optimize the scheduling subtask. The allocation information includes the number, type, speed and cost of hardware modules as well as the associated multiplexer and interconnect costs.
The iterative force-directed scheduling algorithm attempts to balance the distribution of operations that make use of the same hardware resources:
- Every feasible control step assignment is evaluated at each iteration, for all operations.
- The associated side-effects on all the predecessor and successor operations are taken into account.
- All the decisions are global.
- The algorithm has O(n8 complexity.
We review and compare existing scheduling techniques. Moderate and difficult examples are used to illustrate the effectiveness of the approach.
REFERENCES
Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.
| |
1
|
O.D. Gajski, N.D. Dutt and B.M. Pangrle, "Silicon Compilation (Tutorial)*, Proceedings of the TEEE 1986 Custom Integrated Circu|ts Conference, Rochester NY, May 1986, pp. 102-110.
|
| |
2
|
|
 |
3
|
|
| |
4
|
E.F. Girczyc and d.P. Knight, "An ADA to Standard Cell Hardware Compiler Based on Graph Grammars and Scheduling", Proc. of the IEEE International Conference on Computer Design (ICCD), October 1984, pp. 726-731.
|
| |
5
|
|
| |
6
|
P.G. Paulin, d.P. Knight, "Extended Design-Space Exploration in Automatic Oata Path Synthesis", Proceedings of the 1986 Canadian Conference on VLSI, October 1986, pp. 221-226.
|
 |
7
|
|
| |
8
|
C. Tseng, D.P. Siewiorek, "Automated Synthesis of Data Paths in Digital Systems", IEEE Transactions on CAD, duly 1986, pp. 379-395.
|
| |
9
|
S. Davidson eta|, MSome Experiments in Local Microcode Compaction for Horizontal Machines", IEEE Transactions on Computers, duly 1981, pp. 460-477.
|
| |
10
|
|
| |
11
|
|
| |
12
|
d, Nestor, D.E. Thomas, "Behavioral Synthes~s with Interfaces", Proceedings of the IEEE ICCAD-86 (International Conference on CAD), November t986, pp. 112-115.
|
| |
13
|
B.M. Pangrle, O.O. GaJskl, "State Synthesis and Connectivity Binding for Microarchttecture Compilation", Proceedings of the IEEE ICCAD-86, November lg86, pp. 210-213.
|
| |
14
|
|
| |
15
|
|
| |
16
|
P.G. Paulin, d.P. Knight, "Scheduling and Allocation for Plpellned ASICs", Submitted to the TEEE International Conference on Computer Design (ICCD "87). Awaiting acceptance,
|
| |
17
|
H.Trtckey, "Flamel: A High-Level Hardware Compiler", IEEE Transactions on CAD, March 1987, pp.259-269.
|
CITED BY 46
|
|
|
|
|
|
|
Cheng-Tsung Hwang , Yu-Chin Hsu , Youn-Long Lin, Optimum and heuristic data path scheduling under resource constraints, Proceedings of the 27th ACM/IEEE conference on Design automation, p.65-70, June 24-27, 1990, Orlando, Florida, United States
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Douglas M. Grant , Peter B. Denyer, Memory, control and communications synthesis for scheduled algorithms, Proceedings of the 27th ACM/IEEE conference on Design automation, p.162-167, June 24-27, 1990, Orlando, Florida, United States
|
|
Christos Papachristou , Haidar Harmanani , Mehrdad Nourani, An approach for redesigning in data path synthesis, Proceedings of the 30th international conference on Design automation, p.419-423, June 14-18, 1993, Dallas, Texas, United States
|
|
|
W. F. J. Verhaegh , P. E. R. Lippens , E. H. L. Aarts , J. H. M. Korst , A. van der Werf , J. L. van Meerbergen, Efficiency improvements for force-directed scheduling, Proceedings of the 1992 IEEE/ACM international conference on Computer-aided design, p.286-291, November 1992, Santa Clara, California, United States
|
|
|
|
|
|
Ranga Vemuri , Nand Kumar , RaghVutukuruu , Prasad Subba Rao , Praveen Sinha , Ning Ren , Paddy Mamtora , Ram Mandayam , Ram Vemuri , Jayanta Roy, An Integrated Multicomponent Synthesis Environment for MCMs, Computer, v.26 n.4, p.62-74, April 1993
|
|
|
|
|
|
|
|
Forrest Brewer , Barry Pangrle , Andrew Seawright, Interconnection synthesis with geometric constraints, Proceedings of the 23rd annual workshop and symposium on Microprogramming and microarchitecture, p.158-165, November 27-29, 1990, Orlando, Florida, United States
|
|
Gang Wang , Wenrui Gong , Brian DeRenzi , Ryan Kastner, Design space exploration using time and resource duality with the ant colony optimization, Proceedings of the 43rd annual conference on Design automation, July 24-28, 2006, San Francisco, CA, USA
|
|
|
|
|
|
|
|
|
G. Goossens , J. Vandewlle , H. De Man, Loop optimization in register-transfer scheduling for DSP-systems, Proceedings of the 26th ACM/IEEE conference on Design automation, p.826-831, June 25-28, 1989, Las Vegas, Nevada, United States
|
|
|
D. E. Thomas , E. M. Dirkes , R. A. Walker , J. V. Rajan , J. A. Nestor , R. L. Blackburn, The system architect's workbench, Proceedings of the 25th ACM/IEEE conference on Design automation, p.337-343, June 12-15, 1988, Atlantic City, New Jersey, United States
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
H. Harmanani , C. Papachristou , S. Chiu , M. Nourani, SYNTEST: an environment for system-level design for test, Proceedings of the conference on European design automation, p.402-407, November 1992, Congress Centrum Hamburg, Hamburg, Germany
|
|
|
|
|
|
|
|
|
|
|
Katherine E. Coons , Behnam Robatmili , Matthew E. Taylor , Bertrand A. Maher , Doug Burger , Kathryn S. McKinley, Feature selection and policy optimization for distributed instruction placement using reinforcement learning, Proceedings of the 17th international conference on Parallel architectures and compilation techniques, October 25-29, 2008, Toronto, Ontario, Canada
|
|
|
|
|
|
|
|
|
Michael C. McFarland , Alice C. Parker , Raul Camposano, Tutorial on high-level synthesis, Proceedings of the 25th ACM/IEEE conference on Design automation, p.330-336, June 12-15, 1988, Atlantic City, New Jersey, United States
|
|
Christos A. Papachristou , Scott Chiu , Haidar Harmanani, A data path synthesis method for self-testable designs, Proceedings of the 28th conference on ACM/IEEE design automation, p.378-384, June 17-22, 1991, San Francisco, California, United States
|
|
|
|
|
|