AxMED: Formal Analysis and Automated Design of Approximate Median Filters using BDDs.

Vojtech Mrazek, Zdenek Vascek

Browse the full ISCAS paper archive.