• 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