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

  _____     _____     _____    _    _     ______  
 /  ___||  |  ___||  /  ___|| | || | ||  /_   _// 
| // __    | ||__   | // __   | || | ||    | ||   
| \\_\ ||  | ||__   | \\_\ || | \\_/ ||   _| ||   
 \____//   |_____||  \____//   \____//   /__//    
  `---`    `-----`    `---`     `---`    `--`