Automatic Abstraction of Analog Circuits to Hybrid Automata

Conference: ANALOG 2018 - 16. GMM/ITG-Fachtagung
09/13/2018 - 09/14/2018 at München/Neubiberg, Deutschland

Proceedings: GMM-Fb. 91: ANALOG 2018

Pages: 6Language: englishTyp: PDF

Personal VDE Members are entitled to a 10% discount on this title

Tarraf, Ahmad; Hedrich, Lars (Institute for Computer Science, Goethe Universität Frankfurt a. M., Germany)

Formal verification of analog transistor level circuits is still an open problem. In this paper we present a methodology which automatically abstracts a very accurate sampled analog circuit block using a reachability tool with SPICE-accuracy. The resulting hybrid automata (HA) models the – in most analog circuits desired – linear behavior, but also the technology dependent nonlinear and limiting behavior.We present several abstraction variants and evaluate the accuracy of the model using some simulations of the SPICE-netlist and the HA. Finally, we show that it can be used for formal verification on high level with reachability tools.