1st place in the ACM IT SPY Competition

Matyáš Jiří, Ing.

The master's thesis of Ing. Jiri Matyas named "Employing Approximate Equivalence Checking for the Design of Approximate Circuits" received first place in the student competition ACM IT SPY 2017.