Equivalence checking between SLM and RTL using machine learning techniques | IEEE Conference Publication | IEEE Xplore