摘要： 资料来源 (1) SVA中的与或非（and_or_not） (qq.com) (2) system verilog assertions应用指南 (3) 硅芯思见：【90】SVA中的序列表达式操作符 (qq.com) 1.and构造 (1) 二进制运算符“and”可以用来逻辑地组合两个序列。当两个序 阅读全文

摘要： 资料来源 (1) 硅芯思见：【87】SVA中的重复运算操作 (qq.com) 1.连续重复(可用于表达式和序列) (1) 信号或者序列将在指定数量的时钟周期内都连续地匹配。信号的每次匹配之间都有一个时钟周期的隐藏延迟。 (2) 连续重复运算符的基本语法：signal or sequence [*n] 阅读全文

摘要： 1.$past构造 (1) SVA内嵌系统函数“$past”可以得到信号在几个时钟周期之前的值。在默认情况下，它提供信号在前一个时钟周期的值。 (2) 结构的基本语法：$past(signal_name, number of clock cycles) 2.$past构造实例 属性p19检验的是在给 阅读全文