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: Frontiers in Analog CAD (FAC 2017)
Pages: 6Language: englishTyp: PDFPersonal VDE Members are entitled to a 10% discount on this title
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)
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.