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
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;
Conference_Titel :
Design, Automation and Test in Europe Conference and Exhibition (DATE), 2014
Conference_Location :
Dresden
DOI :
10.7873/DATE.2014.029
