Hardware and Petri nets: application to asynchronous circuit design
Rights accessOpen Access
All rights reserved. This work is protected by the corresponding intellectual and industrial property rights. Without prejudice to any existing legal exemptions, reproduction, distribution, public communication or transformation of this work are prohibited without permission of the copyright holder
Asynchronous circuits is a discipline in which the theory of concurrency is applied to hardware design. This paper presents an overview of a design framework in which Petri nets are used as the main behavioral model for specification. Techniques for synthesis, analysis and formal verification of asynchronous circuits are reviewed and discussed.
CitationCortadella, J. [et al.]. Hardware and Petri nets: application to asynchronous circuit design. "Lecture notes in computer science", Juny 2000, vol. 1825, p. 1-15.