前 言 2002年中期，我们的经理给我们发了一个电子邮件，问道：“谁愿意去支持OVA？”我们从脑子中迸出的第一个想法就是“究竟什么是OVA？”和其他几个工程师交谈后，我们知道了它是OPEN VERA语言的一个子集。OVA是指“OPEN VERA断言(Open VERA Assersions，简写OVA)”，它是一种描述性的语言，能描述时序上的条件。就如同过去一样，为了满足对技术的渴求，我们同意做OVA的支持。在两个月内，我们学习了这种语言，并开始培训客户，在六个月内培训了200个左右的客户。客户洪水般涌进教室，给我们留下深刻的印象。我们确信这是验证领域下一件最好的事情。当客户们匆忙接受完培训，他们并没有开发任何OVA的代码。这是因为验证技巧和这种语言都是新的。一些工具刚开始支持这些语言结构。没有多少IP(Intellectual Property)可以使用。很自然，客户并没有我们想像的那么满意。 同时，Synopsys公司把OPEN VERA语言捐献给Accellera委员会，使其成为SystemVerilog语言的一部分，其他几个公司为SystemVerilog语言的形成作了一些贡献。在DAC 2004，Accellera委员会把SystemVerilog 3.1定为一个标准。断言语言被纳入SystemVerilog语言并成为了标准的一部分。这就是通常所说的“SystemVerilog Assertion(SVA)”。我们继续培训客户基于断言的验证，不过现在仅仅教SVA。我们能清楚地看到客户更习惯于使用预开发的断言库，而不乐意编写定制的断言代码。是什么阻碍了他们？...