Debug methodology for arithmetic circuits on FPGAs | IEEE Conference Publication | IEEE Xplore