Title :
Static scheduling of Latency Insensitive Designs with Lucy-n
Author :
Mandel, Louis ; Plateau, Florence ; Pouzet, Marc
fDate :
Oct. 30 2011-Nov. 2 2011
Abstract :
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.
Keywords :
program compilers; programming languages; scheduling; system-on-chip; Lucy-n compiler; Lucy-n program; Lustre; buffer operator; buffer sizes; computation nodes; data-flow programming language; delay operator; latency insensitive designs; multimedia streaming application programming; n-synchronous model; shell wrappers; static scheduling; Clocks; Delay; Encoding; Redundancy; Schedules; Synchronization; Wires;
Conference_Titel :
Formal Methods in Computer-Aided Design (FMCAD), 2011
Conference_Location :
Austin, TX
Print_ISBN :
978-1-4673-0896-0