Analysis of mixed-signal systems with affine arithmetic

Authors:
C. Grimm;W. Heupke;K. Waldschmidt
Affiliations:
Inst. for Comput. Sci., J. W. Goethke Univ. of Frankfurt, Germany;-;-
Venue:
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Year:
2006

Citing 0
Cited 3

OWL: word-length optimization via extreme value theory and affine arithmetic/interval arithmetic model

CSS '07 Proceedings of the Fifth IASTED International Conference on Circuits, Signals and Systems
A framework for the design of mixed-signal systems with polymorphic signals

ICS'06 Proceedings of the 10th WSEAS international conference on Systems
Verification of mixed-signal systems with affine arithmetic assertions

VLSI Design

Quantified Score

Hi-index	0.03

Visualization

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.