Formal equivalence checking between SLM and RTL descriptions | IEEE Conference Publication | IEEE Xplore