15 search results - page 1 / 3 » Correct Compilation of Specifications to Deterministic Async... |
CHARME
1993
Springer
13 years 9 months ago
1993
Springer
ENTCS
2010
13 years 5 months ago
2010
This paper extends previous work on the compilation of higher-order imperative languages into digital circuits [4]. We introduce concurrency, an essential feature in the context o...
ICCAD
1999
IEEE
13 years 10 months ago
1999
IEEE
This paper presents a new method to synthesize timed asynchronous circuits directly from the specification without generating a state graph. The synthesis procedure begins with a ...
FM
2003
Springer
13 years 10 months ago
2003
Springer
We present the formal framework for a novel approach for specifying and automatically implementing systems such as digital circuits and network protocols. The goal is to reduce the...
CONCUR
2010
Springer
13 years 5 months ago
2010
Springer
ompositionality of Round Abstraction Abstract Dan R. Ghica and Mohamed N. Menaa University of Birmingham, U.K. We revisit a technique called round abstraction as a solution to the ...