Polynomial Formal Verification of Approximate Adders with Constant Cutwidth.

Mohamed A. Nadeem, Chandan Kumar Jha, Rolf Drechsler

Browse the full ETS paper archive.