Saman Fröhlich, Daniel Große, Rolf Drechsler. Approximate Hardware Generation Using Formal Techniques. In Sherief Reda, Muhammad Shafique 0001, editors, Approximate Circuits, Methodologies and CAD. pages 155-174, Springer, 2019. [doi]
No references recorded for this publication.
No citations of this publication recorded.