Automated Debugging of Arithmetic Circuits Using Incremental Gröbner Basis Reduction | IEEE Conference Publication | IEEE Xplore