139 search results - page 1 / 28 » From Synchronous to Asynchronous: An Automatic Approach |
DATE
2004
IEEE
13 years 8 months ago
2004
IEEE
This paper presents a methodology to derive asynchronous circuits from optimized synchronous circuits by replacing the clock distribution tree by a handshaking network. A case stu...
EMSOFT
2005
Springer
13 years 10 months ago
2005
Springer
We consider the problem of synthesizing correct-by-construction globally asynchronous, locally synchronous (GALS) implementations from modular synchronous specifications. This in...
DATE
2004
IEEE
13 years 8 months ago
2004
IEEE
We lay a foundation for modeling and validation of asynchronous designs in a multi-clock synchronous programming model. This allows us to study properties of globally asynchronous...
DAC
1997
ACM
13 years 9 months ago
1997
ACM
This paper presents a novel approach for automatic test pattern generation of asynchronous circuits. The techniques used for this purpose assume that the circuit can only be exerc...
MEMOCODE
2008
IEEE
13 years 11 months ago
2008
IEEE
While synchrony and asynchrony are two distinct concepts of concurrency theory, effective and formally defined embedded system design methodologies usually mix the best from both...