Modeling Circuits with Parameter Variation by ELSA: Eigenvalue Based Linear Hybrid System Abstraction

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.