Browse by author
Lookup NU author(s): Vladimir Dubikhin, Professor Christopher Myers, Dr Danil Sokolov, Ioannis Syranidis, Professor Alex Yakovlev
© 2017 ACM. Analog/mixed-signal (AMS) systems are rapidly expanding in all domains of information and communication technology. They are a critical part of the support for large-scale high-performance digital systems, provide important functionalities in medium-scale embedded and mobile systems, and act as a core organ of autonomous electronics such as sensor nodes. Analog and digital parts are closely intermixed, hence demanding AMS design methods and tools to be more holistic. In particular, the emergence of "little digital" electronics inside or near analog circuitry calls for the increasing use of asynchronous logic. To cope with the growing complexity of AMS designs, formal methods are required to complement traditional simulation approaches. This paper presents an overview of the state-of-The-Art in AMS formal verification and asynchronous design that enables the development of analog/asynchronous co-design methods. One such co-design methodology is exemplified by the LEMA-Workcraft workflow currently under development by the authors.
Author(s): Dubikhin V, Myers C, Sokolov D, Syranidis I, Yakovlev A
Publication type: Conference Proceedings (inc. Abstract)
Publication status: Published
Conference Name: DAC '17 Proceedings of the 54th Annual Design Automation Conference
Year of Conference: 2017
Online publication date: 18/06/2017
Acceptance date: 02/04/2016
Date deposited: 05/08/2017
Publisher: Association for Computing Machinery
URL: https://doi.org/10.1145/3061639.3072945
DOI: 10.1145/3061639.3072945
Library holdings: Search Newcastle University Library for this item
ISBN: 9781450349277