Skip to main content
SpringerLink
Log in

The synthesis of systolic programs

  • Conference paper
  • First Online:
Reasearch Directions in High-Level Parallel Programming Languages (HLPPP 1991)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 574))

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. M. Annaratone, E. Arnould, T. Gross, H. T. Kung, M. Lam, O. Menzilcioglu, and J. A. Webb. The Warp computer: Architecture, implementation, and performance. IEEE Trans, on Computers, C-36(12):1523–1538, Dec. 1987.

    Google Scholar 

  2. H. Aida, S. Leinwand, and J. Meseguer. Architectural design of the rewrite rule ensemble. In J. Delgado-Frias and W. R. Moore, editors, Proc. Int. Workshop on VLSI for Artificial Intelligence and Neural Networks, 1990. Also: Technical Report SRI-CSL-90-17, SRI International, Dec. 1990.

    Google Scholar 

  3. Altera Corporation. Data Book. Altera Corporation, 1990.

    Google Scholar 

  4. J.-P. Banâtre, A. Coutant, and D. Le Métayer. A parallel machine for multiset transformation and its programming style. Future Generation Computer Systems, 4(2):133–144, Sept. 1988.

    Google Scholar 

  5. J. Bu and E. F. Deprettere. Converting sequential iterative algorithms to recurrent equations for automatic design of systolic arrays. In Proc. IEEE Int. Conf. on Acoustics, Speech and Signal Processing (ICASSP 88), Vol. IV: VLSI; Spectral Estimation, pages 2025–2028. IEEE Press, 1988.

    Google Scholar 

  6. J. Bu, E. F. Deprettere, and P. Dewilde. A design methodology for fixed-size systolic arrays. In S. Y. Kung and E. E. Swartzlander, editors, Application Specific Array Processors, pages 591–602. IEEE Computer Society Press, 1990.

    Google Scholar 

  7. M. Barnett and C. Lengauer. A systolizing compilation scheme. Technical Report ECS-LFCS-91-134, Department of Computer Science, University of Edinburgh, Jan. 1991. Abstract: Proc. 1991 Int. Conf. on Parallel Processing, Vol. II, Pennsylvania State University Press, 1991, 305–306.

    Google Scholar 

  8. J.-P. Banâtre and D. Le Métayer. The Gamma model and its discipline of programming. Science of Computer Programming, 15(1):55–77, Nov. 1990.

    Google Scholar 

  9. R. Bragodia. UNITY to UC: Case studies in parallel program construction. In this proceedings, 1991.

    Google Scholar 

  10. M. C. Chen. A design methodology for synthesizing parallel algorithms and architectures. J. Parallel and Distributed Computing, 3(4):461–491, 1986.

    Google Scholar 

  11. K. M. Chandy and J. Misra. Parallel Program Design. Addison-Wesley, 1988.

    Google Scholar 

  12. E. W. Dijkstra and C. S. Scholten. Predicate Calculus and Program Semantics. Texts and Monographs in Computer Science. Springer-Verlag, 1990.

    Google Scholar 

  13. B. R. Engstrom and P. R. Cappello. The SDEF systolic programming system. In S. K. Tewksbury B. W. Dickinson and S. C. Schwartz, editors, Concurrent Computations, chapter 15. Plenum Press, 1987.

    Google Scholar 

  14. J. P. Gray and T. A. Kean. Configurable hardware: A new paradigm for computation. In C. L. Seitz, editor, Advanced Research in VLSI. MIT Press, 1989.

    Google Scholar 

  15. I. Graham and T. King. The Transputer Handbook. Prentice-Hall, 1990.

    Google Scholar 

  16. C.-H. Huang and C. Lengauer. The derivation of systolic implementations of programs. Acta Informatica, 24(6):595–632, Nov. 1987.

    MathSciNet  Google Scholar 

  17. H. P. Hofstee, J. J. Lukkien, and J. L. van de Snepscheut. A distributed implementation of a task pool. In this proceedings, 1991.

    Google Scholar 

  18. INMOS Ltd. occam Programming Manual. Series in Computer Science. Prentice-Hall Int., 1984.

    Google Scholar 

  19. INMOS Ltd. occam 2 Reference Manual. Series in Computer Science. Prentice-Hall Int., 1988.

    Google Scholar 

  20. INMOS Ltd. The T9000 transputer • Products Overview • Manual. SGS-Thompson Microelectronics Group, first edition, 1991.

    Google Scholar 

  21. T. A. Kean and J. P. Gray. Configurable hardware: Two case studies of micro-grain computation. J. VLSI Signal Processing, 2(1):9–16, Sept. 1990.

    Google Scholar 

  22. H. T. Kung and C. E. Leiserson. Algorithms for VLSI processor arrays. In C. Mead and L. Conway, editors, Introduction to VLSI Systems, chapter 8.3. Addison-Wesley, 1980.

    Google Scholar 

  23. R. M. Karp, R. E. Miller, and S. Winograd. The organization of computations for uniform recurrence equations. J. ACM, 14(3):563–590, July 1967.

    Google Scholar 

  24. S.-Y. Kung. VLSI Processor Arrays. Prentice-Hall Int., 1988.

    Google Scholar 

  25. C. Lengauer, M. Barnett, and D. G. Hudson. Towards systolizing compilation. Distributed Computing, 5(1):7–24, 1991.

    Google Scholar 

  26. P. Lee and Z. Kedem. Synthesizing linear-array algorithms from nested for loop algorithms. IEEE Trans. on Computers, C-37(12):1578–1598, Dec. 1988.

    Google Scholar 

  27. H. Leverge, C. Mauras, and P. Quinton. A language-oriented approach to the design of systolic chips. In E. F. Deprettere and A.-J. van der Veen, editors, International Workshop on Algorithms and Parallel VLSI Architectures, Vol. A: Tutorials, pages 309–327. Elsevier (North-Holland), 1990. To appear in J. VLSI Signal Processing.

    Google Scholar 

  28. H. Leverge and P. Quinton. Derivation of parallel algorithms with the Alpha language. In this proceedings, 1991.

    Google Scholar 

  29. C. Lengauer and J. W. Sanders. The projection of systolic programs. Formal Aspects of Computing, 2:273–293, 1990.

    Google Scholar 

  30. C. Lengauer and J. Xue. Recent developments in systolic design. Technical Report ECS-LFCS-91-176, Department of Computer Science, University of Edinburgh, Sept. 1991.

    Google Scholar 

  31. C. Lengauer and J. Xue. A systolic array for pyramidal algorithms. J. VLSI Signal Processing, 3(3):239–259, 1991.

    Google Scholar 

  32. J. Meseguer. Personal communication, Aug. 1991.

    Google Scholar 

  33. D. I. Moldovan and J. A. B. Fortes. Partitioning and mapping algorithms into fixed-size systolic arrays. IEEE Trans. on Computers, C-35(1):1–12, Jan. 1986.

    Google Scholar 

  34. A. Pizzarello. Industrial experience in the use of UNITY. In this proceedings, 1991.

    Google Scholar 

  35. P. Quinton. Automatic synthesis of systolic arrays from uniform recurrent equations. In Proc. 11th Ann. Int. Symp. on Computer Architecture, pages 208–214. IEEE Computer Society Press, 1984.

    Google Scholar 

  36. S. V. Rajopadhye. Algebraic transformations in systolic array synthesis: A case study. In L. J. M. Claesen, editor, Formal VLSI Specification and Synthesis (VLSI Design Methods-I), pages 361–370. North-Holland, 1990.

    Google Scholar 

  37. H. B. Ribas. Automatic Generation of Systolic Programs from Nested Loops. PhD thesis, Department of Computer Science, Carnegie-Mellon University, June 1990. Technical Report CMU-CS-90-143.

    Google Scholar 

  38. S. K. Rao and T. Kailath. Regular iterative algorithms and their implementations on processor arrays. Proc. IEEE, 76(3):259–282, Mar. 1988.

    Google Scholar 

  39. J. Ramanujam and P. Sadayappan. A methodology for parallelizing programs for multicomputers and complex memory multiprocessors. In Supercomputing '89, pages 637–646. ACM Press, 1989.

    Google Scholar 

  40. C. E. Seitz. Multicomputers. In C. A. R. Hoare, editor, Developments in Concurrency and Communication, chapter 5, pages 131–200. Addison-Wesley, 1990.

    Google Scholar 

  41. Xilinx, Inc. The Programmable Gate Array Data Book. Xilinx, Inc., 1991.

    Google Scholar 

  42. J. Xue and C. Lengauer. On one-dimensional systolic arrays. In Proc. ACM Int. Workshop on Formal Methods in VLSI Design. Springer-Verlag, Jan. 1991. To appear.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Sciences, The University of Texas at Austin, 78712-1188, Austin, Texas, USA

    Michael Barnett

  2. Department of Computer Science, University of Edinburgh, EH9 3JZ, Edinburgh, Scotland, UK

    Christian Lengauer

Authors
  1. Michael Barnett
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Christian Lengauer
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Jean Pierre Banâtre Daniel Le Métayer

Rights and permissions

Reprints and permissions

Copyright information

© 1992 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Barnett, M., Lengauer, C. (1992). The synthesis of systolic programs. In: Banâtre, J., Le Métayer, D. (eds) Reasearch Directions in High-Level Parallel Programming Languages. HLPPP 1991. Lecture Notes in Computer Science, vol 574. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-55160-3_52

Download citation

  • DOI: https://doi.org/10.1007/3-540-55160-3_52

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-55160-7

  • Online ISBN: 978-3-540-46762-5

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation