Automatic Modeling of Transistor Level Circuits by Hybrid Systems with Parameter Variable Matrices

Model abstraction of transistor-level circuits, while preserving an accurate behavior, is still an open problem. In this paper an approach is presented that automatically generates a hybrid automaton (HA) with linear states. The resulting HA is used for reachability analysis. Each of the locations of the HA is modeled with a system matrix described as a matrix zonotope or interval matrix. This leads to an acceptable over approximation, but guarantees that the system behavior is covered. The approach starts with a netlist at transistor level with full SPICE accuracy and ends at the system level description of the circuit. To illustrate our methodology, an example of a circuit containing complex poles and strong nonlinear limiting behavior is analyzed.