Toward efficient static analysis of finite-precision effects in DSP applications via affine arithmetic modeling - Fang C.F. (2018)
Proceedings - Design Automation Conference