Static Scheduling of Latency Insensitive Designs with Lucy-n

Louis Mandel (1, 2) , Florence Plateau (1) , Marc Pouzet (2)

1 LRI - Laboratoire de Recherche en Informatique
2 Parkas - Parallélisme de Kahn Synchrone

Lucy-n is a data-flow programming language similar to Lustre extended with a buffer operator. It 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 latency introduced by wires, we add 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 shell wrappers.

Domaines: Langage de programmation [cs.PL]

Louis Mandel, Florence Plateau, Marc Pouzet. Static Scheduling of Latency Insensitive Designs with Lucy-n. FMCAD 2011 - Formal Methods in Computer Aided Design, Oct 2011, Austin, TX, United States. ⟨hal-00654843⟩