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月上市。
