Selected papers of the Second Workshop on Concurrency and compositionality
Deriving Petri Nets from Finite Transition Systems
IEEE Transactions on Computers
Synchronous Programming of Reactive Systems
Synchronous Programming of Reactive Systems
TACAs '96 Proceedings of the Second International Workshop on Tools and Algorithms for Construction and Analysis of Systems
Pausible Clocking: A First Step Toward Heterogeneous Systems
ICCD '96 Proceedings of the 1996 International Conference on Computer Design, VLSI in Computers and Processors
Globally-asynchronous locally-synchronous systems (performance, reliability, digital)
Globally-asynchronous locally-synchronous systems (performance, reliability, digital)
Concurrency in Synchronous Systems
ACSD '04 Proceedings of the Fourth International Conference on Application of Concurrency to System Design
Modeling and Verification of Globally Asynchronous and Locally Synchronous Ring Architectures
Proceedings of the conference on Design, Automation and Test in Europe - Volume 1
Correct-by-Construction Asynchronous Implementation of Modular Synchronous Specifications
ACSD '05 Proceedings of the Fifth International Conference on Application of Concurrency to System Design
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Theory of latency-insensitive design
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Compositional design of isochronous systems
Proceedings of the conference on Design, automation and test in Europe
Synthesis of Elementary Net Systems with Context Arcs and Localities
Fundamenta Informaticae - PETRI NETS 2007
Desynchronisation Technique Using Petri Nets
Electronic Notes in Theoretical Computer Science (ENTCS)
Synthesis of elementary net systems with context arcs and localities
ICATPN'07 Proceedings of the 28th international conference on Applications and theory of Petri nets and other models of concurrency
Minimal Regions of ENL-Transition Systems
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Compositional design of isochronous systems
Science of Computer Programming
Transition systems of elementary net systems with localities
CONCUR'06 Proceedings of the 17th international conference on Concurrency Theory
Synthesis problem for petri nets with localities
Transactions on Petri Nets and Other Models of Concurrency V
From Concurrent Multi-clock Programs to Deterministic Asynchronous Implementations
Fundamenta Informaticae - Application of Concurrency to System Design, the Eighth Special Issue
Synthesis of Elementary Net Systems with Context Arcs and Localities
Fundamenta Informaticae - PETRI NETS 2007
A taxonomy of persistent and nonviolent steps
PETRI NETS'13 Proceedings of the 34th international conference on Application and Theory of Petri Nets and Concurrency
A formal framework for interfacing mixed-timing systems
Integration, the VLSI Journal
| Hi-index | 0.00 |
We consider the problem of synthesizing the asynchronous wrappers and glue logic needed for the correct GALS implementation of a modular synchronous system. Our approach is based on the weakly endochronous synchronous model, which defines high-level, implementation-independent conditions guaranteeing correct desynchronization at the level of the abstract synchronous model. We can therefore factor the synthesis problem into (1) a high-level, implementation-independent phase insuring the weak endochrony of each synchronous module and (2) the actual wrapper synthesis phase, highly simplified by the high-level assumptions, yet flexible enough to produce various, efficient implementations. We focus here on the synthesis of delay-insensitive asynchronous wrappers from weakly endochronous synchronous modules, and show how this can be done for a simple DLX processor model.