Applying Model-Checking to Post-Silicon-Verification: Bridging the Specification-Realisation Gap | IEEE Conference Publication | IEEE Xplore