Static scheduling of latency insensitive designs with Lucy-n

Authors:
Louis Mandel;Florence Plateau;Marc Pouzet
Affiliations:
LRI, Université Paris-Sud, INRIA Paris-Rocquencourt;LRI, Université Paris-Sud;DI, École Normale Supérieure, INRIA Paris-Rocquencourt
Venue:
Proceedings of the International Conference on Formal Methods in Computer-Aided Design
Year:
2011

Citing 10
Cited 1

Coping with Latency in SOC Design

IEEE Micro
A comparison of synchronous and cycle-static dataflow

ASILOMAR '95 Proceedings of the 29th Asilomar Conference on Signals, Systems and Computers (2-Volume Set)
A new approach to latency insensitive design

Proceedings of the 41st annual Design Automation Conference
N-synchronous Kahn networks: a relaxed model of synchrony for real-time systems

Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Formal methods for scheduling of latency-insensitive designs

EURASIP Journal on Embedded Systems
Compositionality of Statically Scheduled IP

Electronic Notes in Theoretical Computer Science (ENTCS)
Scheduling Synchronous Elastic Designs

ACSD '09 Proceedings of the 2009 Ninth International Conference on Application of Concurrency to System Design
Elastic circuits

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Lucy-n: a n-synchronous extension of Lustre

MPC'10 Proceedings of the 10th international conference on Mathematics of program construction
Theory of latency-insensitive design

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

Scheduling and buffer sizing of n-synchronous systems: typing of ultimately periodic clocks in lucy-n

MPC'12 Proceedings of the 11th international conference on Mathematics of Program Construction

Quantified Score

Hi-index	0.00

Visualization

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.