[PDF][PDF] The synchronous programming language Quartz

K Schneider - 2009 - researchgate.net
During the past decades, an incredible change of technology has been observed in many
devices: traditionally used mechanical parts have often been first replaced by analog …

Fast linking of separately-compiled FPGA blocks without a NoC

Y Xiao, ST Ahmed, A DeHon - 2020 International Conference …, 2020 - ieeexplore.ieee.org
Dedicated point-to-point wires (DW) can be used in place of a Packet-Switched Networks-on-
a-Chip (PSNoC) for fast linking of separately-compiled FPGA blocks, providing higher …

[PDF][PDF] Formal methods for scheduling of latency-insensitive designs

J Boucaron, R De Simone, JV Millo - EURASIP journal on Embedded …, 2007 - Springer
Latency-insensitive design (LID) theory was invented to deal with SoC timing closure issues,
by allowing arbitrary fixed integer latencies on long global wires. Latencies are coped with …

Latency-insensitive design and central repetitive scheduling

J Boucaron, R de Simone… - Fourth ACM and IEEE …, 2006 - ieeexplore.ieee.org
The theory of latency-insensitive design (LID) was recently invented to cope with the time
closure problem in otherwise synchronous circuits and programs. The idea is to allow the …

Ordonnancements périodiques dans les réseaux de processus: application à la conception insensible aux latences

JV Millo - 2008 - theses.hal.science
Du fait de la miniaturisation grandissante des circuits électroniques, la conception de
système sur puce actuelle, se heurte au problème des latences sur les fils d'interconnexions …

A process algebraic view of latency-insensitive systems

HK Kapoor - IEEE Transactions on Computers, 2008 - ieeexplore.ieee.org
Latency-insensitive (LI) systems are those which can function correctly in spite of delays
along its connecting wires. This delay is assumed to be a multiple of the clock period. The …

Optimized implementation of synchronous models on industrial LTTA systems

M Di Natale, Q Zhu, A Sangiovanni-Vincentelli… - Journal of Systems …, 2014 - Elsevier
Synchronous models are used to specify embedded systems functions in a clear and
unambiguous way and allow verification of properties using formal methods. The …

Modélisation formelle de systèmes Insensibles à la Latence et ordonnancement.

J Boucaron - 2007 - theses.hal.science
Cette thèse présente de nouveaux résultats liant la théorie des systèmes dits insensibles à
la latence, à une sous-classe des réseaux de Pétri dénommée Marked Event Graph et son …

Réseaux de processus flots de données avec routage pour la modélisation de systèmes embarqués

A Coadou - 2010 - theses.hal.science
Cette thèse définit un nouveau modèle de calcul et de communication, dénommé graphe à
routage k-périodique (KRG). Ce modèle, de la famille des réseaux de processus flots de …

A formal framework for interfacing mixed-timing systems

S Das, PS Duggirala, HK Kapoor - Integration, 2013 - Elsevier
System-on-chip designs are composed of modules working at different clock frequencies.
These modules will communicate using control and data events. However, they cannot be …