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

Autoren:
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)

Inhalt:
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.