日前公布了其下一代验证收敛解决方案Assertain的生产版本，Assertain在单一环境下提供了数字设计验证流程的“一体化”测量和控制。该产品据称已通过广泛测试，将在近日于日本Yokohama举行的2006年电子设计和解决方案博览会上展示。

Assertain采用了“要求可追踪技术(requirements traceability techniques)”，可监控从最初的文本规格到经过验证的RTL的所有验证过程。

该产品无缝集成了：规则、协议和断言检查(Rule, protocol and assertion checking)，代码和断言覆盖(Code and assertion coverage)，设计和断言可覆盖能力分析(Design and assertion coverability analysis)，测试包优化(Test suite optimization)，规范覆盖等功能(Specification coverage)。

该产品将按应用提供三个不同的级别。Assertain HDL量化纯粹RTL设计不用任何断言的动态验证。Assertain ABV用于管理基于断言的验证流程，采用了TransEDA的断言覆盖评估表。Assertain VCM是该产品最完整的版本，设计用于控制从文本规格到经校验RTL 设计的校验和验证过程。

Assertain HDL和ABV均可基于Solaris和Linux平台面向VHDL、Verilog和SystemVerilog，下月将增添PSL断言支持。Assertain HDL年订阅许可费用起价为1.6万美元。