Verifying Dividers Using Symbolic Computer Algebra and Don't Care Optimization | IEEE Conference Publication | IEEE Xplore