Solver technology for system-level to RTL equivalence checking | IEEE Conference Publication | IEEE Xplore