Model Discovery for Analog/Mixed-Signal Circuits

Konferenz: FAC 2017 - Frontiers in Analog CAD
21.07.2017 - 22.07.2017 in Frankfurt am Main, Deutschland

Tagungsband: Frontiers in Analog CAD (FAC 2017)

Seiten: 6Sprache: EnglischTyp: PDF

Persönliche VDE-Mitglieder erhalten auf diesen Artikel 10% Rabatt

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.