Abstract
In high-level synthesis of VLSI circuits, good lower bound prediction can efficiently narrow down the large space of possible designs. Previous approaches predict the lower bound by relaxing or even ignoring the precedence constraints of the data flow graph (DFG), and result in inaccuracy of the lower bound. The loop folding and conditional branch were also not considered. In this paper, a new stepwise refinement algorithm is proposed, which takes consideration of precedence constraints of the DFG to estimate the lower bound of hardware resources under time constraints. Processing techniques to handle multi-cycle, chaining, pipelining, as well as loop folding and mutual exclusion among conditional branches are also incorporated in the algorithm. Experimental results show that the algorithm can produce a very tight and close to optimal lower bound in reasonable computation time.
Similar content being viewed by others
Explore related subjects
Discover the latest articles, news and stories from top researchers in related subjects.References
Hu Y, Carlson B S. A unified algorithm for the estimation and scheduling of data flow graphs.Journal of Circuit Systems and Computers, June, 1996, 6(3): 287–318.
Tiruvuri G, Chung M. Estimation of lower bounds in scheduling algorithms for high-level synthesis.ACM Trans. Design Automation of Electronic Systems, Apr., 1998, 3(2): 162–180.
Narasimhan M, Ramannjam J. On lower bounds for scheduling problems in high-level synthesis. InProc. 2000 Design Automation Conference, Los Angeles, CA, USA, June, 2000, pp.546–551.
Jain R, Parker A C, Park N. Predicting system-level area and delay for pipelined and non-pipelined designsIEEE Trans. CAD-ICAS, 1992, 11(8): 955–965.
Timmer A H, Heijligers M J M, Jess J A G. Fast system-level area-delay curve prediction. InProc. 1st Asian Pacific Conference on Hardware Description Languages Standards and Applications, Brisbane, Australia, Dec., 1993, pp.198–207.
Nourani M, Papachristou C. A layout estimation algorithm for RTL datapaths. InProc. 30th Design Automation Conferences, Dallas, TX, USA, 1993, pp.285–291.
Timmer A H, Jess J A G. Execution interval analysis under resource constraints. InProc. International Conference on Computer Aided Design, Santa Clara, CA, USA, Nov., 1993, pp.454–459.
Sharma A, Jain R. Estimating architectural resources and performance for high-level synthesis applications. InProc. 30th Design Automation Conferences, Dallas, TX, USA, 1993, pp.355–360.
Wehn N, Glesner M, Vielhauer C. Estimating lower bounds in high-level synthesis. InIFIP Trans. VLSI 93: Proc. IFIP TC10/WG10.5 Int. Conf. VLSI, Grenoble, France, Sept., 1993, pp.261–270.
Ohm S Y, Kurdahi F J, Dutt N. Comprehensive lower bound estimation from behavioral descriptions. InProc. International Conference on Computer Aided Design, San Jose, CA, USA, Nov., 1994, pp.182–187.
Phm S Y, Kurdahi F J, Dutt N D. A unified lower bound estimation technique for high-level synthesis.IEEE Trans. CAD-ICAS, May, 1997, 16(5): 458–472.
Hu Y, Ghouse A, Carlson B S. Lower bounds on the iteration time and the number of resources for functional pipelined data flow graphs. InProc. International Conference on Computer Design, Cambridge, MA, USA, Oct., 1993, pp.21–24.
Hwang C T, Lee J H, Hsu Y C. A formal approach to the scheduling problem in high level synthesis.IEEE Trans. CAD-ICAS, 1991, 10(4): 464–475.
Gebotys C H, Elmasry M I. Global optimization approach for architectural synthesis.IEEE Trans. CAD-ICAS, Sept., 1993, 12(9): 1266–1278.
Hwang C T, Hsu Y C. Zone scheduling.IEEE Trans. CAD-ICAS, Jul., 1993, 12(7): 926–934.
Wilson T C, Grewal G W, Banerji D K. An ILP solution for simultaneous scheduling, allocation, and binding in multiple block synthesis. InProc. International Conference on Computer Design, Cambridge, MA, USA, 1994, pp.581–586.
Rim M, Jain R. Estimating lower-bound performance of schedules using a relaxation technique. InProc. International Conference on Computer Design, Cambridge, MA, USA, 1992, pp. 290–294.
Rim M, Jain R. Lower-bound performance estimation for the high-level synthesis scheduling problem.IEEE Trans. CAD-ICAS, Apr., 1994, 13(4): 451–458.
Chaudhuri S, Walker R A. Computing lower bounds on functional units before scheduling. InProc. 7th International Symposium on High-Level Synthesis, Ontario, Canada, May, 1994, pp.36–41.
Langevin M, Cerny E. A recursive technique for computing lower-bound performance of schedules. InProc. International Conference on Computer Design, Cambridge, MA, USA, 1993, pp.16–20.
Shen Z X, Jong C C. Functional area lower bound and upper bound on multicomponent selection for interval scheduling.IEEE Trans. CAD-ICAS, July, 2000, 19(7): 745–759.
Jha P K, Dutt N D. Rapid estimation for parameterized components in high-level synthesis.IEEE Trans. VLSI systems, Sept., 1993, 1(3): 296–303.
Mintz D, Dangelo C. Timing estimation for behavioral descriptions. InProc. 7th International Symposium on High-Level Synthesis, Ontario, Canada, May, 1994, pp.42–47.
Rabaey J M, Potkonjak M. Estimating implementation bounds for real time DSP application specific circuits.IEEE Trans. CAD-ICAS, June, 1994, 13(6): 669–683.
Kruse L, Schmidt E, Jochens G, Stammermann A, Nebel W. Lower bound estimation for low power high-level synthesis In.Proc. 13th Int. Symposium on System Synthesis, Madrid, Spain, 2000, pp.180–185.
Paulin P G, Knight J P. Force-directed scheduling for the behavioral synthesis of ASIC’s.IEEE Trans. CAS-ICAS. June, 1989, 8(6): 661–679.
Lee T F, Wu A C H, Lin Y L, Gajski D D. A transformation-based method for loop folding.IEEE Trans. CAD-ICAS, Apr., 1994, 13(4): 439–450.
Lee T F, Wu A C H, Gajski D D, Lin Y L. An effective methodology for functional pipelining. InProc. International Conference on Computer Aided Design, Santa Clara, CA, USA, 1992, pp.230–233.
Hwang C T, Hsu Y C, Lin Y L. PLS: A scheduler for pipeline synthesis.IEEE Trans. CAD-ICAS, Sept. 1993, 12(9): 1279–1286.
Passos N L, Sha E H M, Bass S C. Loop pipelining for scheduling multi-dimensional systems via rotation. InProc. 31st Design Automation Conference, San Diego, CA, USA, 1994, pp.485–490.
Wakabayashi K, Tanaka H. Global scheduling independent of control dependencies based on condition vectors. InProc. 29th Design Automation Conference, Anaheim, CA, USA, 1992, pp.112–115.
Springer D L, Thomas D E. Exploiting the special structure of conflict and compatibility graphs in high-level synthesis.IEEE Trans. CAD-ICAS, July, 1994, 13(7): 843–856.
Timmer A H, Heijligers J M, Stok, L, Jess J A G. Module selection and scheduling using unrestricted libraries. InProc. of the European Conference on Design Automation with the European Event in ASIC Design, Paris, France, Feb., 1993, pp.547–551.
Park N, Parker A C. Sehwa, a software package for synthesis of pipelines from behavioral specification.IEEE Trans. CAD-ICAS, Mar., 1988, 7(3): 356–370.
Parker A C, Pizarro J T, Milnar M. MAHA: A program for datapath synthesis. InProc. 23rd Design Automation Conference, Las Vegas, NV, USA, 1986, pp.461–466.
Kim T K, Yonezawa N, Liu W S J, Liu C L. A scheduling algorithm for conditional resource sharing — A hierarchical reduction approach.IEEE Trans. CAD-ICAS, Apr., 1994, 13(4): 425–438.
Author information
Authors and Affiliations
Additional information
Shen Zhaoxuan received the B.Sc. degree in computer science from Zhejiang University, China and the M.Eng. degree in electrical and electronic engineering from Nanyang Technological University, Singapore. From August 1987 to January 1994, he was a research associate at Laboratory of CAD & Graphics, Institute of Computing Technologies, Chinese Academy of Sciences, Beijing, China. During 1996–1999, he was a senior engineer at Institute of High Performance Computing Singapore, developing parallel optimization algorithm for VLSI floorplanning, placement and synthesis, etc. He was a senior software engineer at Arcadia Design Systems, Inc. San Jose, CA, USA from March. 1999 to November 2000 and a senior engineer at Synopsys Inc. Mountain View, CA, USA from December 2000 to January 2002. He is now with Cadence Design Systems Inc. San Jose, CA, USA, developing new generation of P&R tools for SOC VLSI design. Dr. Shen received the 1991 First Class Science & technology Progressing Award from Chinese Academy of Sciences for the contribution to the EDCADS tool development. He has been an IEEE member since 1996.
Jong Ching Chuen received the BSc (Eng) degree in electronics with computer science and the PhD degree in electronic engineering from Queen Mary College, University of London, U.K., in 1983 and 1988 respectively. From July 1987 to October 1990, he worked in the area of high-level synthesis of digital systems first in University of Southampton, U.K. and then in Racal Research Limited, U.K. In 1991, he joined the Nanyang Technological University, Singapore, as a faculty member. He is now an associate professor in the Division of Circuits and Systems, School of Electrical and Electronic Engineering. Dr. Jong is a chartered engineer, a member of IEE and a member of BCS. His technical interests include high-level synthesis, ASIC design and fast-prototyping of digital designs.
Rights and permissions
About this article
Cite this article
Shen, Z., Jong, C.C. Lower bound estimation of hardware resources for scheduling in high-level synthesis. J. Compt. Sci. & Technol. 17, 718–730 (2002). https://doi.org/10.1007/BF02960762
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF02960762