Noise-based algorithms for functional equivalence and tautology checking | IEEE Conference Publication | IEEE Xplore