日前公布了其下一代验证收敛解决方案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万美元。