Research Article
High-Level Synthesis of In-Circuit Assertions for Verification, Debugging, and Timing Analysis
Table 7
DES hang-detection overhead.
| EP2S180 | Original | Assertion | Difference |
| Logic used | 21051 | 21739 | +688 | (out of 143520) | (14.67%) | (15.15%) | (+0.48%) |
| Comb. ALUT | 12986 | 13440 | +454 | (out of 143520) | (9.05%) | (9.36%) | (+0.32%) |
| Registers | 13884 | 14015 | +121 | (out of 143520) | (9.67%) | (9.77%) | (+0.09%) |
| Block RAM | 149184 | 149184 | 0 | (9383040 bits) | (1.59%) | (1.59%) | (0%) |
| Block interconnect | 38924 | 40241 | +1317 | (out of 536440) | (7.26%) | (7.50%) | (+0.25%) |
| Frequency (MHz) | 78.8 | 77.0 | −1.80 (−2.28%) |
|
|