Show simple item record

dc.contributor.authorCortadella, Jordi
dc.contributor.authorKishinevsky, Michael
dc.contributor.authorKondratyev, Alex
dc.contributor.authorLavagno, Luciano
dc.contributor.authorYakovlev, Alex
dc.contributor.otherUniversitat Politècnica de Catalunya. Departament de Ciències de la Computació
dc.date.accessioned2019-06-03T08:04:33Z
dc.date.available2019-06-03T08:04:33Z
dc.date.issued2000-06
dc.identifier.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.
dc.identifier.issn0302-9743
dc.identifier.urihttp://hdl.handle.net/2117/133827
dc.description.abstractAsynchronous 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.
dc.format.extent15 p.
dc.language.isoeng
dc.publisherSpringer
dc.subjectÀrees temàtiques de la UPC::Enginyeria electrònica::Microelectrònica::Circuits integrats
dc.subject.lcshAsynchronous circuits
dc.subject.lcshPetri nets
dc.titleHardware and Petri nets: application to asynchronous circuit design
dc.typeArticle
dc.subject.lemacCircuits asíncrons
dc.subject.lemacPetri, Xarxes de
dc.contributor.groupUniversitat Politècnica de Catalunya. ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals
dc.identifier.doi10.1007/3-540-44988-4_1
dc.description.peerreviewedPeer Reviewed
dc.relation.publisherversionhttps://link.springer.com/chapter/10.1007/3-540-44988-4_1
dc.rights.accessOpen Access
local.identifier.drac1636486
dc.description.versionPostprint (author's final draft)
local.citation.authorCortadella, J.; Kishinevsky, M.; Kondratyev, A.; Lavagno, L.; Yakovlev, A.
local.citation.publicationNameLecture notes in computer science
local.citation.volume1825
local.citation.startingPage1
local.citation.endingPage15


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record

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