Mentor Graphics增强Questa根据主动化验证解决计划的方式验证的容量、功用和广度。
2014年5月20日,俄勒冈州威尔逊维尔——先进体系验证解决计划的领导者Mentor Graphics(Nasdaq:MENT)今日宣告推出方式验证的主动化解决计划Mentor®组合中的最新产品Questa® PropGen以及Questa产品先进方式引擎的增强容量及功用，其构成了整个主动化解决计划宗族。
主动化针对性解决计划
全主动针对性验证解决计划使验证功用大幅进步，大大节省了工程时刻的人月数及贵重的再流片本钱。这完成了对运用其他验证办法难以或无法进行验证特定规划的完整性和验证的准确性。Questa PropGen是该解决计划组合中最新的计划，有助于验证团队经过主动化根据断语的验证(ABV)进程使杂乱SoC到达更高质量。
“Mentor的方式验证技能在许多范畴增强了咱们传统的验证流程，”三星半导体公司体系大规模集成部首席工程师NamDo Kim说。“为了进步出产功率及规划质量，咱们现已成功有利地势用了从全主动方式验证到特点查看的广泛的Questa使用。”
传统上，验证工程师一向依赖于规划人员主动将断语增加至代码中。惋惜的是，编写此类断语所需求的精力和时刻往往会阻挠规划人员写出验证团队所需的断语。 Questa PropGen经过使用其现有测验环境将验证团队视为驾驭者来主动生成特点。项目团队可凭借Questa PropGen东西在其SoC仿真和硬件加速环境中体会根据特点的验证(ABV)的一切功用，而无需耗时的手动断语编码。
Questa Formal(方式化验证)引擎的功用和容量的腾跃
Questa Formal首创的新方式验证引擎在扎手验证问题方面供给了业界领先水平的功用。此类引擎为Questa整套产品全主动方式验证解决计划和方式验证强壮的使用供给了动力。Questa Formal引擎的增强完成了整个主动化解决计划的功用改善，包含跨时钟域(CDC)签收的业界规范解决计划Questa CDC 惊人的6倍提高。为弥补全方位验证技能，Questa Formal解决计划和引擎在最近宣告的Mentor 企业级验证平台中还完成了仿真和硬件加速的紧密结合，以便使验证团队能以高水准的质量更有效地完成其总验证方针。
“方式验证正在成为干流，而且技能仍在快速开展，”Oski Technology总裁兼首席执行官Vigyan Singhal说，“新发布的Questa Formal引擎所获得的成果给咱们留下了深刻印象。在客户项目上，咱们已看到大幅提高了容量，拓宽了可解决问题的规模。”
