Formal Models |
Composing Snippets / Igor Benko ; Jo Ebergen |
A Programming Approach to the Design of Asynchronous Logic Blocks / Mark B. Josephs ; Dennis P. Furey |
Asynchronous Circuits |
GALA (Globally Asynchronous - Locally Arbitrary) Design / Victor Varshavsky ; Vyacheslav Marakhovsky |
Synthesis of Reactive Systems: Application to Asynchronous Circuit Design / Josep Carmona ; Jordi Cortadella ; Enric Pastor |
Decomposition in Asynchronous Circuit Design / Walter Vogler ; Ralf Wollowski |
Embedded System Design |
Functional and Performance Modeling of Concurrency in VCC / William LaRue ; Sherry Solden ; Bishnupriya Bhattacharya |
Modeling and Designing Heterogeneous Systems / Felice Balarin ; Luciano Lavagno ; Claudio Passerone ; Alberto Sangiovanni-Vincentelli ; Marco Sgroi ; Yosinori Watanabe |
Timed Verification and Performance Analysis |
Timed Verification of Asynchronous Circuits / Jesper Møller ; Henrik Hulgaard ; Henrik Reif Andersen |
Performance Analysis of Asynchronous Circuits Using MarkovChains / Peter A. Beerel ; Aiguo Xie |
Author Index |
Formal Models |
Composing Snippets / Igor Benko ; Jo Ebergen |
A Programming Approach to the Design of Asynchronous Logic Blocks / Mark B. Josephs ; Dennis P. Furey |
Asynchronous Circuits |
GALA (Globally Asynchronous - Locally Arbitrary) Design / Victor Varshavsky ; Vyacheslav Marakhovsky |
Synthesis of Reactive Systems: Application to Asynchronous Circuit Design / Josep Carmona ; Jordi Cortadella ; Enric Pastor |