SystemVerilog断言学习笔记复习过程.docx
- 文档编号:304027
- 上传时间:2022-10-08
- 格式:DOCX
- 页数:28
- 大小:964.23KB
SystemVerilog断言学习笔记复习过程.docx
《SystemVerilog断言学习笔记复习过程.docx》由会员分享,可在线阅读,更多相关《SystemVerilog断言学习笔记复习过程.docx(28页珍藏版)》请在冰豆网上搜索。
SystemVerilog断言学习笔记复习过程
SystemVerilog断言学习笔记
SystemVerilog断言学习笔记1
一、前言
随着数字电路规模越来越大、设计越来越复杂,使得对设计的功能验证越来越重要。
首先,我们要明白为什么要对设计进行验证?
验证有什么作用?
例如,在用FPGA进行设计时,我们并不能确保设计出来的东西没有功能上的漏洞,因此在设计后我们都会对其进行验证仿真。
换句话说,验证的目的是彻底地验证被测设计以确保设计没有功能上的缺陷。
而即将介绍的SystemVerilog断言便是一门重要的验证技术,它可以尽早发现设计的缺陷以及提高验证的效率。
二、基本概念
1、什么是断言
断言是设计属性的描述。
而断言可以从设计的功能描述中推知,然后转换成断言。
那么断言是如何表现的呢?
当一个被检查的属性不像我们期望的那样表现时,则该断言失败;当一个禁止在设计中出现的属性发生时,则该断言失败。
2、为什么要使用SystemVerilog断言
VerilogHDL也能实现断言,但其存在不足之处:
∙VerilogHDL是一种过程语言,不能很好地控制时序;
∙VerilogHDL是一种冗长的语言,随着断言数量的增加,维护代码将变得很困难;
∙语言的过程性使得测试同一时间段内发生的并行事件相当困难;
∙VerilogHDL没有提供内嵌的机制来提供功能覆盖的数据。
而SystemVerilog断言具有如下特征:
∙它是一种描述性语言,可以完美描述时序的状况;
∙语言本身非常精确且易于维护;
∙语言的描述性提供了对时间卓越的控制;
∙它提供了若干个内嵌函数来测试特定的设计情况,并且提供了一些构造来自动收集功能覆盖数据。
可见,使用SystemVerilog断言具有非常大的优势。
三、验证平台
一个包含SystemVerilog断言的验证环境如下图所示:
注:
约束随机测试平台可以用来产生更多真实的验证情景;代码覆盖则是验证完整性的基本衡量标准。
一般情况下,测试平台需要做三件事:
∙产生激励;
∙自检机制;
∙衡量功能覆盖。
1.产生激励通俗来讲就是为被测设计提供输入信号。
2.自检机制则是使每个测试都能自动和动态地检验期望的结果。
自检过程主要着眼于协议检验和数据检验。
协议检验的目的是检验控制信号的正确性;数据检验则是检验正在处理的数据的完整性。
3.功能覆盖用于衡量验证完整性,它包含协议覆盖和测试计划覆盖两项衡量标准。
协议覆盖是用来衡量一个设计的功能说明书中确定的所有功能是否都测试过;测试计划则是衡量测试平台的穷尽性。
而SystemVerilog断言主要着重处理协议检验和协议覆盖两大类问题。
【SystemVerilog断言学习笔记2】断言的类型
SystemVerilog中包含并发断言和即时断言两种类型的断言。
所谓并发断言就是在时钟边沿对变量进行采样并完成测试表达式的计算,它可以在模块、接口、过程块或程序中定义。
这里有一点是需要声明的,对于变量的采样值是时钟边沿前一时刻相应变量的值。
而即时断言只能在过程块中定义的,测试表达式的计算跟VerilogHDL过程块中的行为一样,即一旦事件发生变化则表达式立刻被求值。
接下来通过modelsim对这两类的断言进行仿真测试,给大家一个直观的理解。
1、并发断言
<1>打开modelsim仿真软件,然后点击“File—>New—>Project…“,出现如下对话框,为对话框填上工程名以及路径,其他默认,点击”OK“后会弹出询问是否创建工程路径的对话框,选择”是“。
<2>在下面的对话框中点击“CreateNewFile”以新建源文件。
<3>为对话框填上新建文件名以及文件类型选为“SystemVerilog”,然后点击“OK”,“Close”。
。
。
<4>为新建的sv文件编写SystemVerilog代码,如下所示:
/*******************************************************
作者:
CrazyBird
文件:
assert_test.sv
日期:
2015-5-1
功能:
并行断言
********************************************************/
`timescale1ns/1ps
moduleassert_test(
outputregclk,
outputrega,
outputregb
);
//时钟的产生
parameterPERIOD=10;
initial
begin
clk=0;
forever#(PERIOD/2)
clk=~clk;
end
//激励的产生
initial
begin
a=0;
b=1;
repeat(20)@(negedgeclk)
begin
a={$random()}%2;
b={$random()}%2;
end
@(negedgeclk);
$stop;
end
//并行断言
a_cc:
assertproperty(@(posedgeclk)not(a&&b));
endmodule
该段代码断言信号a和信号b不能同时为1,否则断言失败。
<5>选择要编译的文件assert_test.sv,接着点击“Compile—>CompileSelected”,如果编译正确,transcript状态栏会提示编译成功,并且文件状态会由蓝色“问号”变为绿色“打钩”,如下图所示。
<6>编译成功后,接下来开始仿真。
点击“Simulate—>StartSimulation…”,在弹出的对话框中,展开work,选择assert_test,然后“OK”。
<7>将Object下的信号clk、a、b添加到波形中去,做法是选中信号clk、a、b,然后右键单击“Addto—>Wave—>Selectedsignals”,如下图所示:
<8>点击“Simulate—>Restart…”,“OK”,接着点击“Simulate—>Run—>Run–All”,再接着点击“Wave—>Zoom—>ZoomFull”,其波形如下所示:
<9>在transcript状态栏下会出现断言失败的信息,通过双击它,可在Wave中显示断言失败的地方,如下图所示:
#**Error:
Assertionerror.
#Time:
25nsStarted:
25nsScope:
assert_test.a_ccFile:
D:
/electron/modelsim/assert_test/assert_test.svLine:
38
#**Error:
Assertionerror.
#Time:
35nsStarted:
35nsScope:
assert_test.a_ccFile:
D:
/electron/modelsim/assert_test/assert_test.svLine:
38
#**Error:
Assertionerror.
#Time:
55nsStarted:
55nsScope:
assert_test.a_ccFile:
D:
/electron/modelsim/assert_test/assert_test.svLine:
38
#**Error:
Assertionerror.
#Time:
105nsStarted:
105nsScope:
assert_test.a_ccFile:
D:
/electron/modelsim/assert_test/assert_test.svLine:
38
#**Error:
Assertionerror.
#Time:
155nsStarted:
155nsScope:
assert_test.a_ccFile:
D:
/electron/modelsim/assert_test/assert_test.svLine:
38
#**Error:
Assertionerror.
#Time:
205nsStarted:
205nsScope:
assert_test.a_ccFile:
D:
/electron/modelsim/assert_test/assert_test.svLine:
38
<10>也可以通过点击“View—>Coverage—>assertions”查看断言的情况,如下所示:
很明显,断言失败有6处地方。
2、即时断言
<1>操作基本跟上面的一样,即时断言的一个例子如下所示:
/*******************************************************
作者:
CrazyBird
文件:
assert_test.sv
日期:
2015-5-1
功能:
即时断言
********************************************************/
`timescale1ns/1ps
moduleassert_test(
outputregclk,
outputrega,
outputregb
);
//时钟的产生
parameterPERIOD=10;
initial
begin
clk=0;
forever#(PERIOD/2)
clk=~clk;
end
//激励的产生
initial
begin
a=0;
b=1;
repeat(20)@(negedgeclk)
begin
a={$random()}%2;
b={$random()}%2;
end
@(negedgeclk);
$stop;
end
//即时断言
always_comb
begin
a_ia:
assert(a&&b);
end
endmodule
该段代码断言信号a和信号b同时为1,否则断言失败。
<2>其断言情况如下所示:
#**Error:
Assertionerror.
#Time:
0psScope:
assert_test.a_iaFile:
D:
/electron/modelsim/assert_test/assert_test.svLine:
41
#**Error:
Assertionerror.
#Time:
40nsScope:
assert_test.a_iaFile:
D:
/electron/modelsim/assert_test/assert_test.svLine:
41
#**Error:
Assertionerror.
#Time:
60nsScope:
assert_test.a_iaFile:
D:
/electron/modelsim/assert_test/assert_test.svLine:
41
#**Error:
Assertionerror.
#Time:
70nsScope:
assert_test.a_iaFile:
D:
/electron/modelsim/assert_test/assert_tes
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- SystemVerilog 断言 学习 笔记 复习 过程