Hardware and Petri nets: application to asynchronous circuit design
| dc.contributor.author | Cortadella, Jordi |
| dc.contributor.author | Kishinevsky, Michael |
| dc.contributor.author | Kondratyev, Alex |
| dc.contributor.author | Lavagno, Luciano |
| dc.contributor.author | Yakovlev, Alex |
| dc.contributor.group | Universitat Politècnica de Catalunya. ALBCOM - Algorísmia, Bioinformàtica, Complexitat i Mètodes Formals |
| dc.contributor.other | Universitat Politècnica de Catalunya. Departament de Ciències de la Computació |
| dc.date.accessioned | 2019-06-03T08:04:33Z |
| dc.date.available | 2019-06-03T08:04:33Z |
| dc.date.issued | 2000-06 |
| dc.description.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. |
| dc.description.peerreviewed | Peer Reviewed |
| dc.description.version | Postprint (author's final draft) |
| dc.format.extent | 15 p. |
| dc.identifier.citation | Cortadella, 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.doi | 10.1007/3-540-44988-4_1 |
| dc.identifier.issn | 0302-9743 |
| dc.identifier.uri | https://hdl.handle.net/2117/133827 |
| dc.language.iso | eng |
| dc.publisher | Springer |
| dc.relation.publisherversion | https://link.springer.com/chapter/10.1007/3-540-44988-4_1 |
| dc.rights.access | Open Access |
| dc.subject | Àrees temàtiques de la UPC::Enginyeria electrònica::Microelectrònica::Circuits integrats |
| dc.subject.lcsh | Asynchronous circuits |
| dc.subject.lcsh | Petri nets |
| dc.subject.lemac | Circuits asíncrons |
| dc.subject.lemac | Petri, Xarxes de |
| dc.title | Hardware and Petri nets: application to asynchronous circuit design |
| dc.type | Article |
| dspace.entity.type | Publication |
| local.citation.author | Cortadella, J.; Kishinevsky, M.; Kondratyev, A.; Lavagno, L.; Yakovlev, A. |
| local.citation.endingPage | 15 |
| local.citation.publicationName | Lecture notes in computer science |
| local.citation.startingPage | 1 |
| local.citation.volume | 1825 |
| local.identifier.drac | 1636486 |
Fitxers
Paquet original
1 - 1 de 1
Carregant...
- Nom:
- atpn00_hwpn.pdf
- Mida:
- 243.06 KB
- Format:
- Adobe Portable Document Format
- Descripció: