如何适应低功率覆盖到整个功能验证环境。
覆盖率指标告诉我们当一个设计已经彻底核实,或者至少行使收益递减点。很少可以每个设计工件或设计参数的一个高度复杂的设计覆盖100%,但是我们可以使用覆盖度量来知道我们的程度验证了设计——足够相信它将函数作为期望的最终产品。
覆盖是一个非常熟悉的和良好定义的技术动态模拟;然而,低功率覆盖范围仍然缺少了一块在整个功能验证环境,特别是在动态模拟,主要是因为低功率覆盖标准缺乏。
幸运的是有工具,允许您创建自动低功率覆盖testplan(又名验证计划)在低功耗模拟和内部连接测试规划与低功率覆盖对象。还可以标注覆盖率数据统一覆盖数据库(UCDB)。机制UCDB格式允许测试规划范围和覆盖范围内可以被标记,这样一个协会。这允许您注释与低功率低功率testplan覆盖率数据,代表低功率覆盖率结果根据您的查询。
然而,这是一个特别的方法,只有流程低功率覆盖。我们制定一个多才多艺的覆盖数据库带来了低功率和non-low权力覆盖在同样罩。
一个适应性强的低功率覆盖数据库进行动态模拟
同时考虑全面、综合数据库,将协调低功率和non-low权力覆盖,我们强调几个方面;如必须标准数据库的可访问性和适应性。
最新版本的ieee - 1801 - 2015或低功率的UPF值3.0提供了一个具体的模型信息模型,由电源管理对象,这是应用UPF值语义的结果增加HDL设计。因此,模型或数据库定义设计和低功耗的对象之间的关系。
这个低功率信息模型数据库(IMDB)由低功率对象和各种地定义这些对象的属性。它提供了一组定义良好的api来访问和查询的低功率或在TCL或HDL设计信息。它还提供了自由发展更复杂的API的基础上基本API定义。
低功率的关键部件IMDB对象和属性,定义的UPF 3.0 LRM,总结如下。
对象信息的主要持有人
属性:对象的信息的集合
IMDB是理想的低功率模式以外的扩展。具体来说,IMDB可以扩展到匹配的行业标准Accellera uci API来分析,合并,并代表低功率覆盖数据non-low覆盖率结果。
uci API可用于实现异构类型的保险合并,它基本上覆盖分析工具允许合并覆盖率数据语义不同验证来源,如低功率和non-low电源。uci规定必须存储在UCDB语义不同的数据,但是他们通常不会自动合并在数据库中。如果一个覆盖率分析工具有一个合并异构数据的算法,它应提交一个新的数据项语义标签指示合并数据。
uci标准还实现了通过高密度脂蛋白HDL特定的惟一ID查询对象操纵和代表HDL代码覆盖相关信息。具体来说,预定义的字段uci复合对象包括设计范围,coveritems,历史节点,允许有关UCDB覆盖率数据通过设计高密度脂蛋白对象。
提出的自适应覆盖数据库对IMDB组件(高密度脂蛋白、UPF值和关系对象和相关属性)的一个子集定期uci标准。因此,我们将能够处理UPF值覆盖垃圾箱和UPF值cross-cover垃圾箱以及所有non-low权力覆盖垃圾箱在同一个罩下。覆盖率数据收集、分析和表示从IMDB甚至是可能的,当我们扩展IMDB HDL组件映射相关uci HDL标准组件。
现在,让我们看看合并低功率的规定和non-low力量覆盖从所有来源提供了一个统一的覆盖度量和阶段的设计验证和实现流程。
算法合并低功率和non-low权力覆盖
这种方法论的方法填写缺失的部分整个设计验证流——低功率覆盖,其标准化、和集成标准non-low权力覆盖计算模型。
我们的方法可以概括如下:
合并低功率的算法和non-low力量覆盖下一个扩展IMDB (UCDB)是通过主testplan成为可能。主testplan non-low能力验证计划手动生成,基于验证规范设计的层次结构和范围,可用于低功率和non-low权力验证流。自动生成的低功率测试规划和掌握testplan通过覆盖对象或测试相关数据记录到相应的部分。
图3。异构融合的低功耗和Non-Low力量覆盖在IMDB UCDB(扩展)。
一旦联系testplan都建立在IMDB (UCDB),合并的低功率non-low权力cover-bins成为程序,因为我们已经知道UCDB允许测试规划范围和覆盖范围可以被标记,这样一个协会。
现在我们有了最初的低功率覆盖标准化和集成框架与现有uci覆盖标准。完成RTL代码覆盖率的RTL代码覆盖率数据模型对UPF值检测RTL和non-LP RTL必须正式,或逻辑上等价的。这需要正式工具了解综合数据库和配合UPF值语义在设计电路进行等效性检查水平。,我们知道我们的动态仿真难题是完整和正确的。
一个详尽的关于这一主题的理解,包括支持概念和案例研究,请下载白皮书低功率覆盖范围:动态仿真中缺失的一个环节。
留下一个回复