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

Claire Fang Fang, Rob A. Rutenbar, Markus Pschel, Tsuhan Chen

Browse the full DAC paper archive.