Formal Verification Using Don't-Care and Vanishing Polynomials | IEEE Conference Publication | IEEE Xplore