Title :
A structured DC analysis methodology for accurate verification of analog circuits
Author :
Javid, Farakh ; Iskander, Ramy ; Louerat, Marie-Minerve ; Durbin, Francois
Author_Institution :
LIP6 Lab., Univ. Pierre & Marie Curie, Paris, France
Abstract :
This paper presents a structured DC analysis methodology for analog circuit verification. The electrical simulator, usually executed to perform verification, is here replaced by a nonlinear DC solver based on the analysis bipartite graph. The analysis bipartite graph, associated to a circuit, is a formal representation of the circuit DC behavior. Thus, the analysis bipartite graph evaluation provides transistors currents and internal nodes voltages to meet the Kirchhoff´s laws in the circuit. Currents and voltages are computed by dedicated operators using the fixed point iteration algorithm. Computed results accuracy is guaranteed by the standard transistor models used within the operators. The proposed verification methodology is efficiently applied on a folded cascode amplifier with several technologies.
Keywords :
amplifiers; analogue circuits; formal verification; analog circuits; bipartite graph; folded cascode amplifier; formal representation; structured DC analysis methodology; transistor models; verification; Algorithm design and analysis; Analog circuits; Analytical models; Bipartite graph; Equations; Mathematical model; Transistors; Analog sizing; analog simulation; bipartite graphs; fixed point iteration;
Conference_Titel :
Circuits and Systems (ISCAS), 2013 IEEE International Symposium on
Conference_Location :
Beijing
Print_ISBN :
978-1-4673-5760-9
DOI :
10.1109/ISCAS.2013.6572426