Lookup NU author(s): Professor Alex Yakovlev
Full text for this publication is not currently held within this repository. Alternative links are provided below where available.
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.
Author(s): Cortadella J, Kishinevsky M, Kondratyev A, Lavagno L, Yakovlev A
Publication type: Conference Proceedings (inc. Abstract)
Publication status: Published
Conference Name: Application and Theory of Petri Nets 2000: 21st International Conference, ICATPN 2000
Year of Conference: 2000
Library holdings: Search Newcastle University Library for this item
Series Title: Lecture Notes in Computing Science