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.
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
Online publication date: 07/11/2017
Acceptance date: 21/03/2017
Date deposited: 07/12/2017
Library holdings: Search Newcastle University Library for this item