Exploiting Dual-Rail Register Invariants for Equivalence Verification of NCL Circuits | IEEE Conference Publication | IEEE Xplore