Skip to Main content Skip to Navigation
Reports

Compositional synthesis of latency-insensitive systems from multi-clocked synchronous specifications

Jean-Pierre Talpin 1 Dumitru Potop-Butucaru 2 Julien Ouy 1 Benoit Caillaud 3
1 ESPRESSO - Synchronous programming for the trusted component-based engineering of embedded systems and mission-critical systems
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
3 S4 - System synthesis and supervision, scenarios
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
Abstract : We consider the problem of synthesizing correct-by-construction globally asynchronous, locally synchronous (GALS) implementations from modular synchronous specifications. This involves the synthesis of asynchronous wrappers that drive the synchronous clocks of the modules and perform input reading in such a fashion as to preserve, in a certain sense, the global properties of the system. Our approach is based on the weakly endochronous synchronous model, which gives criteria guaranteeing the existence of simple and efficient asynchronous wrappers. We focus on the transformation (by means of added signalling) of the synchronous modules of a multiclock synchronous specification into weakly endochronous modules, for which simple and efficient wrappers exist.
Document type :
Reports
Complete list of metadata

Cited literature [11 references]  Display  Hide  Download

https://hal.inria.fr/inria-00070397
Contributor : Rapport de Recherche Inria <>
Submitted on : Friday, May 19, 2006 - 8:22:53 PM
Last modification on : Friday, January 8, 2021 - 11:30:02 AM
Long-term archiving on: : Sunday, April 4, 2010 - 9:07:12 PM

Identifiers

  • HAL Id : inria-00070397, version 1

Citation

Jean-Pierre Talpin, Dumitru Potop-Butucaru, Julien Ouy, Benoit Caillaud. Compositional synthesis of latency-insensitive systems from multi-clocked synchronous specifications. [Research Report] RR-5610, INRIA. 2005, pp.22. ⟨inria-00070397⟩

Share

Metrics

Record views

473

Files downloads

182