A Cross-level Verification Methodology for Digital IPs Augmented with Embedded Timing Monitors