Embedded tutorial: formal equivalence checking between system-level models and RTL | IEEE Conference Publication | IEEE Xplore