-
Accuracy-guaranteed bit-width optimization
... In this paper, we adopt a static-analysis technique based on affine arithmetic (AA) [13]
and analytical error models to optimize both ranges and precisions for the signals in a fixedpoint ...
Integer word-length optimization for fixed-point systems
R Nehmeh,
D Menard, A Banciu... - ... , Speech and Signal ..., 2014 - ieeexplore.ieee.org
... First, the data dynamic range is evaluated with interval arithmetic or affine arithmetic
guaranteeing no overflow occurrence. This step gives a maximum value wIA for each IWL. Second, ...
AADD-Based Symbolic Simulation of SystemC AMS
C Zivkovic, C Grimm - Languages, Design Methods, and Tools for ..., 2020 - Springer
... This property is analog to the fundamental invariant of affine arithmetic. ... As consequence
of the fundamental invariant of affine arithmetic, it holds that there is a single assignment of ...
Function interval arithmetic
J Duracz, A Farjudian, M Konečný, W Taha - International Congress on ..., 2014 - Springer
We propose an arithmetic of function intervals as a basis for convenient rigorous numerical
computation. Function intervals can be used as mathematical objects in their own right or as ...
SysMD: Towards “Inclusive” Systems Engineering
Š Dalecke, KA Rafique, A Ratzke... - 2022 IEEE 5th ..., 2022 - ieeexplore.ieee.org
... The underlying constraint net is a tree network based Affine Arithmetic Decision Diagrams
(... The use of Affine Arithmetic Decision Diagrams on all levels of the tree network also allows ...