Waveform Transition Graphs: A Designer-Friendly Formalism for Asynchronous Behaviours

Cortadella, J; Moreno, A; Sokolov, D; Yakovlev, A; Lloyd, D

doi:10.1109/ASYNC.2017.24

Waveform Transition Graphs: A Designer-Friendly Formalism for Asynchronous Behaviours

Lookup NU author(s): Dr Danil Sokolov, Professor Alex Yakovlev

Downloads

Accepted version [.pdf]

Licence

This is the authors' accepted manuscript of a conference proceedings (inc. abstract) that has been published in its final definitive form by IEEE, 2017.

For re-use rights please refer to the publisher's terms and conditions.

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.