Verifying Large Multipliers by Combining SAT and Computer Algebra | IEEE Conference Publication | IEEE Xplore