芯片验证学习之并发断言——序列sequence

并发断言使用关键字property…endproperty描述事件。并发断言基于时钟周期的，因而只有利用时钟周期采样的值才有效。

并发断言属性有7种：sequence，negation，disjunction，conjunction，if...else...，implication、instantation.

1. sequence：

        是描述一种信号时序关系的基本语句块。

        property可以用于封装各种sequence，可作为检查其、假设条件、和覆盖率，对应关键字为assert、assume、cover。

2. 断言的建立过程与格式

sequence s1;       //sequence主要描述信号与信号之间的时序关系
  a ##1 b ##1 c;    //a为高，下一拍b为高，在下一拍c为高
endsequence

property p1;       //property主要将各种sequence进行封装
  s1;
endproperty

a1:assert property(@(posedge clk) a |-> p1 );    
//关键字assert启动断言，
//  “ |-> ” :表示起因序列和结果序列在同一个周期

3. 交叠蕴含操作符 |-> 、非交叠蕴含操作符|=>

• |-> ： 表示