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"
}