Geometrical Program Modeling

  • Francky Catthoor
  • Sven Wuytack
  • Eddy De Greef
  • Florin Balasa
  • Lode Nachtergaele
  • Arnout Vandecappelle
Chapter

Abstract

This chapter describes the geometrical data- and control-flow modeling techniques for data-dominated applications. The literature on this topic is very scattered, and many different formalisms are being used. We present a unified view on these techniques and formalisms. Next, we show how these models can be used and extended to accurately describe the occupation of memories used for storing multi-dimensional data. Moreover, we derive the necessary and sufficient constraints that have to be satisfied by the design parameters (i.e. execution and storage order) in order to arrive at a valid algorithm implementation (either in hardware or in software). The optimization techniques presented in the subsequent chapters are all partly based on the models presented here, wherever they have to manipulate or analyse the loop nest code and the array signals.

Keywords

Clock Cycle Memory Location Execution Order Symbolic Constant Iteration Domain 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer Science+Business Media Dordrecht 1998

Authors and Affiliations

  • Francky Catthoor
    • 1
    • 2
  • Sven Wuytack
    • 1
  • Eddy De Greef
    • 1
  • Florin Balasa
    • 3
  • Lode Nachtergaele
    • 1
  • Arnout Vandecappelle
    • 1
  1. 1.IMECLeuvenBelgium
  2. 2.Katholieke Universiteit LeuvenBelgium
  3. 3.Rockwell Intnl. Corp.Newport BeachUSA

Personalised recommendations