The Community for Technology Leaders
Design, Automation & Test in Europe Conference & Exhibition (2004)
Paris, France
Feb. 16, 2004 to Feb. 20, 2004
ISSN: 1530-1591
ISBN: 0-7695-2085-5
pp: 10372
Ch. Grimm , University Frankfurt
W. Heupke , University Frankfurt
K. Waldschmidt , University Frankfurt
This paper describes a framework for the refinement of control and signal processing functions. The design starts with an executable speci.cation, and allowed deviations thereof. Refinement steps introduce models of analog or digital implementations, and augment the ?ideal? behavior with different sources of uncertainty. The framework verifies and analyzes the influence of these uncertainties on system properties using affine arithmetic.

C. Grimm, W. Heupke and K. Waldschmidt, "Refinement of Mixed-Signal Systems with Affine Arithmetic," Design, Automation & Test in Europe Conference & Exhibition(DATE), Paris, France, 2004, pp. 10372.
82 ms
(Ver 3.3 (11022016))