Publikation
Polynomial Formal Verification of Approximate Adders with Constant Cutwidth
Mohamed Nadeem; Chandan Jha; Rolf Drechsler
In: 29th IEEE European Test Symposium 2024. IEEE European Test Symposium (ETS-2024), May 20-24, The Hague, Netherlands, 2024.