Simulation-based Equivalence Checking between IEEE 1687 ICL and RTL | IEEE Conference Publication | IEEE Xplore