每次看复杂断言都在考验阅读理解能力，还有没有其它解药？

  ​ rockeric.com   前言 基于断言的验证已成为现代设计验证的一个组成部分。并发（concurrent）SVA是一种强大的断言语言，它以简洁的符号和规则表达属性的定义；它的适用范围非常广泛，被强烈推荐使用。   但是，SVA是为静态世界而设计的，这也就造成了一些局限性： （1）它无法轻松地根据单元变量（模块，检查器，接口）的值解决延迟和重复的使用问题； （2）它不能引用非静态类属性

>>阅读原文<<