High-Level Synthesis of In-Circuit Assertions for Verification, Debugging, and Timing Analysis

Figure 6

Manually using ANSI-C assertions for hang detection.

(a) Timing Assertion

(b) Assertions set to fail