三个步骤利用UPF值3.0信息更快的低功率覆盖模型

控制权力有其代价。添加元素及其相互作用使验证的低功耗设计更加困难和工程师的工作绝大多数是复杂和繁琐。

早期版本的统一格式(UPF)提供了一些救援力量,但缺乏规定为低功率覆盖一个标准化的方法。特别的方法是容易出错,非常耗费时间。

迫切需要的是一个可靠和简单的验证方法,很容易构建,易于理解,易于修改和扩展到更大的设计相匹配。幸运的是,UPF 3.0引入了低功耗信息模型,可以解决复杂的低功耗验证挑战是有用的。

低功率覆盖方法基于最近推出了UPF 3.0低功耗信息模型HDL包帮助验证工程师实现低功耗覆盖率关闭是很有效的。

图1:根据电源覆盖e确保年代足够的节能测试元素在一个设计。

寻找难以捉摸的UPF值对象
捕捉UPF值对象的覆盖率信息和权力的国家是具有挑战性的原因有几个。权力都写在一个抽象的方式UPF值,没有预定义的覆盖率度量捕捉电力状态及其转换,虽然统一报道互操作性标准定义了各种标准指标相关报道项目,它不提供任何度量获取权力的意图。

工具生成的覆盖率指标被广泛用于低功耗验证。然而他们可能不是很有用,也详尽的设计,主要是因为一个设计可以有一个非常具体的要求不是由工具生成的覆盖,低功耗技术仍在不断发展之中;因此,一套新的协议时不时出现,这可能需要一套不同的覆盖特性没有工具厂商提供的。

工程师可能会选择使用SystemVerilog覆盖特性编写自定义覆盖项目。这些物品可以组合在一个检查模块,和这个检查模块可以被实例化到一个设计利用UPF命令,“bind_checker”。然而,这样的检查程序模块的实例化的方法不是微不足道的。低功耗断言和覆盖项目需要访问对象。然而,早期阶段的验证,这些权力对象UPF值文件中只存在和不存在的设计。因此不能简单的将这些UPF值对象传递给一个检查程序实例。没有明确的方法来描述coverpoints和垃圾箱获取权力的范围使用处理获得的状态及其转换。财产清查需要访问的一些设计和功率信号跨越多个领域。这样一个任务是非常容易出错和浪费时间。最后,正如这些检查的范围和输入实例定义在UPF值,UPF值的任何改变或设计可能会打破这些检查,要求他们重写。

使用covergroups建模风格和UPF值信息模型的查询命令巧妙地解决这些挑战。

UPF值3.0信息模型
UPF值3.0引入了低功耗信息模型来表示低功耗UPF值创建的对象。这些包括权力领域,权力,和供应集。UPF值3.0还提供了详细的列出了这些对象的各种属性。这些属性可以是简单的信息(例如,对象的名称和文件/行信息)或相对复杂的信息(例如,权力的权力状态域)。一些对象也具有与其相关联的动态属性(例如,current_state权力域或供应网络的当前的电压值)。UPF值3.0信息模型还提供了一个API接口访问对象及其属性。

两个关键信息模型的概念——本机HDL表征和高密度脂蛋白包函数可以用来开发一个低功率覆盖在建设和指导方法,可以随机方法针对特定的低功耗场景。

UPF值3.0定义了本地HDL表示对象的动态属性。本机结构/记录类型在高密度脂蛋白HDL表示包含两个字段:一个值对应于对象的动态特性,以及处理的UPF值对象允许访问或引用其他对象的属性。

图2:UPF值3.0信息模型是r象征着由一个包含两个字段结构/记录高密度脂蛋白:一个值字段和一个处理/参考UPF值对象。

UPF值3.0提供了大量的高密度脂蛋白包函数低功率用于访问的对象及其属性。这些是大致分为五类。

1. 高密度脂蛋白访问函数:这些基本功能访问对象和低权力
2. 直接读访问HDL功能:所有的UPF值0中的对象信息模型允许读访问其属性。在动态属性的情况下,这些函数返回当前的动态值/国家的财产时调用这个函数。
3. 直接写访问HDL功能:一些对象信息模型允许直接写访问只有在他们没有现有的驱动程序。这允许从testbench低功率的操作对象或模拟来说,这是一个强大的工具操纵从testbench低功耗在模拟对象。
4. 连续访问HDL功能:这些功能使持续的监控对象的动态值的信息模型。它使触发一个总是阻止或过程语句使用低功率的动态值
5. 效用函数:这些是普通的实用功能。

利用函数和构造
这种方法使用了UPF值3.0包函数来实现快速和有效的低功耗覆盖率。UPF值3.0 HDL功能可以结合SystemVerilog覆盖构造设计一个高效和random-directed低功率覆盖方法。这样一个低功率覆盖方法的目的是使您能够编写快速和可靠的低功率覆盖基础设施。

方法涉及到在高密度脂蛋白低功耗的处理对象,使用信息模型和查询该对象的属性。这些属性被传递到覆盖模块端口映射。覆盖模块包含covergroups和coverbins代表的低功耗策略域的覆盖率数据,或动态信息,如当前功率状态的领域,从testbench可以查询。提出了方法论的三个步骤是:

1. 低功率对象处理:第一步是让处理的低功率可以通过使用HDL包功能“upf_get_handle_by_name”。一个属性列表可以遍历的HDL访问功能“upf_iter_get_next”。以下SystemVerilog代码演示了使用这些基本功能低功率对象的访问。

upfHandleT pd = upf_get_handle_by_name(/结核病/ dut / pd) upfHandleT pd_state_list = upf_query_object_properties (pd, UPF_PD_STATES) upfHandleT pd_state = upf_iter_get_next (pd_state_list);

2. 低功率对象的动态特性(值):在第二个步骤中,您得到的动态价值感兴趣的属性。例如,你可能会感兴趣的电源状态域的意图检查国家权力的权力领域关于其他功率的电源状态也可以使用UPF值3.0连续访问HDL包函数来持续监控电源的功率状态域和感兴趣的情况下使用断言或异常。

upfPdSsObjT pd_hdl;upf_create_object_mirror(“/结核病/ dut / pd”、“pd”);upfPowerStateObjT pwr_state = pd.current_state;upfHandleT pd_name = upf_query_object_properties (pd。处理,UPF_NAME);upfHandleT state_name = upf_query_object_properties (pwr_state.handle UPF_NAME);(电子邮件保护)(pd)显示美元(“权力域% s,是执政的州:% s, upf_get_value_str (pd_name) upf_get_value_str (state_name));

3. 报道的细节:一旦我们有低功耗的处理对象及其动态值,它被传递给一个报道报道一起编译的模块可以在SystemVerilog建模和设计。这个模块在testbench被实例化。低功耗对象提取模型及其动态属性的信息传递接口的实例报道。您可以实例化需要尽可能多的覆盖情况。覆盖属性(covergroups / coverpoints)定义在以下覆盖模块计算覆盖率指标。

模块covIsoModule (int dynamicValue,字符串objName)注册cov_clk = 0;covergroup LOW_POWER_STATE_COVERAGE (posedge @cov_clk) ACTIVE_LEVEL: coverpoint等值{垃圾箱活跃= 1;}ACTIVE_LOW: coverpoint等值{垃圾箱活跃= 0;}endgroup…endmodule

描述验证方法有助于实现早期低功率覆盖关闭。也可以使用这种方法做指导场景测试。例如,您可以编写一个定制的断言或者财产,以检查是否两个域应该在互斥的状态利用UPF值3.0信息模型的直接读访问功能。因为依赖UPF值构造方法,它是一致的和可用的不同供应商的工具。即使没有复杂的UPF值结构和语义的详细知识,验证工程师可以写各种指示验证场景实现低功耗覆盖关闭。

低功率的增加复杂性验证,特别的方法不太可能成功,将导致不完整的验证。这种方法将帮助您实现验证关闭在更少的时间和少很多麻烦。

对学习更感兴趣吗?读白皮书随机定向低功率覆盖方法为更多的细节在低功耗验证挑战,UPF值3.0低功耗信息模型,这种方法的好处和优势在传统的低功耗验证方法。该报还股票相关的案例研究和实例解决低功耗验证问题。