An efficient and versatile scheduling algorithm based on SDC formulation

Proceedings - Design Automation Conference

Volumn , Issue , 2006, Pages 433-438

  Cong, Jason ^a   Zhang, Zhiru ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

Behavioral synthesis; Scheduling; SDC

Indexed keywords

CONSTRAINED OPTIMIZATION; HEURISTIC METHODS; LOGIC DESIGN; MATHEMATICAL PROGRAMMING; TIMING CIRCUITS;

BEHAVIORAL SYNTHESIS; RESOURCE CONSTRAINTS; TIMING CONSTRAINTS;

SCHEDULING ALGORITHMS;

EID: 34547187799     PISSN: 0738100X     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1146909.1147025     Document Type: Conference Paper

References (21)

1. Altera Website. http://www.altera.com.
2. S. Bhattacharya, S. Dey, and F. Brglez. Performance Analysis and Optimization of Schedules for Conditional and Loop-Intensive Specifications. In Proc. Design Automation Conf., pages 491-496, June 1994.
3. R. Camposano. Path-Based Scheduling for Synthesis. IEEE TCAD, 10(1):85-93, January 1991.
4. D. Chen, J. Cong, Y. Fan, G. Han, W. Jiang, and Z. Zhang. xPilot: A Platform-Based Behavioral Synthesis System. In Proc. SRC Techcon Conf., October 2005.
5. C. H. Gebotys and M. I. Elmasry. Global Optimization Approach for Architectural Synthesis. IEEE TCAD, 12(9): 1266-1278, September 1993.
6. S. Ghiasi, E. Bozorgzadeh, S. Choudhury, and M. Sarrafzadeh. A Unified Theory of Timing Budget Management. In Proc. Int. Conf. Computer Aided Design, pages 653-659, November 2004.
7. S. Gupta, N. Savoiu, N. Dutt, R. Gupta, and A. Nicolau. Using Global Code Motions to Improve the Quality of Results for High-Level Synthesis. IEEE TCAD, 23(2):302-311, February 2004.
8. S. Haynal. Automato-Based Symbolic Scheduling. PhD thesis, University of California, Santa Barbara, December 2000.
9. C-T. Hwang, T-H. Lee, and Y.-C. Hsu. A Formal Approach to the Scheduling Problem in High, Level Synthesis. IEEE TCAD, 10(4):464-475, April 1991.
10. R. Jain, A. Mujumdar, A. Sharma, and H. Wang. Empirical Evaluation of Some High-Level Synthesis Scheduling Heuristics. In Proc. Design Automation Conf., pages 686-689, June 1991.
11. D. C Ku and G. De Micheli. Relative Scheduling Under Timing Constraints. In Proc. Design Automation Conf., pages 59-64, June 1992.
12. K. Kuchcinski. Constraints-Driven Scheduling and Resource Assignment. ACM TODAES, 8(3):355-383, January 2003.
13. G. Lakshminarayana, A. Raghunathan, and N. K. Jha. Wavesched: A Novel Scheduling Technique for Control-Flow Intensive Designs. IEEE TCAD, 18(5):505-523, May 1999.
14. G. Lakshminarayana, A. Raghunathan, and N. K. Jha. Incorporating Speculative Execution into Scheduling of Control-Flow-Intensive Designs. IEEE TCAD, 19(3):308-324, March 2000.
15. T. Ly, D. Knapp, R. Miller, and D. MacMillen. Scheduling using Behavioral Templates. In Proc. Design Automation Conf., pages 101-106, June 1995.
16. M. Münch, N. Wehn, and M. Glesner. An Efficient ILP-Based Scheduling Algorithm, for Control-Dominated VHDL Descriptions. ACM TODAES, 2(4):344-364, October 1997.
17. A. Parker, J. Pizarro, and M. Mlinar. MAHA: A Program for Datapath Synthesis. In Proc. Design Automation Conf., pages 461-466, June 1986.
18. P. Paulin and J. Knight. Force-Directed Scheduling for the Behavioral Synthesis of ASICs. IEEE TCAD, 8(6):661-678, June 1989.
19. G. Ramalingam, J. Song, L. Joskowicz, and R. Miller. Solving Systems of Difference Constraints Incrementally. Algorithmica, 23:261-275, 1999.
20. L. Singhal and E. Bozorgzadeh. Fast Timing Closure Through Interconnect Criticality Driven Delay Relaxation. In Proc. Int. Conf. Computer Aided Design, pages 792-797, November 2005.
21. A. Vijayakumar and F. Brewer. Weighted Control Scheduling. In Proc. Int. Conf Computer Aided Design, pages 777-783, November 2005. 439-444