一种随机种子控制的用例仿真方法和装置制造方法及图纸

本发明专利技术属于IC验证技术领域，具体涉及一种随机种子控制的用例仿真方法和装置。该方法首先构建随机用例，并用不同的随机种子对随机用例的仿真进程进行提交与仿真；然后在随机用例的仿真进程中发现被验证设备有缺陷问题时，停止仿真；最后利用发现缺陷问题的随机种子重新提交仿真进程进行场景复现，加载对应的波形文件并进行展示，以供验证人员对缺陷问题进行处理。整个过程全程自动化，帮助验证人员快速进行定位复现，提高验证效率；而且，该方法具有可复用性，任何设备验证都可直接采用该方法，从而对整体项目的进度有所帮助。而对整体项目的进度有所帮助。而对整体项目的进度有所帮助。

【技术实现步骤摘要】
一种随机种子控制的用例仿真方法和装置


[0001]本专利技术属于IC验证
，具体涉及一种随机种子控制的用例仿真方法和装置。

技术介绍

[0002]IC验证中，特别是在IC数字模块验证的动态仿真中，经常会构建随机用例，以尽可能的覆盖被验证设备的功能特性。一般地，被验证设备具有各种配置参数，供应用层根据具体需求来控制以便执行所需功能。因此，被验证设备功能的完备性需要通过构建随机用例去覆盖，并通过收敛功能覆盖率和代码覆盖率来达到验证目的。在这个过程中，随机用例的构建其实就是在控制配置参数的随机性。随机用例的构建通常有如下两种方法。
[0003]第一种是利用systemverilog的随机约束方法，构建一个配置参数被随机约束控制的场景，然后通过循环执行，以产生各种各样的配置参数值。为了尽可能多的覆盖配置参数的范围，会设置更多的循环次数。这种方法有个缺点，就是当循环过程中某一次的配置参数在动态仿真中发现了被验证设备的问题，这时候，就需要停下来重新提交仿真进程并加载对应的波形来具体定位问题，在这个过程中，如果问题出现的时间点比较靠后，所需要的仿真时间可能就要很长，而且，加载的仿真波形也会很大，这些都会影响问题定位的速度，从而影响验证进度，验证效率低。
[0004]第二种方法也是利用systemverilog的随机约束方法，构建一个配置参数被随机约束控制的场景，然后通过循环执行，但循环次数不设置很大，而是通过不同的随机种子不断提交仿真进程，以产生各种各样的配置参数值来覆盖不同功能点。同样地，当某个随机种子提交的仿真进程发现了被验证设备的缺陷时，需用同样的种子重新提交仿真进程，并加载波形以定位问题。该方法在复现有问题的场景时，速度比第一种方法有明显的提高。但是，在待验证设备的逻辑代码很多时或者跑网表仿真时，即使随机用例的循环次数设置很小，也可能要消耗很多时间去复现场景以及加载对应场景的波形，验证人员需要一直等待着仿真程序进行，比较浪费验证人员的时间。为在随机用例仿真过程中，验证人员是不知道何时才会遇到问题而停下来，有可能1个小时，或者1天，或者更久，所以需要验证人员经常性的去观察仿真状态，并且仿真停下来时还需要手动加载波形来复现，比较浪费时间，同样影响验证进度，验证效率低。

技术实现思路

[0005]本专利技术的目的在于提供一种随机种子控制的用例仿真方法和装置，用以解决现有技术中方法的验证效率低的问题。
[0006]为解决上述技术问题，本专利技术提供了一种随机种子控制的用例仿真方法，包括如下步骤：
[0007]1)构建随机用例，并用不同的随机种子对随机用例的仿真进程进行提交与仿真；
[0008]2)在随机用例的仿真进程中发现被验证设备有缺陷问题时，停止仿真；
[0009]3)利用步骤2)中发现缺陷问题的随机种子重新提交仿真进程进行场景复现，加载对应的波形文件并进行展示，以供验证人员对缺陷问题进行处理。
[0010]其有益效果为：本专利技术在随机用例发现缺陷问题时，利用发现缺陷问题的随机种子重新提交仿真进程进行场景复现，加载对应的波形文件并进行展示，整个过程全程自动化，帮助验证人员快速进行定位复现，提高验证效率；而且，该方法具有可复用性，任何设备验证都可直接采用该方法，方便项目迭代或交接，从而对整体项目的进度有所帮助。而且，采用该方法可以减少循环次数，以便减少发现问题时进行仿真波形复现的时间，同样提高了验证效率。
[0011]进一步地，在加载对应的波形文件后还需跳出警告窗口，以通知验证人员。
[0012]其有益效果为：在加载对应的波形文件后跳出警告窗口进行提示，从而使验证人员无需时刻盯着仿真进程，为验证人员节省了大量时间。
[0013]进一步地，步骤1)中利用systemverilog的随机约束特性构建随机用例。
[0014]进一步地，步骤2)后还需对发现缺陷问题的随机种子进行记录。
[0015]进一步地，步骤3)中所述处理包括问题定位、分析以及修复。
[0016]为解决上述技术问题，本专利技术还提供了一种随机种子控制的用例仿真装置，包括处理器，所述处理器用于执行程序指令以实现如下方法：
[0017]1)构建随机用例，并用不同的随机种子对随机用例的仿真进程进行提交与仿真；
[0018]2)在随机用例的仿真进程中发现被验证设备有缺陷问题时，停止仿真；
[0019]3)利用步骤2)中发现缺陷问题的随机种子重新提交仿真进程进行场景复现，加载对应的波形文件并进行展示，以供验证人员对缺陷问题进行处理。
[0020]其有益效果为：本专利技术的随机种子控制的用例仿真装置，该装置中包括处理器，处理器可以执行程序指令实现本专利技术的一种随机种子控制的用例仿真方法。该方法的主要构思在于，在随机用例发现缺陷问题时，利用发现缺陷问题的随机种子重新提交仿真进程进行场景复现，加载对应的波形文件并进行展示，整个过程全程自动化，帮助验证人员快速进行定位复现，提高验证效率；而且，该方法具有可复用性，任何设备验证都可直接采用该方法，方便项目迭代或交接，从而对整体项目的进度有所帮助。
[0021]进一步地，在加载对应的波形文件后还需跳出警告窗口，以通知验证人员。
[0022]其有益效果为：在加载对应的波形文件后跳出警告窗口进行提示，从而使验证人员无需时刻盯着仿真进程，为验证人员节省了大量时间。
[0023]进一步地，步骤1)中利用systemverilog的随机约束特性构建随机用例。
[0024]进一步地，步骤2)后还需对发现缺陷问题的随机种子进行记录。
[0025]进一步地，步骤3)中所述处理包括问题定位、分析以及修复。
附图说明
[0026]图1是本专利技术的随机种子控制的用例仿真方法的流程图。
具体实施方式
[0027]为了使本专利技术的目的、技术方案及优点更加清楚明了，以下结合附图及实施例，对本专利技术进行进一步详细说明。
[0028]方法实施例：
[0029]本专利技术的一种随机种子控制的用例仿真方法实施例，整体流程如图1所示，具体实施过程如下；
[0030]步骤1，构建随机用例，设置合理循环次数。
[0031]该步骤主要是利用systemverilog的随机约束特性进行随机用例的构建，设置合理循环次数是因为当在仿真过程中发现问题时，能够快速的进行场景复现以及定位。若循环次数设置很大，出现问题的时间点又比较靠后，就会影响验证效率。
[0032]而且，循环次数的设置需要综合考虑待验证设计本身的逻辑大小，比如有些设计本身逻辑很大，跑一次流程(循环里的其中一次)需要消耗很多时间，这时候设置的循环次数最好是2到3次；反之，有些设计本身逻辑很小，跑一次流程需要消耗很少时间，这时候设置的循环次数可以适量多一点，比如10次或20次等。
[0033]比如，这里可以定个标准，跑完一次循环总时间尽量不超过10分钟，若超过，设置最少次数2，如下：1)跑一次流程，仿真时间大于5分钟，此时本文档来自技高网...

【技术保护点】

【技术特征摘要】
1.一种随机种子控制的用例仿真方法，其特征在于，包括如下步骤：1)构建随机用例，并用不同的随机种子对随机用例的仿真进程进行提交与仿真；2)在随机用例的仿真进程中发现被验证设备有缺陷问题时，停止仿真；3)利用步骤2)中发现缺陷问题的随机种子重新提交仿真进程进行场景复现，加载对应的波形文件并进行展示，以供验证人员对缺陷问题进行处理。2.根据权利要求1所述的随机种子控制的用例仿真方法，其特征在于，在加载对应的波形文件后还需跳出警告窗口，以通知验证人员。3.根据权利要求1所述的随机种子控制的用例仿真方法，其特征在于，步骤1)中利用systemverilog的随机约束特性构建随机用例。4.根据权利要求1～3任一项所述的随机种子控制的用例仿真方法，其特征在于，步骤2)后还需对发现缺陷问题的随机种子进行记录。5.根据权利要求1～3任一项所述的随机种子控制的用例仿真方法，其特征在于，步骤3)中所述处理包括问题定位、分析以及修复。6.一种随机种子控制的用例仿...

【专利技术属性】
技术研发人员：陈俊寒，
申请(专利权)人：深圳智微电子科技有限公司，
类型：发明
国别省市：