Oliver Wienand, Markus Wedler, Dominik Stoffel, Wolfgang Kunz, Gert-Martin Greuel. An Algebraic Approach for Proving Data Correctness in Arithmetic Data Paths. In Aarti Gupta, Sharad Malik, editors, Computer Aided Verification, 20th International Conference, CAV 2008, Princeton, NJ, USA, July 7-14, 2008, Proceedings. Volume 5123 of Lecture Notes in Computer Science, pages 473-486, Springer, 2008. [doi]
Abstract is missing.