Toggle Main Menu Toggle Search

Open Access padlockePrints

High-level asynchronous concepts at the interface between analogue and digital worlds

Lookup NU author(s): Jonny Beaumont, Dr Andrey Mokhov, Dr Danil Sokolov, Professor Alex Yakovlev



This is the authors' accepted manuscript of an article that has been published in its final definitive form by IEEE, 2018.

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


Asynchronous circuits are becoming increasinglyimportant in system design for Internet-of-Things, where theyorchestrate the interface between big synchronous computationcomponents and the analogue environment, which is inherentlyasynchronous and has high uncertainty with respect to powersupply, temperature and long-term ageing effects. However, wideadoption of asynchronous circuits by industrial users is hinderedby a steep learning curve for asynchronous control models,such as Signal Transition Graphs, that are developed by theacademic community for specification, verification and synthesisof asynchronous circuits.In this article we introduce a novel high-level descriptionlanguage for asynchronous circuits, which is based on behaviouralconcepts – high-level descriptions of asynchronouscircuit requirements, that can be shared, reused and extended byusers, and can be automatically translated to Signal TransitionGraphs for further processing by conventional asynchronous andsynchronous EDA tools, such as PETRIFY and MPSAT. Our aimis to simplify the process of capturing system requirements inthe form of a formal specification, and to promote behaviouralconcepts as a means for design reuse. The proposed design flowis fully automated in open-source toolsuite WORKCRAFT, and isapplied to the development of an asynchronous power regulator.

Publication metadata

Author(s): Beaumont J, Mokhov A, Sokolov D, Yakovlev A

Publication type: Article

Publication status: Published

Journal: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

Year: 2018

Volume: 37

Issue: 1

Pages: 61-74

Print publication date: 01/01/2018

Online publication date: 01/09/2017

Acceptance date: 13/08/2017

Date deposited: 29/08/2017

ISSN (print): 0278-0070

ISSN (electronic): 1937-4151

Publisher: IEEE


DOI: 10.1109/TCAD.2017.2748002


Altmetrics provided by Altmetric


Funder referenceFunder name