41 search results - page 1 / 9 » Correct-by-Construction Asynchronous Implementation of Modul... |
85
Voted
ACSD
2005
IEEE
15 years 10 months ago
2005
IEEE
139
Voted
ASPDAC
2001
ACM
15 years 8 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...
110
Voted
DAC
2004
ACM
16 years 5 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...
126
Voted
EMSOFT
2005
Springer
15 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...
139
click to vote
FSTTCS
1998
Springer
15 years 9 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 ...