1.sequence基本操作符号
1. ##n表示在n个时钟周期后,##0 表示在当前周期,即交叠周期
sequence a_b
@( posedge clk) a ##1 b
endsequence
2. ##[ min: max] 表示在一个范围内的时钟周期延迟。min、max必须是非负数,序列会在从min到max时间窗口中最早的时间来匹配
sequence a_b
@( posedge clk) a ## [ 1 : 5 ] b
endsequence
3. $用来表示无穷大的周期( 在仿真结束前) ,但是一般不建议这么做,因为它会增大仿真评估序列的负担
sequence a_b
@( posedge clk) a ## [ 1 : $] b
endsequence
4. [ * n] 操作符号来表示重复。n必须为非负数,其不能为$
sequence
@( posedge clk) a ## 1 b[ * 2 ] ;
endsequence
5. [ * m: n] 来表示一定范围内的重复事件
sequence a_b
@( posedge clk) a ## 1 b[ * 2 : 5 ]
endsequence
6. [ = m] 用来表示一个事件的连续性,需要重复发生m次,但是并不需要在连续的周期内发生
sequence a_b
@( posedge clk) a ## 1 b [ = 3 ] ;
endsequence
7. [ = m: n] 表示从最小m到最大n的重复发生的非连续周期次数
8. a[ * 0 ] 表示没有在任何正数时钟周期内有效
符号 含义 and 用来表示两个序列需要保持匹配;SEQ1 and SEQ2
下列情形将满足此操作:
在从同一个起始点开始后,seq1和seq2均满足 满足的时刻发生在两个序列都满足的周期,即稍晚序列的满足时刻 两个序列的满足时间可以不同
( te1 ##2 te2) and ( te3 ##2 te4 ##2 te5)
如果操作符两边的序列都是用来衡量采样信号而非事件时序,那么则要求在相同周期内,and左右两边的序列都应该满足条件
符号 含义 intersect 与and操作符类似,只是需要两边的序列时序在同一时钟周期内匹配;SEQ1 intersect SEQ2
( te1 ## [ 1 : 5 ] te2) intersect ( te3 ##2 te4 ##2 te5)
符号 含义 OR 用来表示两个序列至少需要有一个满足;SEQ1 or SEQ2
下列情形将满足此操作符:
seq1和seq2都是从同一时刻被触发 最终满足seq1或者满足seq2 每一个序列的结束时间可以不同,结束时间以序列满足的最后一个序列时间为准
( te1 ##2 te2) or ( te3 ##2 te4 ##2 te5)
property BurstLengthValid
@( posedge clk) disable iff ( ! rst)
( ( burstLen== 4 ) | ->
( wrlen== 1 ) OR ( wrlen== 2 ) or ( wrlen== 4 ) ) ;
endproperty
assert property ( BurstLengthValid)
符号 含义 first_match 用来从多次满足的序列中选择第一次满足时刻;first_match SEQ1
sequence t1;
te1 ## [ 2 : 5 ] te2;
endsequence
sequence ts1;
first_match ( te1 ## [ 2 : 5 ] te2) ;
endsequence
符号 含义 throughout 用来检查一个信号或者一个表达式在贯穿一个序列时是否满足要求;Sig throughout SEQ1
sequence burst_rule1;
@( posedge mclk)
$fell ( burst_mode) ##0
( ! burst_mode) throughout ( ##2 ( ( trdy== 0 ) && ( irdy) ) [ * 7 ] ) ;
endsequence
符号 含义 within 当seq1满足在seq2的一部分连续时钟周期内成立;SEQ1 within SEQ2
! trdy[ * 7 ] within ( ( $fell irdy) ##1 ! irdy[ * 8 ] )
可以在sequence中使用if...else
property master_child_regs;
@( posedge clk) master_req ##1 ( req1 || req2)
if ( req1)
( ##1 ack1)
else
( ##1 ack2) ;
endproperty
property cache_hit_check
@( posedge clk) ( state== CACHE_LOOKUP) ##1 ( CHit || CMiss) | ->
if ( CHit)
##1 ( state== CACHE_READ) ;
else
##1 ( state== REQ_OUT) ;
endproperty
assertion property ( cache_hit_check) else $error;
符号 含义 SEQ.ended 在某一时刻,序列如果及时抵达终点
sequence e1;
@( posedge sysclk) $rose ( ready) ##1 process ##1 proc2;
endsequence
sequence rule;
@( posedge sysclk) reset ##1 inst ##1 e1. ended ##1 branch_back;
endsequence
sequence aRbseq ( aFell, bRose) ;
@( posedge clk) $fell ( aFell) ##1
$rose ( bRose) ;
endsequence
property endCycle;
@( posedge clk) $rose ( c) |= >
aRbseq ( a, b) . ended
endproperty
2.操作符
如果条件满足,则评估其后续算子序列 如果条件不满足,则表现为空成功,不执行后续算子
property p_req_ack;
@( posedge clk) mem_en | -> ( req ##2 ack) ;
endproperty: p_req_ack
如果条件满足,则在下一个周期评估其后续算子序列 如果条件不满足,则表现为空成功,不执行后续算子
3.局部变量
局部变量可以在sequence或者property中使用 这些变量会伴随着sequence、property动态创建 每一个sequence实例都会有它自己的变量拷贝
sequence rd_cache_done;
##[ 1 : 5 ] rdDone;
endsequence;
sequence check_reg_wr_data;
int local_data;
( rd_cache_done, local_data= cache_rd_data) ##2 ( reg_wr_data == ( local_data+ 1 ) ) ;
endsequence
4.调用方法
在序列匹配时,可以调用task,void function和系统函数 $past
的功能:$rose $fell
有个限制是只捕捉信号的最低比特, 如果捕捉的是个bus
,就会跟预期不一致。如果是对bus
进行操作最好用 $past
. 需要注意$past是对之前的数值进行采样,但是如果在仿真一开始就执行 $past,没有足够的past,它会去看这个变量在声明时候的初始值,如果没有初始值,就会fail
。
sequence s1
logic v, w;
( a, v = e) ## 1
( b[ -> 1 ] , w = f, $display ( "b after a with v = %h, w = %h\n" , v, w) ) ;
endsequence
函数 含义 $rose() 用来与上一个采样周期相比,变量最低位是否跳变为1 $fell() 用来与上一个采样周期相比,变量最低位是否跳变为0 $stable() 用来表示在连续两个采样周期内,表达式的值保持不变 $pase() 用来访问在过去若干采样周期前的数值 $countbits(expression, control_bit) 计算expression中匹配control_bit数值的位数 $countones(expression) 计算expression中为1的位数 $onehot(expression) 检查expression中是否有且只有1位为1 $isunknown(expression) 检查expression中是否有x或者z $asserton 默认控制,用来打开所有的assertion $asseroff 暂时停止assertion运行 $assertkill 终止所有执行的assertion