产品说明：
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秒内完成。
