Toggle Main Menu Toggle Search

Open Access padlockePrints

Advances in Formal Methods for the Design of Analog/Mixed-Signal Systems

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.

Publication metadata

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


DOI: 10.1145/3061639.3072945

Library holdings: Search Newcastle University Library for this item

ISBN: 9781450349277