Retiming et parallélisation automatique.

Abstract : In this report, we study more deeply the retiming techniques that are useful both for automatic parallelization and architecture synthesis. We recall the formalism of retiming and the main results due to Leiserson and Saxe. We propose two new optimization results: the minimization and the maximization of the number of registerless edges of a synchronous circuit. These two optimizations appear for problems such as the software pipelining and the maximization of data locality.
Document type :
Reports
Complete list of metadatas

Cited literature [10 references]  Display  Hide  Download

https://hal-lara.archives-ouvertes.fr/hal-02102025
Contributor : Colette Orange <>
Submitted on : Wednesday, April 17, 2019 - 9:12:19 AM
Last modification on : Saturday, April 27, 2019 - 1:12:27 AM

File

RR1998-33.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-02102025, version 1

Collections

Citation

Guillaume Huard. Retiming et parallélisation automatique.. [Research Report] LIP RR-1998-33, Laboratoire de l'informatique du parallélisme. 1998, 2+36p. ⟨hal-02102025⟩

Share

Metrics

Record views

6

Files downloads

11