Assert断言的应用
一、Assert断言的说明
1.assert断言宏在hls高层次综合中是可以被综合的
2.assert断言宏主要用于对变量和循环边界进行范围限定
3.当存在变量循环边界的时候，vivado hls工具是无法判断这个循环的所有迭代的时延latency的，
所以综合的时候报告显示一般为?号，使用tripcount行程指令可以将循环边界告知hls工具，但是
这个只是用于信息报告的目的，并不影响综合结果，即使你使用了tripcount指令，综合工具还是以
这个循环变量的数据类型的最大值来进行硬件资源分配的
#include "loop_sequential_assert.h"
void loop_sequential_assert(din_t A[N], din_t B[N], dout_t X[N], dout_t
Y[N], dsel_t
xlimit, dsel_t ylimit) {
dout_t X_accum=0;
dout_t Y_accum=0;
int i,j;
assert(xlimit<32);
SUM_X:for (i=0;i<=xlimit; i++) {
X_accum += A[i];
X[i] = X_accum;
}
assert(ylimit<16);
SUM_Y:for (i=0;i<=ylimit; i++) {
Y_accum += B[i];
Y[i] = Y_accum;
}
}
二、assert的应用还可以用来确定II？
C-RTL联合仿真中，经常可以看到latency的clock周期数，但是看不到II的周期数，
这个主要是到处使用循环边界变量的缘故，如果你使用assert限制，是不是就可以看到整
rtl的模块的II到底是多少呢？
其实确定不了！！！！
只有你全部设计是pipeline流水线化设计，才有确定的II，否则你仿真II就是全部是NA