EDA供应商Real Intent公司日前宣布,其Verix形式验证产品根基——新的Convergence Engine在性能和功能上取得突破。
该引擎据称有两大新型技术:“适应性编曲”,能根据特定验证任务编排解算器的最佳配置,以及“二维压缩”,即选择设计的一部分进行专攻,以使性能最大化。Real Intent公司CEO Prakash Narain表示:“这些是根本性的新技术。我不会说我们没有受到学术研究的影响,但所有工作都是内部完成的。”
Real Intent的产品包括从RTL代码中提取断言并自动对其进行验证的Verix Implied Intent Verification；可检测与多时钟域相关的同步化错误的Verix Clock Intent Verification；令用户自行验证设计断言的Verix Expressed Intent Verification。在Verix 5.0版本中,这些产品都利用了新型的Convergence Engine。
Verix产品比以往产品在功能上改进10倍,性能也大幅增强,Narain表示。“以前很棘手的特性如今也能被处理了,”他说。例如,一个75万门的多媒体设计及特性规范语言在200秒内验证完毕。46万门DSP设计开放验证库特性在10秒内完成。
京公网安备 11011202001138号
