本发明属于ic验证,具体涉及一种随机种子控制的用例仿真方法和装置。
背景技术:
1、ic验证中,特别是在ic数字模块验证的动态仿真中,经常会构建随机用例,以尽可能的覆盖被验证设备的功能特性。一般地,被验证设备具有各种配置参数,供应用层根据具体需求来控制以便执行所需功能。因此,被验证设备功能的完备性需要通过构建随机用例去覆盖,并通过收敛功能覆盖率和代码覆盖率来达到验证目的。在这个过程中,随机用例的构建其实就是在控制配置参数的随机性。随机用例的构建通常有如下两种方法。
2、第一种是利用systemverilog的随机约束方法,构建一个配置参数被随机约束控制的场景,然后通过循环执行,以产生各种各样的配置参数值。为了尽可能多的覆盖配置参数的范围,会设置更多的循环次数。这种方法有个缺点,就是当循环过程中某一次的配置参数在动态仿真中发现了被验证设备的问题,这时候,就需要停下来重新提交仿真进程并加载对应的波形来具体定位问题,在这个过程中,如果问题出现的时间点比较靠后,所需要的仿真时间可能就要很长,而且,加载的仿真波形也会很大,这些都会影响问题定位的速度,从而影响验证进度,验证效率低。
3、第二种方法也是利用systemverilog的随机约束方法,构建一个配置参数被随机约束控制的场景,然后通过循环执行,但循环次数不设置很大,而是通过不同的随机种子不断提交仿真进程,以产生各种各样的配置参数值来覆盖不同功能点。同样地,当某个随机种子提交的仿真进程发现了被验证设备的缺陷时,需用同样的种子重新提交仿真进程,并加载波形以定位问题。该方法在复现有问题的场景时,速度比第一种方法有明显的提高。但是,在待验证设备的逻辑代码很多时或者跑网表仿真时,即使随机用例的循环次数设置很小,也可能要消耗很多时间去复现场景以及加载对应场景的波形,验证人员需要一直等待着仿真程序进行,比较浪费验证人员的时间。为在随机用例仿真过程中,验证人员是不知道何时才会遇到问题而停下来,有可能1个小时,或者1天,或者更久,所以需要验证人员经常性的去观察仿真状态,并且仿真停下来时还需要手动加载波形来复现,比较浪费时间,同样影响验证进度,验证效率低。
技术实现思路
1、本发明的目的在于提供一种随机种子控制的用例仿真方法和装置,用以解决现有技术中方法的验证效率低的问题。
2、为解决上述技术问题,本发明提供了一种随机种子控制的用例仿真方法,包括如下步骤:
3、1)构建随机用例,并用不同的随机种子对随机用例的仿真进程进行提交与仿真;
4、2)在随机用例的仿真进程中发现被验证设备有缺陷问题时,停止仿真;
5、3)利用步骤2)中发现缺陷问题的随机种子重新提交仿真进程进行场景复现,加载对应的波形文件并进行展示,以供验证人员对缺陷问题进行处理。
6、其有益效果为:本发明在随机用例发现缺陷问题时,利用发现缺陷问题的随机种子重新提交仿真进程进行场景复现,加载对应的波形文件并进行展示,整个过程全程自动化,帮助验证人员快速进行定位复现,提高验证效率;而且,该方法具有可复用性,任何设备验证都可直接采用该方法,方便项目迭代或交接,从而对整体项目的进度有所帮助。而且,采用该方法可以减少循环次数,以便减少发现问题时进行仿真波形复现的时间,同样提高了验证效率。
7、进一步地,在加载对应的波形文件后还需跳出警告窗口,以通知验证人员。
8、其有益效果为:在加载对应的波形文件后跳出警告窗口进行提示,从而使验证人员无需时刻盯着仿真进程,为验证人员节省了大量时间。
9、进一步地,步骤1)中利用systemverilog的随机约束特性构建随机用例。
10、进一步地,步骤2)后还需对发现缺陷问题的随机种子进行记录。
11、进一步地,步骤3)中所述处理包括问题定位、分析以及修复。
12、为解决上述技术问题,本发明还提供了一种随机种子控制的用例仿真装置,包括处理器,所述处理器用于执行程序指令以实现如下方法:
13、1)构建随机用例,并用不同的随机种子对随机用例的仿真进程进行提交与仿真;
14、2)在随机用例的仿真进程中发现被验证设备有缺陷问题时,停止仿真;
15、3)利用步骤2)中发现缺陷问题的随机种子重新提交仿真进程进行场景复现,加载对应的波形文件并进行展示,以供验证人员对缺陷问题进行处理。
16、其有益效果为:本发明的随机种子控制的用例仿真装置,该装置中包括处理器,处理器可以执行程序指令实现本发明的一种随机种子控制的用例仿真方法。该方法的主要构思在于,在随机用例发现缺陷问题时,利用发现缺陷问题的随机种子重新提交仿真进程进行场景复现,加载对应的波形文件并进行展示,整个过程全程自动化,帮助验证人员快速进行定位复现,提高验证效率;而且,该方法具有可复用性,任何设备验证都可直接采用该方法,方便项目迭代或交接,从而对整体项目的进度有所帮助。
17、进一步地,在加载对应的波形文件后还需跳出警告窗口,以通知验证人员。
18、其有益效果为:在加载对应的波形文件后跳出警告窗口进行提示,从而使验证人员无需时刻盯着仿真进程,为验证人员节省了大量时间。
19、进一步地,步骤1)中利用systemverilog的随机约束特性构建随机用例。
20、进一步地,步骤2)后还需对发现缺陷问题的随机种子进行记录。
21、进一步地,步骤3)中所述处理包括问题定位、分析以及修复。
1.一种随机种子控制的用例仿真方法,其特征在于,包括如下步骤:
2.根据权利要求1所述的随机种子控制的用例仿真方法,其特征在于,在加载对应的波形文件后还需跳出警告窗口,以通知验证人员。
3.根据权利要求1所述的随机种子控制的用例仿真方法,其特征在于,步骤1)中利用systemverilog的随机约束特性构建随机用例。
4.根据权利要求1~3任一项所述的随机种子控制的用例仿真方法,其特征在于,步骤2)后还需对发现缺陷问题的随机种子进行记录。
5.根据权利要求1~3任一项所述的随机种子控制的用例仿真方法,其特征在于,步骤3)中所述处理包括问题定位、分析以及修复。
6.一种随机种子控制的用例仿真装置,其特征在于,包括处理器,所述处理器用于执行程序指令以实现如下方法:
7.根据权利要求6所述的随机种子控制的用例仿真装置,其特征在于,在加载对应的波形文件后还需跳出警告窗口,以通知验证人员。
8.根据权利要求6所述的随机种子控制的用例仿真装置,其特征在于,步骤1)中利用systemverilog的随机约束特性构建随机用例。
9.根据权利要求6~8任一项所述的随机种子控制的用例仿真装置,其特征在于,步骤2)后还需对发现缺陷问题的随机种子进行记录。
10.根据权利要求6~8任一项所述的随机种子控制的用例仿真装置,其特征在于,步骤3)中所述处理包括问题定位、分析以及修复。