Analysis of mixed-signal systems with affine arithmetic

Author

Grimm, C. ; Heupke, W. ; Waldschmidt, K.

Author_Institution

Inst. for Comput. Sci., J. W. Goethke Univ. of Frankfurt, Germany

Volume

24

Issue

1

fYear

2005

Firstpage

118

Lastpage

123

Abstract

This paper describes methods and a framework for the refinement and analysis of control and signal processing systems. The design starts with an executable specification and its allowed deviations. Refinement steps introduce models of analog or digital implementations, and augment the "ideal" behavior with different sources of uncertainty, such as noise or production tolerances. The framework verifies and analyzes the influence of these uncertainties on system properties using affine arithmetic.

Keywords

arithmetic; mixed analogue-digital integrated circuits; network analysis; signal processing; affine arithmetic; control system analysis; control system refinement; mixed-signal systems; property refinement; semisymbolic analysis; signal processing system analysis; signal processing system refinement; Arithmetic; Circuit simulation; Control systems; Digital signal processing; Mathematical model; Process control; Signal analysis; Signal processing; Telecommunication control; Uncertainty; Affine arithmetic; control systems; mixed-signal systems; property refinement; semisymbolic analysis; signal processing systems;

fLanguage

English

Journal_Title

Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on

Publisher

ieee

ISSN

0278-0070

Type

jour

DOI

10.1109/TCAD.2004.839469

Filename

1372667