Net-based Modeling and Verification of Asynchronous Circuits

Abstract

This paper develops a novel approach to the behavioral description. specification and verification of digital circuits oper.~ting·asynchrOnously. It combines the theory of trace structures developed by M. Rem and I.L.A. van de Snepscheut with a suitable extension of the theory of labeled Petri nets. The major advantage of the circuit model introduced is… (More)

Topics

Figures and Tables

Sorry, we couldn't extract any figures or tables for this paper.

Slides referencing similar topics