Waveform Transition Graphs: a designer-friendly formalism for asynchronous behaviours
Visualitza/Obre
Cita com:
hdl:2117/114897
Tipus de documentComunicació de congrés
Data publicació2017
EditorInstitute of Electrical and Electronics Engineers (IEEE)
Condicions d'accésAccés obert
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ó del titular dels drets
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.
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.
ISBN978-1-5386-2749-5
Versió de l'editorhttp://ieeexplore.ieee.org/document/8097387/
Fitxers | Descripció | Mida | Format | Visualitza |
---|---|---|---|---|
paper.pdf | 219,1Kb | Visualitza/Obre |