A case study of Time-Multiplexed Assertion Checking for post-silicon debugging | IEEE Conference Publication | IEEE Xplore