41 search results - page 1 / 9 » Correct-by-Construction Asynchronous Implementation of Modul... |
ACSD
2005
IEEE
14 years 1 months ago
2005
IEEE
ASPDAC
2001
ACM
13 years 11 months ago
2001
ACM
This paper describes a novel approach to high-level synthesis of complex pipelined circuits, including pipelined circuits with feedback. This approach combines a high-level, modula...
DAC
2004
ACM
14 years 8 months ago
2004
ACM
The desynchronization approach combines a traditional synchronous specification style with a robust asynchronous implementation model. The main contribution of this paper is the d...
EMSOFT
2005
Springer
14 years 29 days ago
2005
Springer
We consider the problem of synthesizing correct-by-construction globally asynchronous, locally synchronous (GALS) implementations from modular synchronous specifications. This in...
FSTTCS
1998
Springer
13 years 11 months ago
1998
Springer
Abstract. Synchronous languages are well suited for the design of dependable real-time systems: they enable a very high-level specification and an extremely modular implementation ...