功率状态覆盖率度量及其估计方法与流程

本发明的实施例总体涉及半导体领域，更具体地，涉及半导体芯片设计中的功率状态覆盖率度量及其估计方法。

背景技术：

随着半导体芯片性能的增强，芯片设计变得更加复杂。传统的寄存器传输级(rtl)设计方法对于需要软件和硬件高度集成的现代片上系统(soc)设计来说是耗时的。如果在rtl阶段检测到问题，则修改设计可能会太晚。因此，采用电子系统级(esl)设计方法以便于现代系统设计。

功率消耗在芯片设计中是重要问题。对于esl模型，系统级设计和技术探索需要估计功率，因为esl模型包括在esl模型中的每个知识产权(ip)的功率状态和关联的功率消耗数量。

技术实现要素：

根据本发明的一个方面，提供了一种通过至少一个处理器执行的用于管理芯片设计中的模块的验证用例的方法，所述方法包括：建立包括所述模块的多个块的电子系统级(esl)模型；为所述多个块的每个块限定至少一个esl功率状态；为所述esl功率状态的每一个选择至少一个验证用例；为所述验证用例的每一个设置目标覆盖率值；为所述验证用例的每一个实施执行寄存器传输级(rtl)模拟；得到所述验证用例的每个的实际覆盖率值；更新所述多个块的每个块的所述esl功率状态和所述验证用例。

根据本发明的另一方面，提供了一种通过至少一个处理器来执行的用于估计电子系统级(esl)模型中块的功率状态覆盖率的方法，所述方法包括：为所述块设置第一值、第二值、第三值和块覆盖率值；选择所述块的至少一个验证用例；对于所述至少一个验证用例中的每个，(a)设定目标覆盖率值；(b)执行寄存器传输级(rtl)模拟；(c)得到实际覆盖率值；(d)确定所述实际覆盖率值是否大于或等于所述目标覆盖率值；以及(e)当所述实际覆盖率值大于或等于所述目标覆盖率值时，更新所述第一值和所述块覆盖率值；确定所述块覆盖率值是否大于或等于预定义的块覆盖率值；以及当所述块覆盖率值大于或等于所述预定义的块覆盖率值时，计算所述块的所述功率状态覆盖率。

根据本发明发的又一方面，提供了一种通过至少一个处理器执行的用于估计电子系统级(esl)模型的总功率状态覆盖率的方法，所述方法包括：设置所述块的第一值、第二值；为所述esl模型中的每个块选择至少一个验证用例；对于所述至少一个验证用例的每一个，(a)设定目标覆盖率值；(b)执行寄存器传输级(rtl)模拟；(c)得到实际覆盖率值；以及(d)基于所述实际覆盖率值是否小于所述目标覆盖率值来更新所述第一值和所述第二值；计算每个块的功率状态覆盖率；以及计算所述esl模型的所述总功率状态覆盖率。

附图说明

结合附图和以下描述来阐述本发明的一个或多个实施例的细节。本发明的其他特征和优势将根据说明书、附图和权利要求而变得显而易见。

图1是示出根据实施例的用于管理芯片中的模块的验证用例的方法的流程图。

图2是示出根据实施例的用于功率状态覆盖估计的系统的框图。

图3是示出根据实施例的用于宏级功率状态覆盖率估计的系统的框图

图4是示出根据实施例的对于具体模块的esl模型和验证用例的示意图。

图5是根据实施例的功能性验证系统的示意图。

图6是示出根据实施例的用于估计esl模型中的块的功率状态覆盖率的方法的流程图。

图7是根据实施例的esl模型的初始和更新的验证用例的示图。

图8是根据一些实施例的用于实施参考图1至图6描述的方法和系统的实施例的硬件系统的框图。

具体实施方式

以下公开内容提供了许多用于实现本发明的不同特征的不同实施例或实例。以下描述部件和布置的具体实例以简化本发明。当然，这些仅仅是实例而不旨在限制。此外，本发明可以在各个实例中重复参考标号和/或字符。该重复是出于简明和清楚的目的，而其本身并未指示所讨论的各个实施例和/或配置之间的关系。

对于电子系统级(esl)模型，精确的系统级功率建模可能需要完全覆盖esl模型中所有有效功率状态。丢失的功率状态可以导致对功率的低估，而具有大的功能重叠的功率状态可以导致对功率的高估。因此，需要方法来检查esl模型是否具有丢失的功率状态以及esl模型中限定的功率状态是否是有效的功率状态并且覆盖芯片的大部分功能部分。在本公开的各个实施例中提供了功率状态覆盖率验证和功率消耗估计的方法。

图1是示出根据实施例的用于管理芯片中的模块的验证用例的方法100的流程图。参考图1，在操作101中，为芯片设计中的模块创建包括多个块的esl模型。芯片设计包括芯片的各个模块的功能性描述。每个模块被设计为执行特定类型的功能。一个或多个模块可以被认为是引擎(engine)、核心或处理单元。在实例中，市售的soc包括中央处理单元(cpu)、数字信号处理(dsp)核心，图形处理单元(gpu)、存储器、加速器、电源模块、输入/输出模块和其他许多模块。模块的一些或全部由一个或多个芯片设计者设计。一些模块还包括第三方ip，并且一些模块可以由半导体制造商提供。块可以包含逻辑ip或ip的集合。例如，用于视频编码器模块的块可以是mpeg编码器ip。

在操作102中，限定esl模型中每一块的esl功率状态。在一些实施例中，esl功率状态可源于块的功能状态。例如，用于mpeg编码器块的esl功率状态可以是mpeg4状态。

在操作103中，选择每一个esl功率状态的验证用例。这些验证用例可选自esl验证用例库。例如，用于mpec4功率状态的验证用例可以是mpeg4_i_帧(frame)验证用例。

在操作104中，设置了每一个验证用例的目标覆盖率值。在一些实施例中，目标覆盖率值是被esl验证用例覆盖的功能代码覆盖率的期望值。

在操作105中，执行每一验证用例的寄存器传输级(rtl)模拟，并且在操作106中得到每个验证用例的实际覆盖率值。实际覆盖率值是作为rtl模拟的结果被esl验证用例实际覆盖的功能代码覆盖率的值。

在操作107中，基于目标覆盖率值和实际覆盖率值来更新每一块的esl功率状态和验证用例。在一些实施例中，上述更新操作包括添加或去除用于esl功率状态的一些验证用例和/或添加或去除块的一些esl功率状态。目标覆盖率值和在rtl模拟之后得到的实际覆盖率值能够帮助芯片设计者理解被每个验证用例覆盖的预期的和实际的覆盖之间的差异，因此芯片设计者能够更新每一块的esl功率状态和验证用例以实现在esl模型中块的更好的覆盖。

图2是示出了根据实施例的用于功率状态覆盖率估计的系统200的框图。参考图2，系统200包括模块201、esl验证用例202、esl模型203和功能测试台205。模块201可以是包括一组要被验证的ip的具体应用。例如，模块201可以是包括一组视频编码器ip(诸如，视频压缩ip、mpeg编码器ip、jpeg编码器ip、控制块ip等)的视频编码器应用。

为了验证模块201，生成了esl验证用例202。esl验证用例202可以选自esl验证用例库。在一些实施例中，esl验证用例202可以由自动工具生成。esl验证用例202也可以是由系统架构师编写的测试代码。esl验证用例202也可以是自动工具和系统架构编程的混合。在一些实施例中，esl验证用例202中的每个验证用例可以用于验证特定ip的功能代码覆盖率。

基于生成的esl验证用例202，为模块201创建esl模型203。esl模型203可以包括多个块，并且每个块均可以包括多个功率状态。例如，在图2中，esl模型203可以包括块1至块k，k是自然数。另外，块1可以包括功率状态ps1b1至psnb1，块2可以包括功率状态ps1b2至psmb2，并且块k可以包括功率状态ps1bk至psqbk，其中n、m和q是自然数。

对于在esl模型203中的每个功率状态，将生成的esl验证用例202中的一组验证用例分配给esl模型203中的每个功率状态，并且为分配至该功率状态的每个验证用例设定了目标覆盖率值。例如，在单元204中，t(ps1b1)是分配至块1的功率状态ps1b1的一组验证用例，而ctt(ps1b1)是为t(ps1b1)中的每个验证用例设置的一组目标覆盖率值。此外，t(ps1b2)是分配至块2的功率状态ps1b2的一组验证用例，而ctt(ps1b2)是为t((ps1b2)中的每个验证用例设置的一组目标覆盖率值。类似地，t(ps1bk)是分配至块k的功率状态ps1bk的一组验证用例，而ctt(ps1bk)是为t(ps1bk)中的每个验证用例设置的一组目标覆盖率值。

在一些实施例中，分配至功率状态的验证用例可以用于验证对应于该功率状态的功能。例如，分配至h264功率状态的验证用例可以是验证h264功率状态的h264功能的h264_i_帧验证用例。在一些实施例中，每个验证用例的目标覆盖率是由芯片设计者设置的预期的覆盖率。

在准备好所有的验证用例和目标覆盖率之后，将它们传递至功能测试台205。建立功能测试台以通过提供检查设计的场景来功能性地验证设计，给予一定的输入，设计执行规范。

图3是示出根据实施例的用于宏级功率状态覆盖率估计的系统300的框图。参考图3，系统300类似于在图2中描述和示出的系统200，除了，例如模型303。在esl模型303中的宏1可以包括一个或多个块并且功率状态被赋给宏1中的所有块。在本实施例中，宏1包括块1至n和关联的功率状态ps1b1至psnb1。esl模型303可以包括块n+1至块n+k。此外，块n+1包括功率状态ps1b(n+1)至psmb(n+1)，并且块n+k包括功率状态ps1b(n+k)至psqb(n+k)。

图3的余下的单元类似于图2的相应的单元。在宏观级实现的条件下，esl模型中的验证用例能够以更大的灵活性来更新和管理。

图4是示出根据实施例的具体模块的esl模型403和验证用例404的示意图。例如，如果模块401是视频编码模块，那么用于模块401的esl模型403可以包括诸如视频压缩、mpeg编码器、jpeg编码器、控制模块等多个块。表404示出了用于验证模块401的esl模型中的各块、功率状态以及功率验证用例之间的关系。每个验证用例都可以分配有目标覆盖率值ctt。

在本实施例中，块“视频压缩”包括功率状态“h264状态”，其中，h264指代视频压缩格式。用于h264状态的功率验证用例包括h264_i_帧测试(ctt＝30％)、h264_b_帧测试(ctt＝30％)以及h264_p_帧测试(ctt＝40％)。

此外，块“mpeg编码器”包括功率状态“mpeg4状态”、“mpeg2状态”和“mpeg1状态”。用于mpeg4状态的功率验证用例包括mpeg4_i_帧测试(ctt＝25％)和mpeg4_p_帧测试(ctt＝25％)。用于mpeg2状态的功率验证用例包括mpeg2_i_帧测试(ctt＝15％)和mpeg2_p_帧测试(ctt＝15％)。用于mpeg1状态的功率验证用例包括mpeg1测试(ctt＝20％)。

此外，块“jpeg编码器”包括功率状态“jpeg状态”和关联的功率验证用例jpeg测试(ctt＝90％)。另外，块“"ctrl块”包括功率状态“idle状态”和关联的功率验证用例idle测试(ctt＝90％)。

在一些实施例中，esl验证用例402中的每个验证用例连同与验证用例关联的其他信息(诸如模块、块、功率状态、目标覆盖率值等)存储在数据库中。以这种方式，表404中示出的关系可以自动地生成。

在一些实施例中，将用于验证块的功率状态和功率验证用例可以根据一组预定义的规则自动地确定。在一些实施例中，将用于验证块401的块、功率状态、功率验证用例和目标覆盖率值可以由芯片设计者决定。

图5是根据实施例的功能验证系统500的示意图。参考图5，功能验证系统500包括功能测试台502、rtl模拟工具503、模拟日志和报告数据库504以及编码覆盖率数据库505。在功能验证系统500中，如图4的表404中列出，具有目标覆盖率值的功率验证用例501被构建并且成为功率验证测试台502的一部分。

通过rtl模拟工具503来使用功能验证测试台502以功能性地验证芯片设计。在一些实施例中，功能验证测试台502可以包括与要被验证的模块不相关的单元。例如，功能验证测试台502可以包括与用于视频编码器模块的验证用例不相关的测试台控制逻辑。

在rtl模拟之后，测试结果可以存储在模拟日志和报告数据库504中，并且功率验证用例501的实际编码覆盖率值可以被存储在编码覆盖率数据库505中。

图6是示出了根据实施例的用于估计esl模型中的块的功率状态覆盖率的方法的流程图。在一些实施例中，块的功率状态覆盖率可以与该块中的ip的功能编码覆盖率具有直接的相关性。为了计算功率状态覆盖率，下面可以在等式1中定义功率状态覆盖率度量：

在等式1中，pscov代表esl模型中的块的功率状态覆盖率，sesl代表“错误状态”，即，验证用例被限定在esl模型中但是没有运行块中的ip的目标编码，sip代表“丢失状态”，即，验证用例被rtl设计功能编码覆盖率分析覆盖但是没能在esl模型中找到，而sboth代表“有效状态”，即，验证用例被限定在esl模型中并且被rtl设计功能代码覆盖率分析适当地覆盖。

在一些实施例中，等式1中的参数α可以是使用者限定的在0至1范围内的值。在一些实施例中，在确定功率状态覆盖率时，等式1中的参数α可以根据sip的影响因子来限定。

参考图6，在操作601中，为块选择至少一个验证用例。在一些实施例中，可以基于图4中示出的表404来选择验证用例。例如，用于mpeg编码器块的验证用例可以包括mpeg4_i_帧、mpeg4_p_帧、mpeg2_i_帧、mpeg2_p_帧以及mpeg1验证用例。在一些实施例中，在计算功率状态覆盖率之前可以将块覆盖率值初始化为0。

在操作602中，为选定的要被验证的验证用例中的一个设置目标覆盖率值。在一些实施例中，可以基于图4中示出的表404中的ctt来限定目标覆盖率值。例如，还参考图4，对于mpeg编码器的mpeg4状态，mpeg4_i_帧验证用例的目标覆盖率值可以是25％，而mpeg4_p_帧验证用例的目标覆盖率值可以是25％。在一些实施例中，目标覆盖率值可以在10％至100％的范围内。

在操作603中，执行了用于验证用例的rtl模拟。接着，在操作604中得到验证用例的实际覆盖率值。实际覆盖率值是作为rtl模拟的结果被验证用例实际覆盖的功能代码覆盖率的值。

在操作605中，确定实际覆盖率值是否大于或等于目标覆盖率值。如果是，那么在操作606中更新sboth和块覆盖率值，然后工艺继续至操作609。如果不是，那么工艺继续至操作607，如下面讨论。

在操作606中，可以通过对sboth添加固定的或变化的数字来更新sboth。在实施例中，在操作606中，可以根据下面的等式2更新块覆盖率值。

cb＝cb+cctj(等式2)

在等式2中，cb代表块覆盖率值，并且cctj代表块的被验证的第j个验证用例的实际覆盖率值。例如，cb在验证块的第一验证用例之前可以被初始化为0。如果第一验证用例的实际覆盖率值是30％(即，cct1＝30％)，那么cb被更新为30％。

在操作607中，如果验证用例满足一些标准，那么验证用例被添加至排除列表。在一些实施例中，操作607是可选的并且工艺继续至操作608。在一些实施例中，如果验证用例的实际覆盖率值在阈值以下，那么验证用例被添加至排除列表。如果验证用例被添加至排除列表，那么当下次计算该块的功率状态覆盖率时该验证用例可以不被用作块的验证用例的一个。在一些实施例中，如果被验证的验证用例已经列在排除列表中，该验证用例可以从进一步的操作中排除并且工艺返回至操作602，在该操作中，将验证块的下一个验证用例。在排除列表的帮助下，具有负面覆盖率影响的验证用例可以从测试中排除，因此功率状态覆盖率的计算能够更加精确。

在操作608中，更新sesl，然后工艺继续至操作609。在一些实施例中，可以通过对sesl添加固定的或变化的数字来更新sesl。

在操作609中，确定被验证的验证用例是否是块的最后的验证用例。如果是，那么工艺继续至操作610。如果不是，那么工艺返回至操作602，在操作602中，将验证块的下一个验证用例。

在操作610中，确定块覆盖率值是否大于或等于预定义的块覆盖率值。如果不是，那么在操作611中，为块添加至少一个新验证用例并且更新sip，然后工艺返回至操作602，在操作602中将验证该至少一个新验证用例。如果是，那么工艺继续至操作612。在一些实施例中，预定义的块覆盖率值可以定义为100％，这意味着块的整个设计都应当覆盖有规定的功率状态。

在操作611中，添加至块的该至少一个新验证用例可以从图2示出的esl验证用例202中选择。在操作611中，可以通过对sip添加固定的或变化的数字来更新sip。

在操作612中，计算块的功率状态覆盖率。在一些实施例中，可以根据等式1，使用sesl、sip和sboth的最终值来计算该功率状态覆盖率。

在一些实施例中，可以基于通过等式1计算的该esl模型中的每块的功率状态覆盖来计算esl模型的整个功率状态覆盖率。例如，可以在下面的等式3中定义功率状态覆盖率：

在等式3中，psall代表具有n块的esl模型的总功率状态覆盖率，psi代表在esl模型中第i块的功率状态覆盖率，i是自然数，而βi是第i块的权重值，并且所有βi的和等于1。在一些实施例中，每块的βi可以是相同的。在一些实施例中，可以根据每块的功率状态的数量和/或每块的验证用例的数量来限定βi。

图7是根据实施例的用于esl模型的初始的和更新的验证用例的示图。参考图7，表701示出了esl模型中用于验证模块的初始验证用例。表701的结构可以类似于图4中示出的表404。

表702示出了在执行了验证用例的rtl模拟之后的esl模型中用于验证模块的更新的验证用例。在一些实施例中，上述更新操作包括添加或去除用于功率状态的一些验证用例和/或添加或去除用于表701中的块的一些功率状态。

在一些实施例中，当图6中示出的方法600进行至操作611时，可以将新验证用例添加至表701。例如，表702中的项目703包括添加的新的验证用例。在一些实施例中，可以基于与新验证用例相关的目标覆盖率值来确定添加至表701的新验证用例。例如，如果新验证用例将要添加至表701中的视频压缩块，可以将指定给视频压缩块的验证用例中具有最高目标覆盖率的验证用例首先添加至表701中的视频压缩块。

在一些实施例中，当验证用例列在排除列表(该表可在图6中示出的操作607中更新)中时，可以从表701中去除该验证用例。例如，如果表702的项目704中的验证用例列在排除列表中，该验证用例可以从表702中去除并且当下次要验证视频编码器模块时，该验证用例可以不被选作视频编码器模块的验证用例。当下次要验证视频编码器模块时，与该验证用例关联的功率状态也可以被排除作为视频编码器模块的功率状态。

在表701的更新之后，可以相应地更新esl模型的块和/或功率状态。当下次同一模块要被验证时，更新的esl模型和验证用例可以用于该模块。通过这种方式，可以实现块和esk模型的更好的功率状态覆盖率。

图8是根据一些实施例的用于实现参考图1至图6所述的方法和系统实施例的硬件系统800的框图。系统800包括至少一个处理器802、网络接口804、输入和输出(i/o)器件806、存储介质(storage)808、存储器812和总线810。总线810将网络接口804、i/o器件806、储存器808和存储器812连接至处理器802。

在一些实施例中，存储器812包括随机存取存储器(ram)和/或其他的易失性存储器件和/或只读存储器(rom)和/或其他的非易失性存储器件。存储器812包括内核816和用户空间814，并且被配置为存储要被处理器802执行的程序指令以及被程序指令访问的数据。

在一些实施例中，网络接口804被配置为通过网络访问远程存储的程序指令和被程序指令访问的数据。i/o器件806包括输入器件和输出器件，并且被配置为使用户能够与系统800交互。输入器件包括例如键盘和鼠标等。输出器件包括例如显示器和打印机等。存储器件808被配置为存储程序指令和被程序指令访问的数据。存储介质808包括例如磁盘和光盘。

在一些实施例中，当执行程序指令时，处理器802被配置为执行参考图1和图6描述的方法或被配置作为参考图2和图5描述的系统。

在一些实施例中，程序指令存储在非暂时性计算机可读存储介质中，诸如一个或多个光学磁盘、硬盘和非易失性存储器件。在一些实施例中，图4中示出的表404和图7中示出的表701和702可以存储在非暂时性计算机可读存储介质的文件中。

本公开的实施例提供验证功率状态覆盖率和估计功率消耗的方法。本公开的实施例提供功率状态覆盖率度量和方法以基于通过给定ip的功能验证而获得的功能编码覆盖率来估计功率状态覆盖率。本公开的实施例可以检查esl模型是否具有任何丢失的功率状态以及esl模型中限定的功率状态是否是有效的功率状态并且覆盖芯片的大部分功能部分。本公开的实施例能够确定esl模型中的哪个功率状态是有效的，多少功能覆盖率与每个功率状态关联以及esl模型中的所有的功率状态的总设计覆盖率。

在一实施例中，在通过至少一个处理器执行的用于管理芯片设计中的模块的验证用例的方法中，创建包括用于模块的多个块的电子系统级(esl)模型。为多个块的每个限定至少一个esl功率状态。为esl功率状态的每个选择至少一个验证用例。为验证用例的每个设置目标覆盖率值。为每个验证用例的实施寄存器传输级(rtl)模拟。得到每个验证用例的实际覆盖率值。为多个块的每个更新esl功率状态和验证用例。

在一些实施例中，更新所述多个块的每个块的所述esl功率状态和所述验证用例包括基于所述目标覆盖率值和所述实际覆盖率值来更新所述多个块的每个块的所述esl功率状态和所述验证用例。

在一些实施例中，更新所述多个块的每个的所述esl功率状态和所述验证用例包括添加或去除所述esl功率状态的至少一个的至少一个验证用例或添加或去除所述块的至少一个的至少一个esl功率状态。

在另一个实施例中，在通过至少一个处理器实施的用于估计电子系统级(esl)模型中的块的功率状态覆盖率的方法中，为块设置第一值、第二值、第三值和块覆盖率值。为块选择至少一个验证用例。对于至少一个验证用例的每个：(a)设置目标覆盖率值，(b)实施寄存器传输级(rtl)模拟，(c)得到实际覆盖率值，(d)确定实际覆盖率值是否大于或等于目标覆盖率值，以及(e)当实际覆盖率值大于或等于目标覆盖率值时更新第一值和块覆盖率值。确定块覆盖率值大于或等于预限定的块覆盖率值。当块覆盖率值大于或等于预定义的块覆盖率值时计算块的功率状态覆盖率。

在一些实施例中，该方法还包括：当所述实际覆盖率值小于所述目标覆盖率值时，更新所述第二值。

在一些实施例中，该方法还包括：当所述块覆盖率值小于所述预定义的块覆盖率值时，为所述块添加至少一个新的验证用例并且更新所述第三值。

在一些实施例中，计算所述块的所述功率状态覆盖率包括基于所述第一值、所述第二值和所述第三值计算所述块的所述功率状态覆盖率。

在一些实施例中，所述第三值被影响因子更改。

在一些实施例中，在添加所述块的所述至少一个新的验证用例之后，计算所述块的所述功率状态覆盖率。

在一些实施例中，更新所述第一值、所述第二值或所述第三值包括添加固定或可变化的数字至所述第一值、所述第三值或所述第三值。

在一些实施例中，基于所述实际覆盖率值来更新所述块覆盖率值。

在一些实施例中，该方法还包括：如果所述验证用例的所述实际覆盖率值在阈值以下，将所述至少一个验证用例的验证用例添加至排除列表。

在一些实施例中，将所述排除列表中的所述验证用例从所述块的所述功率状态覆盖率的计算中排除出去。

在一些实施例中，基于与所述至少一个新的验证用例关联的所述目标覆盖率值来添加所述至少一个新的验证用例。

在又一个实施例中，在通过至少一个处理器实施的用于估计电子系统级(esl)模型的总功率状态覆盖率的方法中，为每个块设置第一值和第二值。为esl模型中的每个块选择至少一个验证用例。对于至少一个验证用例的每个，(a)设置目标覆盖率值，(b)实施寄存器传输级(rtl)模拟，(c)得到实际覆盖率值，(d)基于实际覆盖率值是否小于目标覆盖率值来更新第一值和第二值。为计算每个块的功率状态覆盖率。计算esl模型的总功率状态覆盖率。

在一些实施例中，计算所述块的所述功率状态覆盖率包括基于所述第一值、所述第二值来计算所述块的所述功率状态覆盖率。

在一些实施例中，计算所述esl模型的所述总功率状态覆盖率包括基于每个块的所述功率状态率来计算所述esl模型的所述总功率状态覆盖率。

在一些实施例中，基于每个块的所述功率状态覆盖率和权重值来计算所述esl模型的所述总功率状态覆盖率。

在一些实施例中，该方法还包括：基于所述目标覆盖率值和所述实际覆盖率值来更新所述esl模型中的每个块的所述至少一个验证用例。

在一些实施例中，该方法还包括：在更新了所述esl模型的每个块的所述至少一个验证用例之后，重新计算每个块的所述功率状态覆盖率和所述esl模型的所述总功率状态覆盖率。

以上论述了若干实施例的特征，使得本领域技术人员可以更好地理解本公开的各方面。本领域技术人员应该理解，他们可以容易地使用本发明作为基础来设计或修改用于实施与本文所介绍的实施例相同的目的和/或实现相同优点的其他工艺和结构。本领域技术人员也应该意识到，这种等同构造并不背离本发明的精神和范围，并且在不背离本发明的精神和范围的情况下，本文中他们可以做出多种变化、替换以及改变。