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

• cylcic encoder
• ecoding of the figure 2 of the article
• examples of [3]
• examples of [1]
• MPEG-2 encoder as found in [2] and [3]

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 L^AT_EX by H^EV^EA.