论文部分内容阅读
断言(Assertions)是关于设计所做的“真相的声明”或“事实的说明”。断言的唯一目的是保证设计者的意图与最后生成电路逻辑功能的一致性。断言作为新兴的验证技术,广泛受到业内人士青睐。面向对象编程语言SystmVerilog的断言(SVA)更是得到各家EDA公司的大力支持和推广。本文以localbus接口检验器为例,介绍如何设计和使用SVA。