Hardware and Petri nets: application to asynchronous circuit design

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 asy...

Full description

Bibliographic Details
Authors: Cortadella, Jordi|||0000-0001-8114-250X, Kishinevsky, Michael, Kondratyev, Alex, Lavagno, Luciano, Yakovlev, Alex
Format: article
Publication Date:2000
Country:España
Institution:Universitat Politècnica de Catalunya (UPC)
Repository:UPCommons. Portal del coneixement obert de la UPC
Language:English
OAI Identifier:oai:upcommons.upc.edu:2117/133827
Online Access:https://hdl.handle.net/2117/133827
https://dx.doi.org/10.1007/3-540-44988-4_1
Access Level:Open access
Keyword:Asynchronous circuits
Petri nets
Circuits asíncrons
Petri, Xarxes de
Àrees temàtiques de la UPC::Enginyeria electrònica::Microelectrònica::Circuits integrats
Description
Summary: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.

Similar Items