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

说明书

本申请涉及芯片技术领域，公开一种用于生成网表的方法，包括：获取源端模块和目的端模块之间的连接关系；在预设的设计文件中分别获取源端模块和目的端模块的位置信息；根据连接关系和位置信息确定统一电源格式文件；根据统一电源格式文件生成电源网表。这样，通过自动生成电源连接关系的统一电源格式文件，再自动根据统一电源格式文件生成电源网表，由于统一电源格式文件是自动生成的，减少了人为参与。使得生成统一电源格式文件的准确率更高，进而能够提高生成网表的准确率。本申请还公开一种用于生成网表的装置、电子设备、存储介质。

技术领域

本申请涉及芯片技术领域，例如涉及一种用于生成网表的方法及装置、电子设备、存储介质。

背景技术

通常，在芯片设计完成后，都会针对芯片生成网表，例如：公开号为CN113486611A的中国专利文件公开了：芯片设计流程通常包括：(1)规格定义；进行芯片需求分析、完成产品规格定义，以确定设计的整体方向。(2)系统设计；基于上述规格定义，明确芯片架构、业务模块、供电等系统级设计。(3)前端设计：根据上述系统设计确定的方案，针对各模块开展具体的电路设计，使用专门的硬件描述语言(例如，Verilog或VHDL或HDL等)，对具体的电路实现进行RTL(Register Transfer Level，寄存器传输级)级别的代码描述。代码生成后，需要严格按照已制定的规格标准，通过仿真验证来反复检验代码设计的正确性。之后，进行逻辑综合(简称“综合”)处理，即使用逻辑综合工具把用硬件描述语言写成的RTL级的代码转成门级网表(Gate-Level NetList)，以确保电路在面积、时序等目标参数上达到标准。公开号为CN105373668B的中国专利文件公开了：是现有芯片版图设计方法的流程图；首先进行标记101所对应的逻辑设计，通过逻辑设计形成芯片数字电路的原理图，逻辑设计的芯片数字电路的原理图芯片一般采用行为级描述如寄存器(RTL)级描述。然后进行标记102所对应的逻辑综合步骤，逻辑综合步骤用于将RTL级描述的芯片数字电路转换成门级网表描述的电路，门级网表描述中需要采用标准单元库1，标准单元库1是和实际生产中的工艺相关的数据库，通过将标准单元库1中的实际的逻辑单元映射到RTL级描述的电路，实现原理图到和实际工艺相关的电路的转换。

上述的网表，均是针对芯片的电路结构形成的网表。但是芯片进行运行，通常是需要与电源进行连接的。因此，芯片中各电路与电源之间的连接关系同样需要通过网表的形式展示给用户。相关技术中，通常通过模拟设计工程师确认芯片中各个模块与电源之间的电源连接关系并编写电源设计文档。再由模拟设计工程师根据电源设计文档编写UPF(Unified Power Format，统一电源格式文件)文件，然后再对UPF文件进行综合实现，获得电源网表。但是由用户编写电源连接关系的电源设计文档，再由用户根据电源设计文档实现成电源网表，获得的电源网表可能存在错误。

发明内容

为了对披露的实施例的一些方面有基本的理解，下面给出了简单的概括。所述概括不是泛泛评述，也不是要确定关键/重要组成元素或描绘这些实施例的保护范围，而是作为后面的详细说明的序言。

本公开实施例提供了一种用于生成网表的方法及装置、电子设备、存储介质，以提高生成网表的准确率。

在一些实施例中，所述用于生成网表的方法，包括：获取源端模块和目的端模块之间的连接关系；在预设的设计文件中分别获取源端模块和目的端模块的位置信息；根据所述连接关系和所述位置信息确定统一电源格式文件；根据所述统一电源格式文件生成电源网表。

在一些实施例中，根据所述统一电源格式文件生成电源网表后，还包括：获取源端模块的源端名称和目的端模块的目的端名称；获取形式化验证工具对应的验证文件格式；按照所述验证文件格式存储所述源端名称、所述目的端名称和所述连接关系，获得验证文档。

在一些实施例中，获得验证文档后，还包括：将所述设计文件、所述电源网表和所述验证文档输入预设的形式化验证工具进行验证，获得验证结果。

在一些实施例中，获得验证结果后，还包括：将所述验证结果展示给用户。