一种验证方法、装置、电子设备及可读存储介质与流程

本发明涉及计算机，尤其涉及一种验证方法、装置、电子设备及可读存储介质。

背景技术：

1、在对芯片进行生产和研发的过程中，需要对其进行验证，芯片验证是芯片设计过程中的重要环节，能够有效降低芯片设计的风险和成本。

2、在对芯片进行验证的过程中，通常需要搭建与被测设计（design under test，dut）对应的参考模型（referencemodel，rm），并向被测设计与参考模型中灌入相同激励，并采集二者输出的结果进行比对，从而实现对被测设计的验证。

3、但是，由于芯片中各个模块或者子模块之间信号传输的顺序会影响被测设计最终输出的结果，在芯片中各个模块或者子模块之间耦合严重的情况下，上述验证方法还需要考虑到各个模块或者子模块之间复杂的时序关系，导致参考模型的搭建较为困难。

技术实现思路

1、本发明实施例提供一种验证方法、装置、电子设备及可读存储介质，可以解决相关技术中参考模型搭建困难的问题。

2、为了解决上述问题，本发明实施例公开了一种验证方法，所述方法包括：

3、确定被测设计中各被测单元之间的传输信号；

4、根据所述传输信号，建立所述被测设计对应的数据流模型；

5、根据所述被测设计中所述传输信号的时序特征，建立所述被测设计对应的功能模型；

6、基于所述数据流模型和所述功能模型，对所述被测设计进行验证。

7、另一方面，本发明实施例公开了一种验证装置，所述装置包括：

8、确定模块，用于确定被测设计中各被测单元之间的传输信号；

9、数据流模型建立模块，用于根据所述传输信号，建立所述被测设计对应的数据流模型；

10、功能模型建立模块，用于根据所述被测设计中所述传输信号的时序特征，建立所述被测设计对应的功能模型；

11、验证模块，用于基于所述数据流模型和所述功能模型，对所述被测设计进行验证。

12、再一方面，本发明实施例还公开了一种电子设备，所述电子设备包括处理器、存储器、通信接口和通信总线，所述处理器、所述存储器和所述通信接口通过所述通信总线完成相互间的通信；所述存储器用于存放可执行指令，所述可执行指令使所述处理器执行前述的验证方法。

13、本发明实施例还公开了一种可读存储介质，当所述可读存储介质中的指令由电子设备的处理器执行时，使得电子设备能够执行前述的验证方法。

14、本发明实施例包括以下优点：

15、本发明实施例提供了一种验证方法，可以根据被测设计中各被测单元之间的传输信号，建立被测设计对应的数据流模型；并根据被测设计中传输信号的时序特征，建立被测设计对应的功能模型；最后基于数据流模型和功能模型，实现对被测设计的验证。将在被测设计中传输的传输信号和传输信号的时序特征分别分离到数据流模型和功能模型中，由数据流模型和功能模型共同构成进行芯片验证的参考模型，在建立功能模型的过程中，只需要考虑传输信号的时序特征，在保证被测设计验证过程的可靠性的同时，也降低了参考模型搭建的难度，提高了本发明实施例提供的验证方法可实现性。

技术特征：

1.一种验证方法，其特征在于，所述方法包括：

2.根据权利要求1所述的方法，其特征在于，所述根据所述传输信号，建立所述被测设计对应的数据流模型，包括：

3.根据权利要求1所述的方法，其特征在于，所述传输信号包括请求信号和数据信号中的至少一项；

4.根据权利要求1所述的方法，其特征在于，所述基于所述数据流模型和所述功能模型，对所述被测设计进行验证，包括：

5.根据权利要求4所述的方法，其特征在于，在所述数据流模型中包括所述传输信号对应的数据处理逻辑的情况下，在根据所述传输信号对应的数据处理逻辑对所述初始参数值进行处理，得到目标处理结果之前，所述方法还包括：

6.根据权利要求4所述的方法，其特征在于，所述根据所述传输信号对应的数据处理逻辑对所述初始参数值进行处理，得到目标处理结果，包括：

7.根据权利要求3所述的方法，其特征在于，所述根据所述被测设计中所述传输信号的时序特征，建立所述被测设计对应的功能模型，包括：

8.一种验证装置，其特征在于，所述装置包括：

9.根据权利要求8所述的装置，其特征在于，所述数据流模型建立模块，包括：

10.根据权利要求8所述的装置，其特征在于，所述传输信号包括请求信号和数据信号中的至少一项；所述数据流模型建立模块，包括：

11.根据权利要求8所述的装置，其特征在于，所述验证模块，包括：

12.根据权利要求11所述的装置，其特征在于，在所述数据流模型中包括所述传输信号对应的数据处理逻辑的情况下，所述验证模块，还包括：

13.根据权利要求11所述的装置，其特征在于，所述输入子模块，包括：

14.一种电子设备，其特征在于，所述电子设备包括处理器、存储器、通信接口和通信总线，所述处理器、所述存储器和所述通信接口通过所述通信总线完成相互间的通信；所述存储器用于存放可执行指令，所述可执行指令使所述处理器执行如权利要求1至7中任一项所述的验证方法。

15.一种可读存储介质，其特征在于，当所述可读存储介质中的指令由电子设备的处理器执行时，使得所述处理器能够执行如权利要求1至7中任一项所述的验证方法。

技术总结
本发明实施例提供一种验证方法、装置、电子设备及可读存储介质，涉及计算机技术领域。该方法包括：确定被测设计中各被测单元之间的传输信号；根据传输信号，建立被测设计对应的数据流模型；根据被测设计中传输信号的时序特征，建立被测设计对应的功能模型；基于数据流模型和功能模型，对被测设计进行验证。本发明实施例在保证被测设计验证过程的可靠性的同时，也降低了参考模型搭建的难度，提高了本发明实施例提供的验证方法可实现性。

技术研发人员：管明星,梁森,何伟,莫贞霞,穆洋
受保护的技术使用者：北京开源芯片研究院
技术研发日：
技术公布日：2024/1/15