Polynomial Formal Verification of Approximate Adders with Constant Cutwidth

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

Abstract is missing.