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