Using guiding heuristics to improve the dynamic checking of temporal properties in data dominated high-level designs | IEEE Conference Publication | IEEE Xplore