Toggle Main Menu Toggle Search

Open Access padlockePrints

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

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



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.


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.

Publication metadata

Author(s): Cortadella J, Moreno A, Sokolov D, Yakovlev A, Lloyd D

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: 23rd IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC)

Year of Conference: 2017

Pages: 73-74

Online publication date: 07/11/2017

Acceptance date: 21/03/2017

Date deposited: 07/12/2017

Publisher: IEEE


DOI: 10.1109/ASYNC.2017.24

Library holdings: Search Newcastle University Library for this item

ISBN: 9781538627495