形式验证领域取得新进展，Averant最新验证工具涵盖三大特性

Averant最近发布了其形式特性验证工具最新版本Solidify 5.0，声称在形式验证领域取得数项技术进展。新特性包括验证管理、层次验证和覆盖扩展。

Solidify是包含多语言支持、源代码调试和仿真接口的静态功能特性验证工具。它接受RTL源代码和验证特性，提供特性分析、调试寻迹、仿真测试平台、仿真监视器和覆盖报告等功能。在4.0升级版本中，Averant增添了新的Guided Proof System (GPS)，据称能实现快速“错误搜寻”。

新的5.0版本中将GPS升级，添加了验证管理功能。自动化的层次验证令用户能在一级层次内验证特性，然后到下一层。Averant表示这种新方法令验证方法更严密。

Solidify 5.0据称是首款支持SystemVerilog断言(SVA) 和特性规范语言(PSL)“isunknown”结构的特性校验器。此外，新版本还能利用多CPU工作站。Solidify 5.0将于7月上市。