Design, Automation & Test in Europe Conference & Exhibition (2004)
Feb. 16, 2004 to Feb. 20, 2004
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.