Modeling Circuits with Parameter Variation by ELSA: Eigenvalue Based Linear Hybrid System Abstraction
Konferenz: ANALOG 2020 - 17. ITG/GMM-Fachtagung
28.09.2020 - 30.09.2020 in online
Tagungsband: ITG-Fb. 293 Analog 2020
Seiten: 6Sprache: EnglischTyp: PDF
Tarraf, Ahmad; Hedrich, Lars (Institute for Computer Science, Goethe University Frankfurt, Germany)
Setting up a strong verification of analog circuits is a problem many designers still face today. Formal verification could help to harden the validation process. One way to make formal verification applicable on large analog netlists is behavioral abstraction. However, finding an accurate behavioral model is not easy. Even if a good abstraction model was found, due to the presence of process parameter variation, the designed circuit might still exhibit a different behavior. In this paper we propose to extend an existing automatic abstraction process that abstracts spice netlists at transistor level with BSIM accuracy. The proposed approach integrates the process parameter variations into the abstracted models, capturing thereby the behavior of the real manufactured system.