低功率覆盖关闭三个步骤

Awashesh Kumar和玛Bhargava

低功耗设计和验证正变得越来越复杂。然而重要的是,所有力量元素验证,这是更重要的来验证这些元素之间的复杂的相互作用在较高的抽象级别。

然而,节能覆盖关闭难以实现和复杂的天性。现有的低功率覆盖方法容易出错,非常耗费时间。需要一个更快、更直接的方法。

这是一个挑战来捕获UPF值对象的覆盖率信息和权力的国家,原因如下:

• 权力都写在一个抽象的方式UPF值
• 没有预定义的覆盖度量来捕获状态及其转换
• 统一报道互操作性标准(uci)定义了各种标准指标相关的保险项目;然而,它并不提供任何度量获取权力的意图

在本文中,我们提出一个三步方法使用UPF值3.0 HDL包SystemVerilog覆盖构造函数来实现对关键设计失败场景中发现低功耗设计。使用这种方法,可以实现覆盖关闭在一个更加有效的方式,从而大大节省验证努力和时间。

一个随机,直接低功率覆盖方法
UPF值3.0 HDL功能可以结合SystemVerilog功能覆盖结构,如covergroups coverpoints,创建一个高效和低功率覆盖方法。这种低功率覆盖方法允许用户编写快速和可靠的低功率覆盖基础设施和执行随机和指导低功率验证。随机因为测试场景可以开发的通用脚本。因为它可以覆盖非常特殊的情况。

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

图1:趟车信息模型

这种方法有三个步骤:

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。处理,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值结构和语义的详细知识,验证工程师可以写各种指示验证场景实现低功耗覆盖关闭。该方法可以很容易地扩展到更大的和更复杂的低功耗设计场景。交叉覆盖的国家可以很容易地映射到这个方法。这种方法将帮助实现验证关闭明显更少的时间。

为了了解更多,检验我们的白皮书,随机定向低功率覆盖方法。

玛德Bhargava属于导师的咨询人员,西门子业务。Bhargava拥有超过8年的低功率验证和技术经验。他拥有一个学士学位从德里工程学院电子与通信工程,印度。他也是一个活跃的工作组成员UPF值。