SystemVerilog Assertions应用指南 Chapter1.30 使用“ intersect”控制序列的长度

在123节讨论的" intersec"运算符可以有效地控制序列的长度,尤其是在时序窗口未定义上界的情况。每当使用可能性( eventuality)运算符时,检验器成功所需的时钟周期数没有限制。运算符 intersect提供了一个定义可能性运算符可以使用的最小和最大时钟周期数的机制。

属性p35定义了一个序列来检验在给定时钟边沿,如果信号a"为高,那么从下一个时钟周期开始信号"b"最终将为高接着在下一个时钟周期开始信号"c"最终也会为高。这个序列每当信号"a"为高时就开始,并且可能一直到整个模拟结束时才成功。这可以使用带1[*2:5]的 intersect运算符来加以约東。这个intersect的定义检查从序列的有效开始点(信号"a"为高),到序列成功的结柬点(信号"c"为高),一共经过2~5个时钟周期。

复制代码
property p35;
	@(posedge clk)  1[*2:5] intersect
		(a ##[1:$] b ##[1:$] c) );
endproperty

a35: assert property(p35);

图1-37显示了属性p35在模拟中的响应。表1-17总结了断言a35的状态和相关信号的采样值。在一个给定的时钟边沿,如果信号"a"未被检测为高,那么这是一个失败。这种情况发生在时钟周期1,3,4,5,11和13,这些时刻没有有效开始。

检验在时钟周期2,7,8,9,10,12和14成功。可以看到序列从开始到结束至多花了5个时钟周期。检验在时钟周期6有个真正的失败。在时钟周期6检测到信号"a"为高,而且在时钟周期9信号"b"为高。但是在整个检查达到允许的最大长度,即时钟周期10,信号"c"依然未能为高,因此检验在时钟周期10失败。可以看到信号"c"在时钟周期11为高,但是这已经太晚了。

相关推荐
weixin_450907282 小时前
第八章 FPGA 片内 FIFO 读写测试实验
fpga开发
cycf7 小时前
以太网接口(一)
fpga开发
nnerddboy1 天前
FPGA自学笔记(正点原子ZYNQ7020):1.Vivado软件安装与点灯
笔记·fpga开发
li星野2 天前
打工人日报#20251005
笔记·程序人生·fpga开发·学习方法
通信小呆呆2 天前
FPGA 上的 OFDM 同步:从 S&C 到残差 CFO 的工程化实现
fpga开发·信号处理·同步·ofdm
hahaha60162 天前
高层次综合基础-vivado hls第三章
算法·fpga开发
XINVRY-FPGA5 天前
XCVU9P-2FLGA2104E Xilinx AMD Virtex UltraScale+ FPGA
人工智能·嵌入式硬件·fpga开发·硬件工程·dsp开发·射频工程·fpga
范纹杉想快点毕业5 天前
ZYNQ7045芯片中UART实现RS422通信详解,50000字解析,C语言,嵌入式开发,软件开发
c语言·笔记·stm32·单片机·嵌入式硬件·mcu·fpga开发
千宇宙航7 天前
闲庭信步使用图像验证平台加速FPGA的开发:第三十课——车牌识别的FPGA实现(2)实现车牌定位
图像处理·计算机视觉·fpga开发·车牌识别
灵风_Brend7 天前
最大最小延时约束
fpga开发