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]
No references recorded for this publication.
No citations of this publication recorded.