Publication Details

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

MRÁZEK, V.; VAŠÍČEK, Z. AxMED: Formal Analysis and Automated Design of Approximate Median Filters using BDDs. 2025 IEEE International Symposium on Circuits and Systems (ISCAS). London: 2025. p. 0-0.
Type
conference paper
Language
English
Authors
Published
2025 (in print)
Pages
5
Proceedings
2025 IEEE International Symposium on Circuits and Systems (ISCAS)
Conference
2025 IEEE International Symposium on Circuits and Systems, London, GB
Place
London
BibTeX
@inproceedings{BUT194216,
  author="Vojtěch {Mrázek} and Zdeněk {Vašíček}",
  title="AxMED: Formal Analysis and Automated Design of Approximate Median Filters using BDDs",
  booktitle="2025 IEEE International Symposium on Circuits and Systems (ISCAS)",
  year="2025",
  pages="5",
  address="London"
}
Back to top