@inproceedings{dubikhin_invited_2017,
 abstract = {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 inter-mixed, 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 = {<NAME> <NAME>, <NAME> Yakovlev, Alex},
 booktitle = {2017 54th ACM/EDAC/IEEE Design Automation Conference (DAC)},
 date = {2017-06},
 doi = {10.1145/3061639.3072945},
 eventtitle = {2017 54th ACM/EDAC/IEEE Design Automation Conference (DAC)},
 file = {Dubikhin et al-2017-Invited.pdf:/Users/lukas/Lab/Zotero/storage/WFVACE8X/Dubikhin et al-2017-Invited.pdf:application/pdf},
 keywords = {system-on-chip, asynchronous circuits, logic design, asynchronous circuit, timing, analog/mixed-signal circuits, mixed analogue-digital integrated circuits, verification, Complexity theory, formal verification, integrated circuit design, asynchronous logic, electronic engineering computing, formal methods, complexity, embedded systems, LEMA AMS verification tool flow, AMS systems, analog circuitry, analog/asynchronous co-design methods, analog/mixed-signal systems, asynchronous design, Digital control, digital electronics, hardware-software codesign, high-performance digital systems, mobile systems, design methodology, integrated circuits},
 note = {00000},
 pages = {1--6},
 shorttitle = {Invited},
 title = {Invited: Advances in formal methods for the design of analog/mixed-signal systems}
}

