调整随机权重的方法技术

本发明专利技术公开了一种调整随机权重的方法，利用随机权重分布产生随机激励，通过建立对应的功能覆盖率点来收集功能覆盖率，用以判定权重值的合理性。本发明专利技术能够使随机激励有量化参照，对特定的功能有更高的验证覆盖率。

【技术实现步骤摘要】

本专利技术涉及一种验证中产生激励的方法，特别是涉及一种。
技术介绍
验证是保证芯片功能正确的必要条件，而充分的验证更能保证芯片在各种极端激 励条件下工作正常，除了最基本的正常激励外，异常的激励，边缘条件激励的灌入也是验证 的一个重点，随机验证方法能够提供大量的异常激励和极端条件激励，但是激励的质量需 要有个量化指标进行监控，同时激励的产生必须有约束控制。
技术实现思路
本专利技术要解决的技术问题是提供一种，能够使随机激励有量 化参照，对特定的功能有更高的验证覆盖率。 为解决上述技术问题，本专利技术的是采用如下技术方案实现 的；利用随机权重分布产生随机激励，通过建立对应的功能覆盖率点来收集功能覆盖率，用 W判定权重值的合理性。本专利技术WSystemVerilog(硬件设计验证语言，I邸EP1800规范）验证分支语言 作为基础，利用有权重分配的约束产生随机激励，利用功能覆盖点收集功能覆盖率；通过功 能覆盖率的收集，分析覆盖率结果，进而调整随机权重，得到合适的随机激励。 所述收集功能覆盖率可W直接针对产生的激励进行功能覆盖率收集，或是针对最 终逻辑输出结果进行功能覆盖率收集。 通过所述功能覆盖率收集，来修改激励的随机权重值，通过多次仿真收集功能覆 盖率，最终得到合理的激励。 本专利技术与传统的随机验证方法相比，能够使随机激励有量化参照，并调整随机权 重，对特定的功能有更高的验证覆盖率。 本专利技术能快速的产生更有意义的验证激励，提高验证效率，降低验证时间，在有限 的回归验证中，更多的触及边缘极端情况，并且产生激励效率的量化结果，W达到验证需 要，更快的完成逻辑验证。 本专利技术使用SystemVerilog验证分支语言作为验证描述语言，适用于逻辑激励有 一定要求，并且对逻辑仿真结果产生影响有一定延续性和累计效果的项目。【附图说明】 下面结合附图与【具体实施方式】对本专利技术作进一步详细的说明： 附图是覆盖率收集结果报表。【具体实施方式】 下面是本专利技术的一实施例，可W更好的理解本专利技术的技术方案和效果。SystemVerilog验证分支语言中提供了随机数的产生方法，并且在此基础上可W 通过约束加W限制，比如带权重的随机约束：Input-datadist{ :/1, 0: = 2, 3: = 5} 可W通过：=W及；/后面设置的权重值，来调整激励产生的概率。System Verilog验证分支语言中除了随机约束可W设置权重，还有randcase(随机判例），W及 randsequence(随机序列）都可W通过加权重来产生随机激励，权重值的设置也适用于本 专利技术的描述。 上例中权重值越大对应的出现概率也就越大，输入数据本身意义不大，而且输入 很容易遍历，但是输出是影响验证的关键，因为输入的数据对最终输出有个累计的效果。比 如： 输入1，2输出保持，在送里出现概率为"1/8"，输入0输出立刻升为7,在送里出现 概率为"2/8"，输入连续η个3输出减1，在送里出现概率为"5/8"，输出的最大值为0,送 里的逻辑仅作为例子，并不局限于送个应用。在送里比较关必输出为0~7的值，主要是输 出为0~6并且跳变为7的送个过程，目标是产生足够0~6跳变为7的状态转换过程，并 且所有状态转换过程出现概率相同。 在本例中通过SystemVerilog验证分支语言中状态转换功能覆盖率收集的方式 来收集从0~6跳变为7的状态转换过程： 通过上面语句产生了 7个功能覆盖率点，通过逻辑仿真可W得到7个功能覆盖率 点最后的统计情况。如附图所示，Bins代表一组功能覆盖率点，送里已经将结果通过数字 量化出来；其中NAME代表每个功能覆盖率点的名字，所W101代表功能覆盖点TR;因为使 用"□"描述功能覆盖点，即按实际仿真情况生成功能覆盖点，所W102为实际0~6跳变 为7的描述。图中COUNT代表功能覆盖率点的收集次数，所W103为仿真中对应的102固 变出现的次数。图中ATLEAST代表最少需要收集的次数，所W104为要求的最少次数。如 果从0到7的跳变太少，表示输入3的出现概率太低，同时也表示输入0的概率太高，可W 把3的权重值"5"改为"10"，或者把0的权重值改为"1 "。反之从0到7的跳变太多，表 示输入3的出现概率太高，而且输入0的概率太低，可W把3的权重值"5"改为"2"，或者 把ο的权重值改为"4"，可w通过调整输入随机约束的权重值最后达到需要的激励。 功能覆盖率可W有很多描述方式，除了前面例子所描述的状态转换，也可W描述 单纯的状态，还可W多个功能覆盖点进行相交，W通过功能覆盖率来描述最终要求的功能。 设置权重值之后，可W通过在功能覆盖率描述选项中设置最少覆盖量： option.at_least=number； 后续的仿真就可W只看总的功能覆盖率百分比就可W知道随机激励的分布情况 是否达标，如果之后的仿真覆盖率没有达到预期的100%，说明在大量的随机过程中，前面 设置的权重还有进一步调整的需要。 W上通过【具体实施方式】对本专利技术进行了详细的说明，但送些并非构成对本专利技术的 限制。在不脱离本专利技术原理的情况下，本领域的技术人员还可做出许多变形和改进，送些也 应视为本专利技术的保护范围。【主权项】1. 一种，其特征在于：利用随机权重分布产生随机激励，通过建 立对应的功能覆盖率点来收集功能覆盖率，用以判定权重值的合理性。2. 如权利要求1所述的方法，其特征在于：所述收集功能覆盖率可以直接针对产生的 激励进行功能覆盖率收集，或是针对最终逻辑输出结果进行功能覆盖率收集。3. 如权利要求1所述的方法，其特征在于：通过所述功能覆盖率收集，来修改激励的随 机权重值，通过多次仿真收集功能覆盖率，最终得到合理的激励。【专利摘要】本专利技术公开了一种，利用随机权重分布产生随机激励，通过建立对应的功能覆盖率点来收集功能覆盖率，用以判定权重值的合理性。本专利技术能够使随机激励有量化参照，对特定的功能有更高的验证覆盖率。【IPC分类】G06F9/44, G06F11/26【公开号】CN105279062【申请号】CN201410354126【专利技术人】朱思良 【申请人】上海华虹集成电路有限责任公司【公开日】2016年1月27日【申请日】2014年7月24日本文档来自技高网...

【技术保护点】
一种调整随机权重的方法，其特征在于：利用随机权重分布产生随机激励，通过建立对应的功能覆盖率点来收集功能覆盖率，用以判定权重值的合理性。

【技术特征摘要】

【专利技术属性】
技术研发人员：朱思良，
申请(专利权)人：上海华虹集成电路有限责任公司，
类型：发明
国别省市：上海;31