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.
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
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
Data Source Location: http://doi.org/10.5281/zenodo.889944.
Altmetrics provided by Altmetric