On equivalence checking between behavioral and RTL descriptions | IEEE Conference Publication | IEEE Xplore