Removing Cycles in Esterel Programs

zum Volltext (230 kB)   ZIP
Beteiligte Person(en) / Institution(en)Autor :
DatumErschienen :
  • März 2005
Seitenbereich34 S.

Synchronous programs may contain cyclic signal interdependencies. This prohibits a static scheduling, which limits the choice of available compilation techniques for such programs. An earlier report has outlined an algorithm which, given a constructive synchronous program, performs a semantics-preserving source-level code transformation that removes cyclic signal dependencies, and also exposes opportunities for further optimization. This report presents a refined algorithm, describes a method for computing the necessary replacement expressions, and presents experimental results obtained with a prototypical implementation of this algorithm using the Columbia Esterel Compiler.
Statische URLhttps://www.uni-kiel.de/journals/receive/jportal_jparticle_00000140
 
URN:NBNurn:nbn:de:gbv:8:1-zs-00000140-a6
IDNummer des Berichts :
  • TR_0502