nLint工具可以发现SystemVerilog编码错误

Novas软件公司的nLint IC编码错误检测产品现在可以支持SystemVerilog,在此之前该工具支持Verilog和VHDL。

nLint在分析代码后能提示更好的编码方法,并指出总线不匹配等错误,Novas公司行销副总裁Dave Kelf表示。这类错误在使用SystemVerilog时经常出现。“SystemVerilog语言的功能更强大,但引发错误的几率也更高。”他说,“nLint工具对此确实很有帮助。”ALT="图1:nLint工具现在支持SystemVerilog。">

Kelf曾任SystemVerilog开发商Co-Design Automation公司的副总裁,他指出nLint既包含预编程的规则,又允许用户定义自己的规则。预编程规则可以检查SystemVerilog代码中的各种语法和语义错误。

例如,nLint可以检测出注释或终括号被遗漏的语法错误。“其它工具只会给出‘代码不能被理解’这样的信息,而该工具能清楚地指出注释或括号可能被遗漏,”Kelf表示。它还可以检查总线不匹配等普通错误。此外,该工具可以检测只有SystemVerilog才会发生的错误,如某个特定结构是否被它的实体引用等。nLint还能监视SystemVerilog内接口和模块的使用,并包含一组用于SystemVerilog“永远”锁存、翻转或组合逻辑的规则集。

预编程规则还包括一个用于综合的子集。Novas公司技术行销总监George Bakewell承诺,一旦业界的综合工具供应商开始提供针对SystemVerilog的公共可综合子集,Novas将重新改进自己的规则子集。他透露,Novas公司还预构建了一个测试类。“客户也可以根据检查需要创建他们自己的规则。”Kelf表示,“nLint工具是完全独立的,与仿真器没有任何关系。”

Kelf透露,在beta测试期间Novas公司发现nLint可以帮助用户更熟悉SystemVerilog,从而反过来推动该工具的应用。

Kelf表示,Novas的所有产品已经完全实现了SystemVerilog 3.0,而且正在对SystemVerilog 3.0声明做beta测试。此外,Debussy调试器系列能分析和装载SystemVerilog 3.1声明,因此Novas公司计划当仿真器推出时提供全面的支持。

nLint产品的一年许可费为5,000美元。现有签约用户将无偿得到SystemVerilog支持。

作者:柏万宁