systemverilog_assertion.pdf

验证与设计不同，尤其是初学者，验证会成为一盘散沙——无规可循。然而 为了能够实现验证平台的重用，需要标准的验证语言和标准的验证库。这样一来 在验证的过程中只需要调用验证库中的库单元就可以实现验证的重用。所以为了 解决验证的混乱局面，特此依据Synopsys的SVL库进行翻译，该库与OVL的 使用方式相同，每次的检查对象仅需要例化对应的库单元就可以实现。 其原文来自于Synopsys的SystemVerilog检查库的讲解文档，翻译难免有错 和生硬的地方，所以请参照相应文件进行阅读。 最后将SerikanthVijayaraghavan和MeyyappanRaman