Hardware and Petri nets: application to asynchronous circuit design

Cortadella, Jordi; Kishinevsky, Michael; Kondratyev, Alex; Lavagno, Luciano; Yakovlev, Alex

doi:10.1007/3-540-44988-4_1

View/Open

atpn00_hwpn.pdf (243,0Kb)

View UPCommons Usage Statistics

LA Referencia / Recolecta stats

Cita com:

Show full item record

Cortadella, Jordi

Document typeArticle

Defense date2000-06

PublisherSpringer

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

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.

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.

URIhttp://hdl.handle.net/2117/133827

DOI10.1007/3-540-44988-4_1

ISSN0302-9743

Publisher versionhttps://link.springer.com/chapter/10.1007/3-540-44988-4_1

Collections

View UPCommons Usage Statistics

Show full item record

Files	Description	Size	Format	View
atpn00_hwpn.pdf		243,0Kb	PDF	View/Open

UPCommons. Global access to UPC knowledge

Hardware and Petri nets: application to asynchronous circuit design

View/Open

Browse