86 search results - page 4 / 18 » Automatic Synthesis of Sequential Synchronizations |
125
Voted
ENTCS
2007
15 years 2 months ago
2007
Formal sequentialization is introduced as a rewriting process for the reduction of parallelism and internal communication statements of distributed imperative programs. It constru...
117
Voted
DAC
2010
ACM
15 years 3 months ago
2010
ACM
We present a technique to automatically synthesize a multithreaded in-order pipeline from a high-level unpipelined datapath specification. This work extends the previously propose...
88
Voted
IFIP
1999
Springer
15 years 7 months ago
1999
Springer
: This paper presents a synthesis algorithm for pipelined circuits. The circuit is specified as a collection of independent, looselycoupled modules connected by queues. The synthe...
102
Voted
ENTCS
2006
15 years 2 months ago
2006
A compiler that automatically translates recursive function definitions in higher order logic to clocked synchronous hardware is described. Compilation is by mechanised proof in t...
118
Voted
DATE
2008
IEEE
15 years 9 months ago
2008
IEEE
This paper describes an implementation language and synthesis system for automatically generating latency insensitive synchronous digital designs. These designs decouple behaviora...