Functional verification of complete sequential behaviors: A formal treatment of discrepancies between system-level and RTL descriptions | IEEE Conference Publication | IEEE Xplore