Nikhil Kikkeri, Peter-Michael Seidel. Optimized Arithmetic Hardware Design based on Hierarchical Formal Verification. In 13th IEEE International Conference on Electronics, Circuits, and Systems, ICECS 2006, Nice, France, December 10-13, 2006. pages 541-544, IEEE, 2006. [doi]
Abstract is missing.