Divide and Verify: Using a Divide-and-Conquer Strategy for Polynomial Formal Verification of Complex Circuits | IEEE Conference Publication | IEEE Xplore