Polynomial Formal Verification of Approximate Functions

Martha Schnieber, Saman Fröhlich, Rolf Drechsler. Polynomial Formal Verification of Approximate Functions. In IEEE Computer Society Annual Symposium on VLSI, ISVLSI 2022, Nicosia, Cyprus, July 4-6, 2022. pages 92-97, IEEE, 2022. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: