EDA标准组织Accellera董事会日前宣布,已经批准开放式验证库(Open Verification Library, OVL)1.0版标准。此标准也在该组织的OVL Verilog/SystemVerilog Assertion(OVL-VSVA)技术委员会获得一致通过。
据Accellera介绍,由于使用Verilog或者SystemVerilog编写的预定义检查器能够使设计人员能够利用基于断言的验证,OVL标准能够提高硬件描述语言(HDL)设计的质量。使用Verilog和SystemVerilog语言的工具都能够利用这个新验证标准。
验证库中为每种语言包括了21个断言检查器,包括了工程师在寄存器传输级(RTL) 代码功能验证期间的许多公共属性。Accellera总裁Dennis Brophy表示:“我们的OVL标准提供更好的高质量的解决方案,可改善电子设计团队的验证质量,提高验证效率。”
京公网安备 11011202001138号
