Formal Verification of C-element Circuits | IEEE Conference Publication | IEEE Xplore