ePrints

Hardware and Petri nets: Application to asynchronous circuit design

Lookup NU author(s): Professor Alex Yakovlev

Downloads

Full text for this publication is not currently held within this repository. Alternative links are provided below where available.

Abstract

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.

Publication metadata

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

Pages: 1-15

ISSN: 3540676937

Publisher: Springer

URL: http://www.lsi.upc.edu/~jordicf/gavina/BIB/TUTORIALS.html

Library holdings: Search Newcastle University Library for this item

Series Title: Lecture Notes in Computing Science

ISBN:

Share