Polynomial word-level verification of arithmetic circuits.

Mohammed Barhoush, Alireza Mahzoon, Rolf Drechsler

Browse the full MEMOCODE paper archive.