Equivalence verification for NULL Convention Logic (NCL) circuits | IEEE Conference Publication | IEEE Xplore