Efficient decision procedure for non-linear arithmetic constraints using CORDIC | IEEE Conference Publication | IEEE Xplore