-
Towards more dependable verification of mixed-signal systems
F Schupfer, C Grimm - Dagstuhl Seminar Proceedings, 2010 - drops.dagstuhl.de
... In this approach, parameter variations and tolerances are maintained as symbolic ranges
during numerical simulation runs by using affine arithmetic. Maintaining parameter variations ...
Analog circuit simulation using range arithmetics
D Grabowski, M Olbrich, E Barke - 2008 Asia and South Pacific ..., 2008 - ieeexplore.ieee.org
... In this chapter, we present an extension of the affine arithmetic which we call quadratic
arithmetic (QA) [10]. Quadratic affine forms (QF) will be denoted by () in this paper. A QF consists ...