Model Discovery for Analog/Mixed-Signal Circuits
Conference: FAC 2017 - Frontiers in Analog CAD
07/21/2017 - 07/22/2017 at Frankfurt am Main, Deutschland
Proceedings: FAC 2017
Pages: 6Language: englishTyp: PDF
Personal VDE Members are entitled to a 10% discount on this title
Authors:
Dubikhin, Vladimir; Sokolov, Danil; Mokhov, Andrey; Yakovlev, Alex (Newcastle University, Newcastle upon Tyne, NE1 7RU, UK)
Myers, Chris J. (University of Utah, Salt Lake City, UT 84112, USA)
Abstract:
Advantages of formal verification are offset by the difficulties in the generating of good system models. This paper presents an improvement to the existing method, which generates models from a set of simulation traces. The proposed methodology aims to improve model precision by introducing new derivative based discretization method. Furthermore, a fine control over model fitness is provided via a notion of data rule mining, a novel approach to finding recurring patterns in the input data.