Toggle Main Menu Toggle Search

Open Access padlockePrints

Synthesis from Waveform Transition Graphs

Lookup NU author(s): Alberto Moreno Vega, Dr Danil Sokolov



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

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


Asynchronous circuits are a promising class of digital circuits that has numerous advantages over their synchronous counterparts. Nonetheless, adoption has not been widespread, which in part is attributed to the difficulty of entry into complex models like Signal Transition Graphs (STGs) by electronic designers. This work formally introduces Waveform Transition Graphs (WTGs) which resembles the timing diagrams, that are very familiar to circuit designers, and defines their behaviour semantics. This formalization enables translation of the WTGs into equivalent STGs in order to reuse the existing body of research and tools for verification and logic synthesis of speed-independent circuits. The development of WTGs has been automated in the W ORKCRAFT toolkit, allowing their conversion into STGs, verification and synthesis.

Publication metadata

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

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

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

Year of Conference: 2019

Pages: 1-8

Print publication date: 15/05/2019

Acceptance date: 02/04/2018

Date deposited: 08/03/2019

Publisher: IEEE