产品说明：

Verix形式验证产品的新引擎Convergence Engine在性能和功能上取得突破。该引擎有两大新型技术：“适应性编曲”,能根据特定验证任务编排解算器的最佳配置,以及“二维压缩”,即选择设计的一部分进行专攻,以使性能最大化。

Real Intent的产品包括从RTL代码中提取断言并自动对其进行验证的Verix Implied Intent Verification;可检测与多时钟域相关的同步化错误的Verix Clock Intent Verification;令用户自行验证设计断言的Verix Expressed Intent Verification。在Verix 5.0版本中,这些产品都利用了新型的Convergence Engine。

Verix产品比以往产品在功能上改进10倍,性能也大幅增强。一个75万门的多媒体设计及特性规范语言在200秒内验证完毕。46万门DSP设计开放验证库特性在10秒内完成。