Skip to main content Skip to main navigation

Publikation

Polynomial Formal Verification of Approximate Adders

Martha Schnieber; Saman Fröhlich; Rolf Drechsler
In: Euromicro Conference on Digital System Design (DSD). Euromicro Conference on Digital System Design (DSD), August 31 - September 2, Gran Canaria, Spain, 2022.