Hardware and Petri nets: application to asynchronous circuit design
Carregant...
Fitxers
El pots comprar en digital a:
El pots comprar en paper a:
Títol de la revista
ISSN de la revista
Títol del volum
Cita com:
Col·laborador
Editor
Tribunal avaluador
Realitzat a/amb
Tipus de document
Article
Data publicació
Editor
Springer
Condicions d'accés
Accés obert
Llicència
Tots els drets reservats. Aquesta obra està protegida pels drets de propietat intel·lectual i industrial corresponents. Sense perjudici de les exempcions legals existents, queda prohibida la seva reproducció, distribució, comunicació pública o transformació sense l'autorització de la persona titular dels drets
Publicacions relacionades
Datasets relacionats
Projecte CCD
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.
Descripció
Persones/entitats
Document relacionat
Versió de
Citació
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.
Ajut
Forma part
Dipòsit legal
ISBN
ISSN
0302-9743