Bitwidth customization in image processing pipelines using interval analysis and SMT solvers.

Suresh Purini, Vinamra Benara, Ziaul Choudhury, Uday Bondhugula

Browse the full CC paper archive.