DocumentCode
403514
Title
Refinement of mixed-signals systems with affine arithmetic
Author
Grimm, Ch. ; Heupke, W. ; Waldschmidt, K.
Author_Institution
Professur Technische Informatik, Frankfurt Univ., Germany
Volume
1
fYear
2004
fDate
16-20 Feb. 2004
Firstpage
372
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Design, Automation and Test in Europe Conference and Exhibition, 2004. Proceedings
ISSN
1530-1591
Print_ISBN
0-7695-2085-5
Type
conf
DOI
10.1109/DATE.2004.1268875
Filename
1268875
Link To Document