AxMED: Formal Analysis and Automated Design of Approximate Median Filters using BDDs | IEEE Conference Publication | IEEE Xplore