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]

Authors

Mohamed Nadeem

This author has not been identified. Look up 'Mohamed Nadeem' in Google

Chandan Kumar Jha 0001

This author has not been identified. Look up 'Chandan Kumar Jha 0001' in Google

Rolf Drechsler

This author has not been identified. Look up 'Rolf Drechsler' in Google