Mohamed Nadeem, Chandan Kumar Jha 0001, Rolf Drechsler. Polynomial Formal Verification of Approximate Adders with Constant Cutwidth. In IEEE European Test Symposium, ETS 2024, The Hague, Netherlands, May 20-24, 2024. pages 1-6, IEEE, 2024. [doi]
Abstract is missing.