Low Overhead Time-Multiplexed Online Checking: A Case Study of An H.264 Decoder