Formal Verification of Parametric Multiplicative Division Implementations

Nikhil Kikkeri, Peter-Michael Seidel. Formal Verification of Parametric Multiplicative Division Implementations. In 23rd International Conference on Computer Design (ICCD 2005), 2-5 October 2005, San Jose, CA, USA. pages 599-602, IEEE Computer Society, 2005. [doi]

Abstract

Abstract is missing.