验证经验

1、验证环境中对信号进行打拍的时候要对加延时,避免在环境中取信号值的时候出现竞争冒险。环境中用@（posedge clk）;后面也要添加#0.01；

always@(posedge clk)begin
　　a_ff1 <= #0.01 a;
end

@（posedge clk）;
#0.01;

 2、gap时钟下关注动态配置，特别是one_pulse类型的配置，比如load信号，如果MPI不是在gap时钟域，产生是one_pulse信号有可能不能在gap时钟被采样到，需要现在常时钟域进行展宽或者不使用one_pulse类型的寄存器。

3、动态存数或者动态启动某项功能的时候，考虑动态启动信号，trig与head什么的特殊信号同时或者接近的时候到来的情况。

4、DFT信号没法验证，可以追连线。

5、系数要覆盖最大最小的值，（cover到饱和截位）。

6、对于等某个信号（==1或==0）时对另一个信号进行操作时，不要使用wait(a==1'b1)，而是使用while

while(1)begin
    @(posedge clk);
    #0.01;
    if(a==1'b1)begin
         break;       
    end
end

// wailt(a == 1'b1）；

 7、由于MPI是在常开时钟域做数据的读写，one_pulse类型的寄存器只能用在常开时钟的逻辑上，如果有gap的话，可能one_pulse寄存器下发的脉冲碰到gap导致下发失败。

8、宏的使用的问题。

定义了一个freq_chk的宏，通过传递周期来计算频率，sys_544_div2是clk_sys_544_rocc的2分频，所以周期写成csc.clk_period*2，但是这样写在宏展开后，结果却是错的，在计算频率的公式 中（1/clk_freq）*1e3，将clk_freq展开成csc.clk_period*2就成了（1/clk_freq*2）*1e3而我们的期望的是（1/(clk_freq*2)）*1e3，所以得到的频率不是一半反而是一倍。

9、尽量少在TH中使用后面读取RTL的数据，多了后仿就惨了。

　　非HLB的端口信号都有可能取反，只有寄存器Q端的值是跟RTL匹配的，所以HLB内部的后门访问需要连接到寄存器的Q端。

　　时钟和复位没有寄存器，抽取的过程中可能相位不对，需要反复迭代，找到正确的信号？

转载于:https://www.cnblogs.com/yuandonghua/p/10252361.html