Research Article
High-Level Synthesis of In-Circuit Assertions for Verification, Debugging, and Timing Analysis
Algorithm 3
Adding timing assertions in a loop to backprojection.
int32 constraint={1024,640,576,544,528,520,516,514, | 513,512}; | ⋯ | for(y=0;y<512;y++) |
{
| time1=clock(); | for(x=0;x<512;x++) | {//compute pixel | ⋯ | } | time2=clock(); | for (i=0; i<10; i++){ | assert(time2-time1< constraint[]); | } | ⋯ |
}
|
|