[发明专利]验证设计的编译方法、电子设备及存储介质

权利要求书

1.一种验证设计的编译方法，其中，所述验证设计与多个子设计关联，所述编译方法包括：

在所述多个子设计中确定目标子设计的类型；

根据所述目标子设计的类型，确定与所述目标子设计的类型对应的编译单元；以及

利用所述编译单元对所述目标子设计进行编译；

其中，所述在所述多个子设计中确定目标子设计的类型进一步包括：

分析所述目标子设计的特征；以及

根据所述目标子设计的特征来分别确定所述目标子设计的类型。

2.根据权利要求1所述的方法，其中，所述多个子设计的类型包括待测设备类型、程序包类型或测试平台类型。

3.根据权利要求1所述的方法，其中，所述利用所述编译单元对所述目标子设计进行编译进一步包括：

根据所述目标子设计的类型，利用所述编译单元对所述目标子设计进行优化。

4.根据权利要求3所述的方法，其中，所述利用所述编译单元对所述目标子设计进行优化进一步包括：

利用所述编译单元基于所述目标子设计的特征对所述目标子设计进行优化。

5.根据权利要求1所述的方法，其中，所述编译单元为：

一个编译器，或者

一个编译器中的编译流程。

6.一种电子设备，包括：

存储器，用于存储一组指令；以及

至少一个处理器，配置为执行该组指令以进行如权利要求1至5任意一项所述的方法。

7.一种非暂态计算机可读存储介质，所述非暂态计算机可读存储介质存储电子装置的一组指令，该组指令用于使所述电子装置执行权利要求1至5任一所述方法。