lbt_dvshare的博客

property goto_repetition_p; @(posedge clk) $rose(a) |-> b[->3] ##1 c;endproperty跟随重复操作符（->）指定表达式匹配指定的次数，而不必匹配连续的时钟周期。 表达式的最后一个匹配项应在整个序列匹配结束之前的时钟周期内发生。 对于上面的例子，信号b的最后一次重复必须跟随序列b...

创建计数器 property check_counter; int L_cnt; @（posedge clk） ( ($rose(start)，L_cnt = 0)##1 (1,L_cnt = L_cnt+1)[*0:$] ##1 (L_cnt == 30) |-> (irq ==1) );endproperty 可变的时钟延迟...

在regression结束后发现自己加的cover property打到了，此时想知道哪支case打到了，该怎么办呢？法一： parsing regression log file , 其中C_tx_ln_num_4_to_2为cover property的例化名字find . -name "*.log" | xargs grep "C_tx_ln_num_4_to_2" | s...

module dut_assert #(parameter NUM) (....);... property prop1(signal1,signal2) @(posedge clk) bb_seq |-> signal1 == signal2; endproperty...generate for(genvar ii=...