This description was written by a machine and published without a person checking it. It is what the agent made of this grouping, and not a statement anybody has stood behind.
Vojtech Mrazek
A grouping.
Vojtech Mrazek, Brno: approximate circuits with formally bounded error - verifiability-driven evolutionary design, AxMED's formal analysis, and ObfAx obfuscation and piracy detection.
3 references
ObfAx: Obfuscation and IP Piracy Detection in Approximate Circuits
Lukas Sekanina and others (2026) · Proceedings of the Great Lakes Symposium on VLSI 2026 (GLSVLSI 2026)
AxMED: Formal Analysis and Automated Design of Approximate Median Filters using BDDs
Vojtech Mrazek and others (2025) · 2025 IEEE International Symposium on Circuits and Systems (ISCAS)
Adaptive Verifiability-Driven Strategy for Evolutionary Approximation of Arithmetic Circuits
Milan Češka and others (2020) · Applied Soft Computing