Sciweavers

EMSOFT
2005
Springer
13 years 11 months ago
From multi-clocked synchronous processes to latency-insensitive modules
We consider the problem of synthesizing correct-by-construction globally asynchronous, locally synchronous (GALS) implementations from modular synchronous specifications. This in...
Jean-Pierre Talpin, Dumitru Potop-Butucaru, Julien...