1.延时操作符(##)1.1 ##m带时序关系的sequence :在SVA中时钟延时用符号"##"来表示,如"##2"表示延时两个时钟周期;波形展示:sequence只有在时钟上升沿到来后检查a是否为1才会继续检查后面连续x个时钟后的b的值;1.2 ##[m:n]波形展示: ##[m:n]”采取的是“就近匹配”原则,在第一个序列匹配后将不会在进行后续序列的匹配。2.蕴含操作符(|=>,|->)2.1 |=>操作符波形展示:表示sig1在时钟上升沿时为高,在当前时钟上升沿的下一个时钟上升沿时sig2也必须为高2.2 |->操作符 ...