Waveform Transition Graphs: a designer-friendly formalism for asynchronous behaviours
Document typeConference lecture
PublisherInstitute of Electrical and Electronics Engineers (IEEE)
Rights accessOpen Access
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.
CitationCortadella, 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.