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[i]);

 }

 ⋯

}