SoC验证是准备新的供应商和验证仅仅大公司之间的竞争就像真正的意图。他们提供下一代SoC验证套件专注于特定领域的关注。Clock-domain穿越,X-verification和重置优化,署正确性和一致性,是收到的一些领域专用的RTL分析使用静态分析。静态分析是结构和正式的混合技术,让设计师专注于验证,而不是定制工具攻击问题区域。
除了原始速度和能力,最新的数据管理工具是解决这些出类拔萃的签字。智能报告和协助调试是一个关键的要求否则设计师和验证团队将淹没在大量分析结果。所有这些创新和有针对性的投资将SoC签字可控,如果不是容易。
提升IIV是自动RTL验证工具。因为没有testbench是必要的,它是一种有效的方法来找到RTL bug早些时候发现之前设计流程变得更加昂贵。它发现错误使用层次分析的设计意图。分析试图区分什么是问题的根源以减少调试时间。当工具,提升IIV执行综合分析每个设计元素的RTL代码生成功能的断言或者我们称之为目的检查。这些意图然后检查分析了一系列的引擎来验证设计的功能行为。
像其他自动在市场上正式的工具,提升IIV处理广泛的意图检查:
在下表中您将看到的结果分析,提升IIV盖茨在130 k的RTL逻辑。
表1。提升IIV意图为130 k门检查和故障报告。
工具生成的31186目的检查(断言),分析它的各种发动机和2999年总生产的失败。工具的等级报告这些故障特征分成几个类别。它确定修复的主要错误(紫色列在表中)这将消除重复,第二,许多结构性错误。在该基准测试中,181主要错误被发现。这代表总数的近95%的大幅收缩失败的工具。
聪明的报告是目前一个重要的和必要的组成部分RTL验证和SoC完毕。与日益增长的复杂性验证我们需要更多的杠杆在发现和修复这些错误,这将使对设计质量的影响最大。
留下一个回复