Toward efficient static analysis of finite-precision effects in DSP applications via affine arithmetic modeling

• Main Authors: Fang C.F., Rutenbar R.A., P�schel M., Chen T.
• 其他作者: DEPARTMENT OF COMPUTER SCIENCE
• 格式: Conference or Workshop Item
• 出版: 2018
• 主題: Affine arithmetic; Custom floating-point; Embedded hardware; Probabilistic error bound; Static error analysis
• 在線閱讀: http://scholarbank.nus.edu.sg/handle/10635/146343

Proceedings - Design Automation Conference