For the most recent entries see the Petri Nets Newsletter.

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

Roig, O.; Cortadella, J.; Pastor, E.

In: Proceeding of the 16th International Conference on Application and Theory of Petri Nets, Turin, June 1995., pages 374-391. 1995.

Abstract: This paper presents a methodology for the verification of speed-independent asynchronous circuits against a Petri net specification. The technique is based on symbolic reachability analysis, modeling both the specification and the gate-level network behavior by means of boolean functions. These functions are efficiently 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 verification method has been proven by checking the correctness of different benchmarks.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography