• DocumentCode
    128873
  • Title

    Semi-symbolic analysis of mixed-signal systems including discontinuities

  • Author

    Radojicic, Carna ; Grimm, Christoph ; Moreno, J. ; Xiao Pan

  • Author_Institution
    Kaiserslautern Univ. of Technol., Kaiserslautern, Germany
  • fYear
    2014
  • fDate
    24-28 March 2014
  • Firstpage
    1
  • Lastpage
    4
  • Abstract
    The paper describes an approach for semi-symbolic analysis of mixed-signal systems that contain discontinuous functions, e.g. due to modeling comparators. For modeling and semi-symbolic simulation, we use extended Affine Arithmetic. Affine Arithmetic is currently limited to accurate analysis of linear functions and mild non-linear functions, but not yet discontinuities. In this paper we extend the approach to also handle discontinuities. For demonstration, we symbolically analyze a ΣΔ-modulator.
  • Keywords
    affine transforms; comparators (circuits); mixed analogue-digital integrated circuits; sigma-delta modulation; ΣΔ-modulator; comparator modeling; discontinuous functions; extended affine arithmetic; mild nonlinear functions; mixed-signal systems; semisymbolic analysis; semisymbolic simulation; Analytical models; Capacitors; Computational modeling; Integrated circuit modeling; Modulation; Noise; Uncertainty;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Design, Automation and Test in Europe Conference and Exhibition (DATE), 2014
  • Conference_Location
    Dresden
  • Type

    conf

  • DOI
    10.7873/DATE.2014.029
  • Filename
    6800230