Title :
Refinement of mixed-signals systems with affine arithmetic
Author :
Grimm, Ch. ; Heupke, W. ; Waldschmidt, K.
Author_Institution :
Professur Technische Informatik, Frankfurt Univ., Germany
Abstract :
This paper describes a framework for the refinement of control and signal processing functions. The design starts with an executable specification, 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.
Keywords :
digital arithmetic; integrated circuit design; integrated circuit modelling; mixed analogue-digital integrated circuits; affine arithmetic; analog implementations; control functions; digital implementations; mixed-signals systems; signal processing functions; system properties; Algorithm design and analysis; Arithmetic; Circuit simulation; Digital signal processing; Mathematical model; Process control; Quantization; Signal analysis; Signal processing; Uncertainty;
Conference_Titel :
Design, Automation and Test in Europe Conference and Exhibition, 2004. Proceedings
Print_ISBN :
0-7695-2085-5
DOI :
10.1109/DATE.2004.1268875
