When Are Software Verification Results Valid for Approximate Hardware?

Tobias Isenberg, Marie-Christine Jakobs, Felix Pauck, Heike Wehrheim

Browse the full TAP paper archive.