From Concurrent Multi-clock Programs to Deterministic Asynchronous Implementations

We propose a general method to characterize and synthesize correctness-preserving, asynchronous wrappers for synchronous processes on a globally asynchronous locally synchronous (GALS) architecture. Based on the theory of weakly endochronous systems, our technique uses a representation of the abstract synchronization configurations of the analyzed process to determine a minimal set of synchronization patterns generating all possible reactions.

• Type: Conference
• Year: 2009
• Where: ACSD
• Authors: Dumitru Potop-Butucaru, Robert de Simone, Yves Sorel, Jean-Pierre Talpin
• Keywords: Abstract Synchronization Configurations, ACSD 2009, Asynchronous Wrappers, Hardware, Synchronous Processes