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.
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
Print publication date: 15/05/2019
Acceptance date: 02/04/2018
Date deposited: 08/03/2019