DocumentCode :
627077
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
fYear :
2013
fDate :
19-23 May 2013
Firstpage :
2662
Lastpage :
2665
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;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Circuits and Systems (ISCAS), 2013 IEEE International Symposium on
Conference_Location :
Beijing
ISSN :
0271-4302
Print_ISBN :
978-1-4673-5760-9
Type :
conf
DOI :
10.1109/ISCAS.2013.6572426
Filename :
6572426
Link To Document :
بازگشت