From Concurrent Multi-clock Programs to Deterministic Asynchronous Implementations
Dumitru Potop‐Butucaru, Yves Sorel, Robert de Simone, Jean-Pierre Talpin · Fundamenta Informaticae · 2011
We propose a general method to characterize and synthesize correctness-preserving asynchronous wrappers for synchronous processes on a globally asynchronous locally synchronous (GALS) architecture. While a synchronous process may rely on the absence