Static Scheduling of Latency Insensitive Designs with Lucy-n -- FMCAD11



Static Scheduling of Latency Insensitive Designs with Lucy-n

FMCAD 2011


Louis Mandel, Florence Plateau and Marc Pouzet
LRI, Univ. Paris-Sud 11.
LIENS, École Normale Supérieure
INRIA, Paris-Rocquencourt

Abstract: Lucy-n is a dataflow programming language similar to Lustre extended with a buffer operator. This language is based on the n-synchronous model which was initially introduced for programming multimedia streaming applications. In this article, we show that Lucy-n is also applicable to model Latency Insensitive Designs (LID). In order to model relay stations, we have to introduce a delay operator. Thanks to this new operator, a LID can be described by a Lucy-n program. Then, the Lucy-n compiler automatically provides static schedules for computation nodes and buffer sizes needed in the shell wrappers.


Article: .pdf
Lucy-n: clock typing prototype (bytecode OCaml version 3.12.0 - needs Glpk)
Lucy-n web page: www
Extended english version of [4]: .pdf
Examples: .tgz





References

[1]
J. Boucaron, R. de Simone, and J.-V. Millo, “Formal Methods for Scheduling of Latency-Insensitive Designs,” EURASIP Journal on Embedded Systems, vol. 2007 , Issue 1, Jan. 2007.
[2]
L. P. Carloni and A. L. Sangiovanni-Vincentelli, “Coping with Latency in SOC Design,” IEEE Micro, vol. 22, no. 5, pp. 24–35, 2002.
[3]
M. R. Casu and L. Macchiarulo, “A new approach to latency insensitive design,” in Proc. of the Design Automation Conference, 2004.
[4]
Louis Mandel and Florence Plateau. Typage des horloges périodiques en Lucy-n. In Vingt deuxièmes Journées Francophones des Langages Applicatifs (JFLA 11), La Bresse, France, January 2011.

This document was translated from LATEX by HEVEA.