High-Level Modeling and Design of Asynchronous Interface Logic

  title={High-Level Modeling and Design of Asynchronous Interface Logic},
  author={Alexandre Yakovlev and Albert Koelmans and Luciano Lavagno},
  journal={IEEE Design & Test of Computers},
Asynchronous digital interface circuits exhibit a high degree of concurrency. Self-timed implementation is the most appropriate design discipline for such circuits. Their complexity demands that a formal design methodology, amenable to automation, is used to design them. Existing speciication models suuer from severe limitations when it comes to describing the circuit function at a high level, which requires decomposing the speciication into intercommunicating sub-modules and synthesizing a… CONTINUE READING
Highly Cited
This paper has 52 citations. REVIEW CITATIONS
38 Citations
48 References
Similar Papers


Publications citing this paper.

52 Citations

Citations per Year
Semantic Scholar estimates that this publication has 52 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.
Showing 1-10 of 48 references

Concurrent computations and VLSI circuits

  • M. Rem
  • Control Flow and Data Flow: Concepts of…
  • 1985
Highly Influential
11 Excerpts

Algorithms for Synthesis and Testing of Asyn- chronous Circuits

  • L. Lavagno, A. Sangiovanni-Vincentelli
  • Kluwer Academic Publishers, Boston,
  • 1993
Highly Influential
14 Excerpts

Concurrent Hardware: The Theory and Practice of Self-Timed Design

  • M. Kishinevsky, A. Kondratyev, A. Taubin, V. Varshavsky
  • John Wiley and Sons, London,
  • 1993
Highly Influential
6 Excerpts


  • I. E. Sutherland
  • Communications of ACM, 32(6):720{738,
  • 1989
Highly Influential
13 Excerpts

A uni ed STG model for asyn- chronous control circuit synthesis

  • A. Yakovlev, L. Lavagno, A. Sangiovanni-Vincentelli
  • Formal Methods in System Design,
  • 1993
Highly Influential
5 Excerpts

Similar Papers

Loading similar papers…