TY  - RPRT
TI  - AxMED: Formal Analysis and Automated Design of Approximate Median Filters using BDDs
AU  - Vojtech Mrazek
AU  - Zdenek Vasicek
PY  - 2025
DO  - 10.1109/iscas56072.2025.11043775
UR  - https://arxiv.org/abs/2502.18174
ID  - 2502.18174
ER  -