Verification of Asynchronous Circuits by BDD-based Model Checking of Petri Nets

  title={Verification of Asynchronous Circuits by BDD-based Model Checking of Petri Nets},
  author={Oriol Roig and Jordi Cortadella and Enric Pastor},
  booktitle={Application and Theory of Petri Nets},
This paper presents a methodology for the veriication of speed-independent asynchronous circuits against a Petri net speciica-tion. The technique is based on symbolic reachability analysis, modeling both the speciication and the gate-level network behavior by means of boolean functions. These functions are eeciently handled by using Binary Decision Diagrams. Algorithms for verifying the correctness of designs, as well as several circuit properties are proposed. Finally, the applicability of our… CONTINUE READING
Highly Influential
This paper has highly influenced 10 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
Highly Cited
This paper has 111 citations. REVIEW CITATIONS


Publications citing this paper.
Showing 1-10 of 66 extracted citations

112 Citations

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

See our FAQ for additional information.


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

Petri nets: Properties, analysis and applications

  • T. Murata
  • Proceedings of the IEEE,
  • 1989
Highly Influential
4 Excerpts

The design of a self-timed circuit for distributed mutual exclusion

  • A. J. Martin
  • Proceedings of the Chapel Hill Conference on VLSI…
  • 1985
Highly Influential
4 Excerpts

Concurrent Hard ware. The Theory and Practice of Self-timed Design. Series in Parallel Computing

  • M. Kishinevsky, A. Kondratyev, A. Taubin, V. Varshavsky
  • 1994
1 Excerpt

Similar Papers

Loading similar papers…