@inproceedings{rad-sch-rat-gri-12-aa-assert,
  author = {Radoji{\v{c}}i{\'c}, {\v{C}}arna and Schupfer, Florian and Rathmair, Michael and Grimm, Christoph},
  title = {Assertion-Based Verification of Signal Processing Systems with Affine Arithmetic}, 
  booktitle = {Proceeding of the 2012 Forum on Specification and Design Languages}, 
  year = 2012,
  volume = {},
  number = {},
  location = {Vienna, Austria},
  pages = {20-26},
  keywords = {},
  issn = {1636-9874},
  month = sep,
  comment = {Validating signal processing circuits with AA assertions},
  abstract = {This paper describes a novel method to verify typical properties of systems with parameter deviations. These parameter deviations have an impact on a system behavior causing it to deviate from its ideal behavior. The concept of Affine Arithmetic is used to model typical errors and uncertainties in today's analog-mixed signal systems. The method which is proposed is a combination of assertions and Affine Arithmetic where Affine Arithmetic is also used to model typical properties of signal processing specifications. The target of the proposed method is to speed up the detection of errors in system behavior, which cause the violation of system properties. The applicability of the proposed method is demonstrated through two small examples.}
}