SystemVerilog Assertions应用指南 第一章(1.28章节 内建的系统函数)

SVA提供了几个内建的函数来检查一些最常用的设计条件。

onehot(expression)---检验表达式满足"one-hot",换句话说,就是在任意给定的时钟沿,表达式只有一位为高。 onehot0( expression)---检验表达式满足" zero one-hot",换句话说,就是在任意给定的时钟沿,表达式只有一位为高或者没有任何位为高。
isunknown( expression)---检验表达式的任何位是否是Ⅹ或者Z。 countones( expression)---计算向量中为高的位的数量。
断言语句a33a检验向量" state"是"one-hot"。断言语句a33b检验向量" state"是" zero one-hot",断言语句a33c检验向量"bus"是否有任何位为X或Z。断言语句a33d检验向量"bus"中等于1的位的个数大于1。

复制代码
module routines;

logic clk;

logic [3:0] state;
logic [4:0] bus;
integer i;

initial $vcdpluson();

initial
begin
clk = 1'b0; state = 4'd0; 
@(posedge clk);

for(i=0; i<3; i++)
begin
	state = i*2;
	bus = $random();
	@(posedge clk);
end

for(i=0; i<3; i++)
begin
	state = $random() % 16;
	bus = 8'dz;
	@(posedge clk);
end

bus = 4'd10;
repeat(2) @(posedge clk);

$finish();
end

// builtin system functions

a33a: assert property(@(posedge clk) $onehot(state));
a33b: assert property(@(posedge clk) $onehot0(state));
a33c: assert property(@(posedge clk) $isunknown(bus));
a33d: assert property(@(posedge clk) $countones(bus) > 1);


initial forever clk = #25 ~ clk;

endmodule

图1-35显示了上述断言在模拟中的响应。表1-16总结了每个断言的状态和向量" state"和"bus"的采样值。注意,断言a33a在时钟周期2失败,因为所有位都为零。"one-hot"要求在任何时钟上升沿都只有一位为高。另一方面,断言a33b成功因为它检查" zero one-hot",而对于这种构造,所有位都为零是合法的a33a和a3b都在时钟周期5,6,7,8失败,因为有超过一位为高。断言a33c在任何时候向量"bus"的值不为X或Z时失败。它在时钟周期5,6,7成功,因为向量的值为Z。断言a33d在时钟周期2,3,5,6,7失败,因为值为高的位的个数没超过1。断言a33d在时钟周期4,8成功,因为向量"bus"在这两个时刻都有两位为高。

相关推荐
千宇宙航6 小时前
闲庭信步使用图像验证平台加速FPGA的开发:第九课——图像插值的FPGA实现
图像处理·计算机视觉·缓存·fpga开发
尤老师FPGA7 小时前
LVDS系列20:Xilinx 7系ISERDESE2原语(一)
fpga开发
XINVRY-FPGA1 天前
XCZU47DR-2FFVG1517I Xilinx FPGA AMD ZynqUltraScale+ RFSoC
人工智能·嵌入式硬件·fpga开发·信息与通信·信号处理·射频工程·fpga
forgeda1 天前
如何将FPGA设计的验证效率提升1000倍以上(3)
fpga开发·在线调试·硬件断点
千宇宙航2 天前
闲庭信步使用图像验证平台加速FPGA的开发:第六课——测试图案的FPGA实现
图像处理·计算机视觉·fpga开发
顾北川_野2 天前
Android ttyS2无法打开该如何配置 + ttyS0和ttyS1可以
android·fpga开发
霖002 天前
C++学习笔记三
运维·开发语言·c++·笔记·学习·fpga开发
千宇宙航2 天前
闲庭信步使用图像验证平台加速FPGA的开发:第七课——获取RAW图像
图像处理·计算机视觉·fpga开发
hahaha60162 天前
xilinx fpga芯片的结温
fpga开发
北城笑笑2 天前
FPGA 47 ,MIG 内存接口生成器深度解析( FPGA 中的 MIG 技术 )
fpga开发·fpga