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


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.
L. P. Carloni and A. L. Sangiovanni-Vincentelli, “Coping with Latency in SOC Design,” IEEE Micro, vol. 22, no. 5, pp. 24–35, 2002.
M. R. Casu and L. Macchiarulo, “A new approach to latency insensitive design,” in Proc. of the Design Automation Conference, 2004.
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.