CN117669439A - 复位模块仿真验证方法及系统、服务器和存储介质 - Google Patents
复位模块仿真验证方法及系统、服务器和存储介质 Download PDFInfo
- Publication number
- CN117669439A CN117669439A CN202410015325.0A CN202410015325A CN117669439A CN 117669439 A CN117669439 A CN 117669439A CN 202410015325 A CN202410015325 A CN 202410015325A CN 117669439 A CN117669439 A CN 117669439A
- Authority
- CN
- China
- Prior art keywords
- reset
- simulation
- verification
- use case
- verification method
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Pending
Links
- 238000012795 verification Methods 0.000 title claims abstract description 81
- 238000004088 simulation Methods 0.000 title claims abstract description 74
- 238000000034 method Methods 0.000 title claims abstract description 53
- 230000006870 function Effects 0.000 claims description 14
- 238000012986 modification Methods 0.000 claims description 11
- 230000004048 modification Effects 0.000 claims description 11
- 238000013461 design Methods 0.000 claims description 9
- 238000004590 computer program Methods 0.000 claims description 4
- 230000006641 stabilisation Effects 0.000 claims description 4
- 238000011105 stabilization Methods 0.000 claims description 4
- 238000010586 diagram Methods 0.000 description 7
- 230000003287 optical effect Effects 0.000 description 6
- 238000012545 processing Methods 0.000 description 6
- 230000008569 process Effects 0.000 description 5
- 238000012360 testing method Methods 0.000 description 5
- 230000009471 action Effects 0.000 description 3
- 230000006399 behavior Effects 0.000 description 2
- 230000000694 effects Effects 0.000 description 2
- 238000005516 engineering process Methods 0.000 description 2
- 238000000605 extraction Methods 0.000 description 2
- 238000004519 manufacturing process Methods 0.000 description 2
- 239000013307 optical fiber Substances 0.000 description 2
- 230000002093 peripheral effect Effects 0.000 description 2
- 230000000644 propagated effect Effects 0.000 description 2
- 238000004458 analytical method Methods 0.000 description 1
- 238000003491 array Methods 0.000 description 1
- 238000004891 communication Methods 0.000 description 1
- 238000010276 construction Methods 0.000 description 1
- 238000012938 design process Methods 0.000 description 1
- 230000005284 excitation Effects 0.000 description 1
- 239000004973 liquid crystal related substance Substances 0.000 description 1
- 239000000463 material Substances 0.000 description 1
- 238000012544 monitoring process Methods 0.000 description 1
- 230000004044 response Effects 0.000 description 1
- 238000012216 screening Methods 0.000 description 1
- 239000004065 semiconductor Substances 0.000 description 1
- 230000008054 signal transmission Effects 0.000 description 1
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F30/00—Computer-aided design [CAD]
- G06F30/30—Circuit design
- G06F30/32—Circuit design at the digital level
- G06F30/33—Design verification, e.g. functional simulation or model checking
Landscapes
- Engineering & Computer Science (AREA)
- Computer Hardware Design (AREA)
- Physics & Mathematics (AREA)
- Theoretical Computer Science (AREA)
- Evolutionary Computation (AREA)
- Geometry (AREA)
- General Engineering & Computer Science (AREA)
- General Physics & Mathematics (AREA)
- Tests Of Electronic Circuits (AREA)
Abstract
本发明公开了一种复位模块仿真验证方法及系统、服务器和存储介质。根据本发明实施例的复位模块仿真验证方法包括获取复位特征表，其中，所述复位特征表表征寄存位置、复位源种类、复位有效条件、用例名和二级复位使能中的至少一种；根据所述复位特征表和基础用例得到复位仿真方案；以及对所述复位仿真方案进行仿真。根据本发明实施例的复位模块仿真验证方法及系统、服务器和存储介质，可以实现多个复位源在多个场景下的组合验证，解决了用例编写繁琐的问题，大大提升了验证的效率与验证完备性，减少了验证成本。
Description
技术领域
本发明涉及集成电路仿真技术领域，特别涉及一种复位模块仿真验证方法及系统、服务器和存储介质。
背景技术
芯片仿真是指通过计算机软件模拟和分析芯片的行为和性能。在集成电路设计过程中，芯片仿真是至关重要的，它可以帮助工程师验证芯片的功能、性能和可靠性，发现潜在的问题，并进行优化设计。
芯片仿真通常涉及到模拟电路的行为，包括信号传输、功耗、时序等方面的性能。通过仿真工具，工程师可以对芯片的各个部分进行模拟，包括逻辑电路、模拟电路、时序电路等。这使得工程师能够在实际制造之前对芯片进行全面的测试和验证，从而减少了实际制造过程中可能出现的问题和成本。
在现有的芯片仿真应用中，复位仿真通常是集成电路设计中的重要环节，对于确保电路的可靠性和稳定性具有重要意义。复位仿真的目的是验证复位电路等的设计是否符合要求，能够在各种情况下正确地将电路复位。这包括对复位信号的生成、传播和响应进行仿真验证，以确保在实际应用中能够可靠地实现复位功能。但随着芯片功能日益丰富，复位源与复位场景的数量也随之增多，复位组合验证的数量急剧增加，如何高效的验证成为了当前急需解决的问题。
因此，希望能有一种新的复位模块仿真验证方法及系统、服务器和存储介质，能够解决上述问题。
发明内容
鉴于上述问题，本发明的目的在于提供一种复位模块仿真验证方法及系统、服务器和存储介质，特别是一种基于python的复位模块自动化验证方法，从而实现多个复位源在多个场景下的组合验证，解决用例编写繁琐的问题，大大提升验证的效率与验证完备性，减少验证成本。
根据本发明的一方面，提供一种复位模块仿真验证方法，包括：
获取复位特征表，其中，所述复位特征表表征寄存位置、复位源种类、复位有效条件、用例名和二级复位使能中的至少一种；
根据所述复位特征表和基础用例得到复位仿真方案；以及
对所述复位仿真方案进行仿真。
可选地，所述复位特征表使用数字表征所属寄存器和/或在寄存器中的第几bit；和/或
根据设计文档确定所述复位源种类；和/或
所述二级复位使能包括全部二级使能、全部不二级使能、有且仅有一个二级使能。
可选地，根据所述复位特征表和基础用例得到复位仿真方案包括：
获取所述基础用例；
根据所述复位特征表获取修改信息，所述修改信息包括所述寄存位置、所述复位源种类、所述复位有效条件、所述用例名和所述二级复位使能中的至少一种；
根据所述修改信息修改所述基础用例，以得到所述复位仿真方案。
可选地，使用指令编码表示所述复位仿真方案；
所述指令编码的一部分为加密的识别码；
所述指令编码表示验证场景阶段、验证场景号、复位源号、所述寄存位置、所述复位源种类、所述复位有效条件、所述用例名和所述二级复位使能中的至少一种。
可选地，对所述复位仿真方案进行仿真包括：
在支持器和事务器的配合下对复位源进行遍历验证；
所述支持器识别当前要验证的复位场景；
所述事务器调用所述当前要验证的复位场景的场景函数对相应的复位源进行验证，
其中，所述支持器定义了不同复位场景的调用函数，并用于是否复位、是否进中断和打标是否正确中的至少一个的检查。
可选地，对所述复位仿真方案进行仿真包括：
验证不同复位源的有效宽度、验证复位稳定时间和验证复位源在不同验证场景下是否有效中的至少一种。
可选地，所述复位模块仿真验证方法还包括：
根据所述复位特征表和所述基础用例得到多个所述复位仿真方案；
依次对多个所述复位仿真方案进行仿真。
根据本发明的另一方面，提供一种复位模块仿真验证系统，包括：
特征表单元，用于获取复位特征表，其中，所述复位特征表表征寄存位置、复位源种类、复位有效条件、用例名和二级复位使能中的至少一种；
方案单元，用于根据所述复位特征表和基础用例得到复位仿真方案；以及
仿真单元，用于对所述复位仿真方案进行仿真。
根据本发明的又一方面，提供一种计算装置，包括处理器；存储器，用于存储一个或多个程序，其中，当所述一个或多个程序被所述处理器执行，使得所述处理器实现如前所述的复位模块仿真验证方法。
根据本发明的再一方面，提供一种计算机可读存储介质，其上存储有计算机程序，其中，该程序被处理器执行时实现如前所述的复位模块仿真验证方法。
根据本发明实施例的复位模块仿真验证方法及系统、服务器和存储介质，根据复位特征表和基础用例得到复位仿真方法，进而进行验证，可以实现多个复位源在多个场景下的组合验证，大大提升了验证的效率与验证完备性，减少了验证成本。
进一步地，通过复位特征表的方式详细罗列表征复位信息，依靠复位特征表与脚本的配合最终实现多场景多复位源测试用例自动化生成，解决了复位模块验证复位源与复位场景多、用例编写繁琐的问题。
进一步地，使用指令编码表示复位仿真方案，指令编码的一部分为加密的识别码，能够避免与上电初始化时随机产生的数据冲突，保证了仿真验证的稳定性与准确性。
附图说明
通过以下参照附图对本发明实施例的描述，本发明的上述以及其他目的、特征和优点将更为清楚，在附图中：
图1示出了根据本发明实施例一的复位模块仿真验证方法的方法流程图；
图2示出了根据本发明实施例二的验证原理示意图；
图3示出了根据本发明实施例二的复位模块仿真验证方法的方法流程图；
图4示出了根据本发明实施例的复位模块仿真验证系统的结构示意图。
图5示出了根据发明实施例的服务器的结构示意图。
具体实施方式
以下将参照附图更详细地描述本发明的各种实施例。在各个附图中，相同的元件采用相同或类似的附图标记来表示。为了清楚起见，附图中的各个部分没有按比例绘制。此外，在图中可能未示出某些公知的部分。
下面结合附图和实施例，对本发明的具体实施方式作进一步详细描述。在下文中描述了本发明的许多特定的细节，例如部件的结构、材料、尺寸、处理工艺和技术，以便更清楚地理解本发明。但正如本领域的技术人员能够理解的那样，可以不按照这些特定的细节来实现本发明。
应当理解，在描述部件的结构时，当将一层、一个区域称为位于另一层、另一个区域“上面”或“上方”时，可以指直接位于另一层、另一个区域上面，或者在其与另一层、另一个区域之间还包含其它的层或区域。并且，如果将部件翻转，该一层、一个区域将位于另一层、另一个区域“下面”或“下方”。
图1示出了根据本发明实施例一的复位模块仿真验证方法的方法流程图。如图1所示，根据本发明实施例一的复位模块仿真验证方法包括以下步骤：
在步骤S101中，获取复位特征表；
获取复位特征表。该复位特征表可以是调用已有的表或是新生成相应的表。其中，复位特征表表征寄存位置、复位源种类、复位有效条件、用例名、一级复位使能和二级复位使能等中的至少一种。
在步骤S102中，根据所述复位特征表和基础用例得到复位仿真方案；
根据获取的复位特征表和基础用例，得到复位仿真方案。具体地，在该步骤中，首先获取基础用例；然后根据复位特征表获取修改信息；接着根据修改信息修改基础用例，以得到复位仿真方案。其中，修改信息可以包括寄存位置、复位源种类、复位有效条件、用例名和二级复位使能等中的至少一种。
在步骤S103中，对所述复位仿真方案进行仿真。
对得到的复位仿真方案进行仿真，以验证该复位仿真方案是否可行。可选地，对复位仿真方案的仿真包括验证不同复位源的有效宽度、验证复位稳定时间和验证复位源在不同验证场景下是否有效等中的至少一种。
在本发明的可选实施例中，复位特征表使用数字表征所属寄存器和/或在寄存器中的第几bit等；和/或复位特征表中根据设计文档确定复位源种类；和/或复位特征表中的二级复位使能包括全部二级使能、全部不二级使能、有且仅有一个二级使能。
在本发明的可选实施例中，根据复位特征表和基础用例得到多个复位仿真方案，依次对多个复位仿真方案进行仿真。
根据本发明实施例的复位模块仿真验证方法，特别是基于python的复位模块(rstmu)自动化验证方法，根据复位特征表和基础用例得到复位仿真方法，进而进行验证，可以实现多个复位源在多个场景下的组合验证，通过复位特征表的方式详细罗列出来，依靠复位特征表与基础用例(脚本)的配合最终实现多场景多复位源测试用例自动化生成；根据本发明实施例的仿真验证方法，能够解决复位(RSTMU)模块验证复位源与复位场景多，用例编写繁琐的问题，大大提升了验证的效率与验证完备性，减少了验证成本。
图2示出了根据本发明实施例二的验证原理示意图。图3示出了根据本发明实施例二的复位模块仿真验证方法的方法流程图。在本发明的可选实施例中，使用指令编码表示复位仿真方案。指令编码的一部分为加密的识别码；指令编码表示验证场景阶段、验证场景号、复位源号、寄存位置、复位源种类、复位有效条件、用例名和二级复位使能等中的至少一种。可选地，对复位仿真方案进行仿真包括：在支持器(asm)和事务器(transactor)的配合下对复位源进行遍历验证；所述支持器识别当前要验证的复位场景；所述事务器调用当前要验证的复位场景的场景函数对相应的复位源进行验证。其中，所述支持器定义了不同复位场景的调用函数，并用于是否复位、是否进中断和打标是否正确等中的至少一个的检查。
结合图2和图3所示，根据本发明实施例二的复位模块仿真验证方法包括以下步骤：
步骤一：获取复位特征(汇总)表；
获取复位特征表。如表一所示，复位特征表中列出了复位相关的控制信息以及复位源；表一所示的只是一个具体实施例，其中只列出了一部分，并非全部列出。
表一复位特征表
| 1 | SYSRSTFLAG_BIT | 31 | 30 | 29 | 28 |
| 2 | SYSRSTFLAG_FIELD | ReRstFlag | EMRstFlag | ERstFlag | PRstFlag |
| 3 | SYSRSTDGFLAG_BIT | 31 | 30 | 29 | 28 |
| 4 | SYSRSTDGFLAG_FIELD | ReDRstFlag | EMDRstFlag | EDRstFlag | PDRstFlag |
| 5 | SYSRSTCFG_BIT | 31 | 30 | 29 | 28 |
| 6 | SYSRSTCFG_FIELD | ReRstEn | EMRstEn | ERstEn | PRstEn |
| 7 | SYSRSTDGCFG_BIT | 31 | 30 | 29 | 28 |
| 8 | SYSRSTDGCFG_FIELD | ReDRstEn | EMDRstEn | EDRstEn | PDRstEn |
| 9 | RSTSOURCE | RED | EMD | ED | PD |
| 10 | RSTSOURCE_HIGH_EN | 1 | 0 | 1 | 0 |
| 11 | RSTSOURCE_FLAG | ReRstFlag | EMRstFlag | ERstFlag | PRstFlag |
| 12 | RSTSOURCE_DGFLAG | ReDRstFlag | EMDRstFlag | EDRstFlag | PDRstFlag |
| 13 | RSTSOURCE_STDEN_ENTER | 1 | 0 | 0 | 1 |
| 14 | RSTSOURCE_STDEN_IN | 1 | 1 | 1 | 0 |
| 15 | RSTSOURCE_STDEN_WAKE | 1 | 0 | 1 | 0 |
| 16 | RSTSOURCE_WIDTH | 1000 | 2000 | 50 | 3000 |
| 17 | RSTSOURCE_DELAY | 1 | 30 | 5 | 20 |
| 18 | RSTSOURCE_EN | ReRstEn | EMRstEn | ERstEn | PRstEn |
| 19 | RSTSOURCE_DGEN | ReDRstEn | EMDRstEn | EDRstEn | PDRstEn |
| 20 | CASE_NAME | rstmu_001 | rstmu_002 | rstmu_003 | rstmu_004 |
| 21 | EN | ReRstEn | ReRstEn | ||
| 22 | DGEN | ReDRstEn | ReDRstEn |
表一中的1～8行是根据复位(RSTMU)模块概要设计中SYSRSTFLAG，SYSRSTDGFLAG，SYSRSTCFG和SYSRSTDGCFG四个寄存器编写的，其中的数字代表了在寄存器中的第几bit；第9行是根据设计文档确认复位源种类；第10行到19行列出了复位源有效的相关条件；第20行是具体的用例编号名；21行和22行是二级复位使能，二级复位使能的配置原则是有二级使能开关的需遍历全开，全关，开其中之一四个配置。
其中，RSTSOURCE_HIGH_EN表示复位源是1(高电平)有效，还是0(低电平有效)；RSTSOURCE_FLAG表示当此复位生效时，对应的SYSRSTFLAG寄存器打标的FLAG位；RSTSOURCE_DGFLAG表示当此复位生效时，对应的SYSDFRSTFLAG寄存器打标的FLAG位；RSTSOURCE_STDEN_ENTER表示当进入STANDBY过程中，此复位是否有效；RSTSOURCE_STDEN_IN表示当在STANDBY过程中，此复位是否有效；RSTSOURCE_STDEN_WAKE表示当STANDBY唤醒过程中，此复位是否有效；RSTSOURCE_WIDTH表示复位源被force成复位有效状态持续的时间单位ns；RSTSOURCE_DELAY表示此复位源在上电或者退出STANDBY需要稳定的时间，由asm程序进行等待；RSTSOURCE_EN表示此复位源有效产生复位时，需要配置的一级使能位；RSTSOURCE_DGEN表示此复位源有效产生复位时，需要配置的二级使能位。
步骤二：对复位仿真方案进行仿真；
对根据复位特征表和基础用例得到复位仿真方案进行仿真。具体地，根据实际需求(不同的项目需求)对复位特征表进行修改，验证不同复位源的有效宽度、复位稳定时间、复位源在不同验证场景下等是否有效。同时对基础用例asm(支持器)与transactor(事务器)中的验证场景进行增加或删除；transactor中对各场景下的复位源进行force；asm中定义了进入不同验证场景的调用函数，并对是否复位、是否进中断、打标是否正确进行检查。
图2所示的程序是验证的主体部分，asm和transactor进行配合对复位源进行遍历验证，asm中通过对TR_FLAG进行判断来识别当前要验证的的复位场景。如图2所示，当前处于0xaa000101验证的是NVM_LP，asm中通过调用SET_R11对R11进行打标，在transactor中会根据R11的值去调用相应的场景函数对不同的复位源进行force。结合图2所示，·nvm_lp_on_rst()这一函数中的参数依次为RSTSOURCE、RSTSOURCE_HIGH、RSTSOURCE_WIDTH、TR_FLAG，监测产生告警后会将ASM_FLAG置为32’h010101。asm程序在监测到此ASM_FLAG值后认为复位已完成，将R11打标为0xaa010101。根据二级使能开关配置对是否复位、是否进中断、复位FLAG打标是否正确等进行检查，RST_INT_CHECK(n)，如果n为0表示既没有复位也没有中断，1表示产生了复位，2表示产生了中断；transactor中检测到R11为0xaa010101后会将ASM_FLAG置为32’haa00201进入下一个验证场景，依次遍历所有场景,之后换另外一个复位源依次遍历所有场景，直至所有复位源遍历所有的验证场景验证结束。
asm中的R11打标例如为SET_R11 0xaa 01 03 01。四个字节分别是：R11加密、场景阶段、场景号、复位源号。其中，R11加密：此字节是为了避免上电初始化时随机产生的R11与用例里面的值相等导致程序运行顺序错误。场景阶段：0代表开始进入场景，1代表结束并检查。场景号：1～10分别为RSA LP OFF，NVM LP ON，进入STANDBY，在STANDBY以及退出STANDBY，进入WAIT中，在WAIT中以及WAIT唤醒过程中，进入POWERDOWN，退出POWERDOWN唤醒过程中。中断源(复位源)号：根据芯片支持的中断源进行遍历。
步骤三：Python脚本实现测试用例自动生成。
python脚本的设计思路如图3所示，在调用之前需要根据复位特征表修改脚本中涉及的参数，通过脚本对复位特征表中的信息提取与基本用例的调用最终实现不同复位使能配置下的多复位源多场景复位测试激励的自动生成。可选地，二级使能配置与复位是否遍历之间的关系如图3所示，在判断复位场景和复位源是否遍历前，进行二级使能配置提取；在判断复位场景和复位源是否遍历后，判断二级使能配置是否遍历。
图4示出了根据本发明实施例的复位模块仿真验证系统的结构示意图。如图4所示，根据本发明实施例的复位模块仿真验证系统包括特征表单元100、方案单元200和仿真单元。
具体地讲，特征表单元100用于获取复位特征表。其中，复位特征表表征寄存位置、复位源种类、复位有效条件、用例名、一级复位使能和二级复位使能等中的至少一种。
方案单元200用于根据复位特征表和基础用例得到复位仿真方案。
仿真单元300用于对复位仿真方案进行仿真。
图5示出了根据发明实施例的服务器的结构示意图。
参考图5，本公开还提出了一种适于用来实现本公开实施例的示例性服务器(计算装置)的框图。需要明白的是，图5显示的服务器仅仅是一个示例，不应对本公开实施例的功能和使用范围带来任何限制。
如图5所示，服务器900以通用计算设备的形式表现。服务器900的组件可以包括但不限于：一个或者多个处理器或者处理单元910，存储器920，连接不同系统组件(包括存储器920和处理单元910)的总线901。
总线901表示几类总线结构中的一种或多种，包括存储器总线或者存储器控制器，外围总线，图形加速端口，处理器或者使用多种总线结构中的任意总线结构的局域总线。举例来说，这些体系结构包括但不限于工业标准体系结构(ISA)总线，微通道体系结构(MAC)总线，增强型ISA总线、视频电子标准协会(VESA)局域总线以及外围组件互连(PCI)总线。
服务器900典型地包括多种计算机系统可读介质。这些介质可以是任何能够被服务器900访问的可用介质，包括易失性和非易失性介质，可移动的和不可移动的介质。
系统存储器920可以包括易失性存储器形式的计算机系统可读介质，例如随机存取存储器(RAM)921和/或高速缓存存储器922。服务器900可以进一步包括其它可移动/不可移动的、易失性/非易失性计算机系统存储介质。仅作为举例，存储系统923可以用于读写不可移动的、非易失性磁介质(图5未显示，通常称为“硬盘驱动器”)。尽管图5中未示出，可以提供用于对可移动非易失性磁盘(例如“软盘”)读写的磁盘驱动器，以及对可移动非易失性光盘(例如CD-ROM，DVD-ROM或者其它光介质)读写的光盘驱动器。在这些情况下，每个驱动器可以通过一个或者多个数据介质接口与总线901相连。存储器920可以包括至少一个程序产品，该程序产品具有一组(例如至少一个)程序模块，这些程序模块被配置以执行本公开实施例各实施例的功能。
具有一组(至少一个)程序模块9241的程序/实用工具924，可以存储在例如存储器920中，这样的程序模块9241包括但不限于操作系统、一个或者多个应用程序、其它程序模块以及程序数据，这些示例中的每一个或某种组合中可能包括网络环境的实现。程序模块9241通常执行本公开实施例所描述的实施例中的功能和/或方法。
进一步地，服务器900也可以与显示器990通信连接，用于显示筛选排序的结果，该显示器990可以包括但不限于，液晶显示器(LCD)、发光二极管(LED)显示器和等离子体显示器。在一些实施方式中，该显示器990也可以是触摸屏。
进一步地，该服务器900还可与一个或者多个使得用户能与该服务器900交互的设备通信，和/或与使得该服务器900能与一个或多个其它计算设备进行通信的任何设备(例如网卡，调制解调器等等)通信。这种通信可以通过输入/输出(I/O)接口930进行。并且，服务器900还可以通过网络适配器940与一个或者多个网络(例如局域网(LAN)，广域网(WAN)和/或公共网络，例如因特网)通信。如图所示，网络适配器940通过总线901与服务器900的其它模块通信。应当明白，尽管图中未示出，可以结合服务器900使用其它硬件和/或软件模块，包括但不限于：微代码、设备驱动器、冗余处理单元、外部磁盘驱动阵列、RAID系统、磁带驱动器以及数据备份存储系统等。
处理单元910通过运行存储在系统存储器920中的程序，从而执行各种功能应用以及数据处理，例如实现本公开上述实施例所述的方法。
本公开还提供一种计算机可读存储介质，其上存储有计算机程序(或称为计算机可执行指令)，该程序被处理器执行时用于执行本公开上述实施例所述的方法，具体方法可参照权利要求书所述。
本公开实施例的计算机存储介质，可以采用一个或多个计算机可读的介质的任意组合。计算机可读介质可以是计算机可读信号介质或者计算机可读存储介质。计算机可读存储介质例如可以是但不限于电、磁、光、电磁、红外线、或半导体的系统、装置或器件，或者任意以上的组合。计算机可读存储介质的更具体的例子(非穷举的列表)包括：具有一个或多个导线的电连接、便携式计算机磁盘、硬盘、随机存取存储器(RAM)、只读存储器(ROM)、可擦式可编程只读存储器(EPROM或闪存)、光纤、便携式紧凑磁盘只读存储器(CD-ROM)、光存储器件、磁存储器件、或者上述的任意合适的组合。在本公开中，计算机可读存储介质可以是任何包含或存储程序的有形介质，该程序可以被指令执行系统、装置或者器件使用或者与其结合使用。
计算机可读的信号介质可以包括在基带中或者作为载波一部分传播的数据信号，其中承载了计算机可读的程序代码。这种传播的数据信号可以采用多种形式，包括但不限于电磁信号、光信号或上述的任意合适的组合。计算机可读的信号介质还可以是计算机可读存储介质以外的任何计算机可读介质，该计算机可读介质可以发送、传播或者传输用于由指令执行系统、装置或者器件使用或者与其结合使用的程序。
计算机可读介质上包含的程序代码可以用任何适当的介质传输，包括但不限于无线、电线、光缆、RF等等，或者上述的任意合适的组合。
可以以一种或多种程序设计语言或其组合来编写用于执行本公开实施例操作的计算机程序代码，所述程序设计语言包括面向对象的程序设计语言(诸如Java、Smalltalk、C++)，还包括常规的过程式程序设计语言诸如”C”语言或类似的程序设计语言。程序代码可以完全地在用户计算机上执行、部分地在用户计算机上执行、作为一个独立的软件包执行、部分在用户计算机上部分在远程计算机上执行、或者完全在远程计算机或服务器上执行。在涉及远程计算机的情形中，远程计算机可以通过任意种类的网络——包括局域网(LAN)或广域网(WAN)—连接到用户计算机，或者，可以连接到外部计算机(例如利用因特网服务提供商来通过因特网连接)。
应当说明的是，在本文中，诸如第一和第二等之类的关系术语仅仅用来将一个实体或者操作与另一个实体或操作区分开来，而不一定要求或者暗示这些实体或操作之间存在任何这种实际的关系或者顺序。而且，术语“包括”、“包含”或者其任何其他变体意在涵盖非排他性的包含，从而使得包括一系列要素的过程、方法、物品或者设备不仅包括那些要素，而且还包括没有明确列出的其他要素，或者是还包括为这种过程、方法、物品或者设备所固有的要素。在没有更多限制的情况下，由语句“包括一个……”限定的要素，并不排除在包括所述要素的过程、方法、物品或者设备中还存在另外的相同要素。
依照本发明的实施例如上文所述，这些实施例并没有详尽叙述所有的细节，也不限制该发明仅为所述的具体实施例。显然，根据以上描述，可作很多的修改和变化。本说明书选取并具体描述这些实施例，是为了更好地解释本发明的原理和实际应用，从而使所属技术领域技术人员能很好地利用本发明以及在本发明基础上的修改使用。本发明仅受权利要求书及其全部范围和等效物的限制。
Claims (10)
1.一种复位模块仿真验证方法，包括：
获取复位特征表，其中，所述复位特征表表征寄存位置、复位源种类、复位有效条件、用例名和二级复位使能中的至少一种；
根据所述复位特征表和基础用例得到复位仿真方案；以及
对所述复位仿真方案进行仿真。
2.根据权利要求1所述的复位模块仿真验证方法，其中，所述复位特征表使用数字表征所属寄存器和/或在寄存器中的第几bit；和/或
根据设计文档确定所述复位源种类；和/或
所述二级复位使能包括全部二级使能、全部不二级使能、有且仅有一个二级使能。
3.根据权利要求1所述的复位模块仿真验证方法，其中，根据所述复位特征表和基础用例得到复位仿真方案包括：
获取所述基础用例；
根据所述复位特征表获取修改信息，所述修改信息包括所述寄存位置、所述复位源种类、所述复位有效条件、所述用例名和所述二级复位使能中的至少一种；
根据所述修改信息修改所述基础用例，以得到所述复位仿真方案。
4.根据权利要求1所述的复位模块仿真验证方法，其中，使用指令编码表示所述复位仿真方案；
所述指令编码的一部分为加密的识别码；
所述指令编码表示验证场景阶段、验证场景号、复位源号、所述寄存位置、所述复位源种类、所述复位有效条件、所述用例名和所述二级复位使能中的至少一种。
5.根据权利要求1所述的复位模块仿真验证方法，其中，对所述复位仿真方案进行仿真包括：
在支持器和事务器的配合下对复位源进行遍历验证；
所述支持器识别当前要验证的复位场景；
所述事务器调用所述当前要验证的复位场景的场景函数对相应的复位源进行验证，
其中，所述支持器定义了不同复位场景的调用函数，并用于是否复位、是否进中断和打标是否正确中的至少一个的检查。
6.根据权利要求1所述的复位模块仿真验证方法，其中，对所述复位仿真方案进行仿真包括：
验证不同复位源的有效宽度、验证复位稳定时间和验证复位源在不同验证场景下是否有效中的至少一种。
7.根据权利要求1所述的复位模块仿真验证方法，其中，所述复位模块仿真验证方法还包括：
根据所述复位特征表和所述基础用例得到多个所述复位仿真方案；
依次对多个所述复位仿真方案进行仿真。
8.一种复位模块仿真验证系统，包括：
特征表单元，用于获取复位特征表，其中，所述复位特征表表征寄存位置、复位源种类、复位有效条件、用例名和二级复位使能中的至少一种；
方案单元，用于根据所述复位特征表和基础用例得到复位仿真方案；以及
仿真单元，用于对所述复位仿真方案进行仿真。
9.一种服务器，其特征在于，包括：
处理器；
存储器，用于存储一个或多个程序，
其中，当所述一个或多个程序被所述处理器执行，使得所述处理器实现如权利要求1至7中任一项所述的复位模块仿真验证方法。
10.一种计算机可读存储介质，其上存储有计算机程序，其中，该程序被处理器执行时实现如权利要求1至7中任一项所述的复位模块仿真验证方法。
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CN202410015325.0A CN117669439A (zh) | 2024-01-04 | 2024-01-04 | 复位模块仿真验证方法及系统、服务器和存储介质 |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CN202410015325.0A CN117669439A (zh) | 2024-01-04 | 2024-01-04 | 复位模块仿真验证方法及系统、服务器和存储介质 |
Publications (1)
| Publication Number | Publication Date |
|---|---|
| CN117669439A true CN117669439A (zh) | 2024-03-08 |
Family
ID=90079050
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| CN202410015325.0A Pending CN117669439A (zh) | 2024-01-04 | 2024-01-04 | 复位模块仿真验证方法及系统、服务器和存储介质 |
Country Status (1)
| Country | Link |
|---|---|
| CN (1) | CN117669439A (zh) |
-
2024
- 2024-01-04 CN CN202410015325.0A patent/CN117669439A/zh active Pending
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| US9990458B2 (en) | Generic design rule checking (DRC) test case extraction | |
| US7231627B2 (en) | Merging a hardware design language source file with a separate assertion file | |
| CN110928559B (zh) | 一种数据烧录方法、装置、电子设备及存储介质 | |
| CN113779912B (zh) | 一种芯片验证系统、方法、装置、电子设备及存储介质 | |
| CN110688111A (zh) | 业务流程的配置方法、装置、服务器和存储介质 | |
| CN110659210A (zh) | 一种信息获取方法、装置、电子设备及存储介质 | |
| CN114861578A (zh) | 保持时间违例修复方法、装置、设备及存储介质 | |
| CN114765051A (zh) | 内存测试方法及装置、可读存储介质、电子设备 | |
| CN106843947A (zh) | 代码缺陷的处理方法和装置 | |
| CN103677754A (zh) | 用于优化应用程序的并行构建的方法和系统 | |
| KR100288670B1 (ko) | 데이터세그먼트처리방법및정보처리시스템 | |
| US20180341723A1 (en) | Triggering untriggered assertions in design verification | |
| CN113673191A (zh) | 时序修正方法及装置、计算装置和存储介质 | |
| US6751752B1 (en) | Checking events generated by a device | |
| US8739091B1 (en) | Techniques for segmenting of hardware trace and verification of individual trace segments | |
| CN108399128A (zh) | 一种用户数据的生成方法、装置、服务器及存储介质 | |
| CN117494407A (zh) | 一种加速中央处理单元验证的方法及计算设备 | |
| CN117669439A (zh) | 复位模块仿真验证方法及系统、服务器和存储介质 | |
| CN116414762A (zh) | 一种PCIe链路控制方法、控制装置、设备及介质 | |
| CN114550809A (zh) | 多存储卡的测试方法、装置、计算机设备及存储介质 | |
| CN111461873A (zh) | 资金计划的校验方法、装置、服务器和存储介质 | |
| TWI670580B (zh) | 用於時鐘比較器正負號控制之電腦程式產品、電腦系統及電腦實施方法 | |
| CN112114811A (zh) | 一种编译方法、装置和设备 | |
| US20180121341A1 (en) | Method and apparatus for coverage analysis of srt look-up table | |
| CN111240928B (zh) | 设备驱动自动化检测方法、装置、设备及存储介质 |
Legal Events
| Date | Code | Title | Description |
|---|---|---|---|
| PB01 | Publication | ||
| PB01 | Publication | ||
| SE01 | Entry into force of request for substantive examination | ||
| SE01 | Entry into force of request for substantive examination |