[发明专利]用于生成网表的方法及装置、电子设备、存储介质

权利要求书

1.一种用于生成网表的方法，其特征在于，包括：

获取源端模块和目的端模块之间的连接关系；

在预设的设计文件中分别获取所述源端模块和所述目的端模块的位置信息；

根据所述连接关系和所述位置信息确定统一电源格式文件；

根据所述统一电源格式文件生成电源网表。

2.根据权利要求1所述的方法，其特征在于，根据所述统一电源格式文件生成电源网表后，还包括：

获取源端模块的源端名称和目的端模块的目的端名称；

获取形式化验证工具对应的验证文件格式；

按照所述验证文件格式存储所述源端名称、所述目的端名称和所述连接关系，获得验证文档。

3.根据权利要求2所述的方法，其特征在于，获得验证文档后，还包括：

将所述设计文件、所述电源网表和所述验证文档输入预设的形式化验证工具进行验证，获得验证结果。

4.根据权利要求3所述的方法，其特征在于，获得验证结果后，还包括：

将所述验证结果展示给用户。

5.一种用于生成网表的装置，其特征在于，包括：

连接关系获取模块，被配置为获取源端模块和目的端模块之间的连接关系；

位置信息获取模块，被配置为在预设的设计文件中分别获取所述源端模块和所述目的端模块的位置信息；

文件生成模块，被配置为根据所述连接关系和所述位置信息确定统一电源格式文件；

网表生成模块，被配置为根据所述统一电源格式文件生成电源网表。

6.根据权利要求5所述的装置，其特征在于，所述用于生成网表的装置，还包括：

转换模块，被配置为根据所述统一电源格式文件生成电源网表后，获取源端模块的源端名称和目的端模块的目的端名称；获取形式化验证工具对应的验证文件格式；按照所述验证文件格式存储所述源端名称、所述目的端名称和所述连接关系，获得验证文档。

7.根据权利要求6所述的装置，其特征在于，所述用于生成网表的装置，还包括：

验证模块，被配置为在获得验证文档后，将所述设计文件、所述电源网表和所述验证文档输入预设的形式化验证工具进行验证，获得验证结果。

8.根据权利要求7所述的装置，其特征在于，所述用于生成网表的装置，还包括：

显示模块，被配置为获得验证结果后，将所述验证结果展示给用户。

9.一种电子设备，包括处理器和存储有程序指令的存储器，其特征在于，所述处理器被配置为在执行所述程序指令时，执行如权利要求1至4任一项所述的用于生成网表的方法。

10.一种存储介质，存储有程序指令，其特征在于，所述程序指令在运行时，执行如权利要求1至4任一项所述的用于生成网表的方法。