Arithmetic Approaches for Rigorous Design of Reliable Fixed-Point LTI Filters

DOI10.1109/TC.2019.2950658OpenAlexW2900657359MaRDI QIDQ5125889

Ch. Lauter, Thibault Hilaire, Anastasia Volkova

Publication date: 2 October 2020

Published in: IEEE Transactions on Computers (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1109/tc.2019.2950658

Mathematics Subject Classification ID

Computer science (68-XX)

Related Items (1)

An SMT theory of fixed-point arithmetic

This page was built for publication: Arithmetic Approaches for Rigorous Design of Reliable Fixed-Point LTI Filters