An Algebraic Approach for Proving Data Correctness in Arithmetic Data Paths.

Oliver Wienand, Markus Wedler, Dominik Stoffel, Wolfgang Kunz, Gert-Martin Greuel

Browse the full CAV paper archive.