Is state mapping essential for equivalence checking custom memories in scan-based designs? | IEEE Conference Publication | IEEE Xplore