Publication Details

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

MRÁZEK Vojtěch and VAŠÍČEK Zdeněk. AxMED: Formal Analysis and Automated Design of Approximate Median Filters using BDDs. In: 2025 IEEE International Symposium on Circuits and Systems (ISCAS). London, 2025, p. 5.

Type

conference paper

Language

english

Authors

Mrázek Vojtěch, Ing., Ph.D. (DCSY FIT BUT)
Vašíček Zdeněk, doc. Ing., Ph.D. (DCSY FIT BUT)

Published

2025 (in print)

Pages

Proceedings

2025 IEEE International Symposium on Circuits and Systems (ISCAS)

Conference

2025 IEEE International Symposium on Circuits and Systems, London, GB

Place

London, GB

BibTeX

@INPROCEEDINGS{FITPUB13350,
   author = "Vojt\v{e}ch Mr\'{a}zek and Zden\v{e}k Va\v{s}\'{i}\v{c}ek",
   title = "AxMED: Formal Analysis and Automated Design of Approximate Median Filters using BDDs",
   pages = 5,
   booktitle = "2025 IEEE International Symposium on Circuits and Systems (ISCAS)",
   year = 2025,
   location = "London, GB",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/13350"
}