crazybird

【SystemVerilog断言学习笔记3】SVA块的建立

0
阅读(3156)

不管学什么东西,如果掌握了技巧、规律,我们将很容易上手。同样,如果我们掌握了建立SystemVerilog断言(简称SVA)块的步骤,在后面SVA的深入学习中将起到事半功倍的效果。SVA块的建立步骤如下。

步骤一、建立布尔表达式

步骤二、建立序列表达式

关键词序列”sequence”可以用来表示逻辑事件,包括同一个时钟边沿被求值的布尔表达式或者经过几个时钟周期的求值事件。

序列基本语法:

sequence name_of_sequence;
;
endsequence

步骤三、建立属性

关键词属性”property”可以用来表示复杂序列的行为。

属性基本语法:

property name_of_property;
; or
;
endproperty

步骤四、断言属性

关键词断言”assert”可以用来检查属性。

断言基本语法:

assertion_name: assert property(property_name);

Baidu
map