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]
Abstract is missing.