Waveform Transition Graphs: a designer-friendly formalism for asynchronous behaviours
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
Col·laborador
Editor
Tribunal avaluador
Realitzat a/amb
Tipus de document
Comunicació de congrés
Data publicació
Editor
Institute of Electrical and Electronics Engineers (IEEE)
Condicions d'accés
Accés obert
item.page.rightslicense
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
The paper proposes a new formal model for describing asynchronous behaviours involving the interplay of causality, concurrency and choice. The model is called Waveform Transition Graphs. Its main aim is simplifying the learning process for industrial engineers in accessing powerful synthesis tools provided for Signal Transition Graphs by sacrificing some of the expressive power of the latter. This formalism is developed based on feedback from engineers of Dialog Semiconductor.
Descripció
Persones/entitats
Document relacionat
Versió de
Citació
Cortadella, J., Moreno, A., Sokolov, D., Yakovlev, A., Lloyd, D. Waveform Transition Graphs: a designer-friendly formalism for asynchronous behaviours. A: IEEE International Symposium on Asynchronous Circuits and Systems. "23rd International Symposium on Asynchronous Circuits and Systems". Institute of Electrical and Electronics Engineers (IEEE), 2017, p. 73-74.
Ajut
Forma part
Dipòsit legal
ISBN
978-1-5386-2749-5