Lookup NU author(s): Vladimir Dubikhin,
Professor Christopher Myers,
Professor Alex Yakovlev,
Dr Danil Sokolov
This is the authors' accepted manuscript of an article that has been published in its final definitive form by Institute of Electrical and Electronics Engineers, 2016.
For re-use rights please refer to the publisher's terms and conditions.
This paper presents a novel workflow for the design of mixed-signal systems with asynchronous control. Current methods rely on synchronous control logic and full-system simulation, which might lead to suboptimal results and even project respins due to critical errors. Asynchronous circuits can provide greater robustness, reactivity, and power efficiency. The proposed workflow aims to combine state-of-the-art tools for asynchronous circuit design and formal verification of analog systems in a unified environment. The effectiveness of this methodology is demonstrated by the analysis of a buck converter.
Author(s): Dubikhin V, Myers CJ, Yakovlev A, Sokolov D
Publication type: Article
Publication status: Published
Journal: IEEE Design & Test
Print publication date: 01/10/2016
Online publication date: 21/04/2016
Acceptance date: 21/04/2016
Date deposited: 02/11/2016
ISSN (print): 2168-2356
ISSN (electronic): 2168-2364
Publisher: Institute of Electrical and Electronics Engineers
Altmetrics provided by Altmetric