Refinement of Mixed-Signal Systems with Affine Arithmetic

Authors:
Ch. Grimm;W. Heupke;K. Waldschmidt
Affiliations:
-;-;-
Venue:
Proceedings of the conference on Design, automation and test in Europe - Volume 1
Year:
2004

Citing 5
Cited 4

HYTECH: The Cornell HYbrid TECHnology Tool

Hybrid Systems II
Analog circuit sizing based on formal methods using affine arithmetic

Proceedings of the 2002 IEEE/ACM international conference on Computer-aided design
Toward efficient static analysis of finite-precision effects in DSP applications via affine arithmetic modeling

Proceedings of the 40th annual Design Automation Conference
Modeling and refinement of mixed-signal systems with systemC

SystemC
SystemC-AMS Requirements, Design Objectives and Rationale

DATE '03 Proceedings of the conference on Design, Automation and Test in Europe - Volume 1

Analog circuit simulation using range arithmetics

Proceedings of the 2008 Asia and South Pacific Design Automation Conference
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
Trustworthy numerical computation in Scala

Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications
Verification of mixed-signal systems with affine arithmetic assertions

VLSI Design

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.