[发明专利]一种对集成电路设计自动裁剪的验证环境构建方法及装置

权利要求书

1.一种对集成电路设计自动裁剪的验证环境构建方法，其特征在于，所述方法包括：

提取集成电路中被裁剪模块的顶层文件，分析所述顶层文件，得到顶层数据信息；

基于所述顶层数据信息，确定所述被裁剪模块在对应的空顶层模块的处理方式；

对所述顶层文件进行全文检索，基于各所述处理方式对检索到的匹配内容进行剪裁后输出至所述空顶层模块中，生成空顶层文件；

构建验证环境，将所述空顶层文件加入至编译列表，并在所述被裁剪模块的实例化处基于所述空顶层模块进行模块名替换，完成裁剪。

2.根据权利要求1所述的方法，其特征在于，所述顶层数据信息包括所述被裁剪模块的输入端口信息、输出端口信息、双向端口信息、参数信息。

3.根据权利要求2所述的方法，其特征在于，所述基于所述顶层数据信息，确定所述被裁剪模块在对应的空顶层模块的处理方式，包括：

获取所述输出端口信息对应的第一信息含义，根据所述第一信息含义确定需要进行输出反馈的第一反馈输入信号数值；

基于所述第一反馈输入信号数值确定所述被裁剪模块在对应的空顶层模块的处理方式。

4.根据权利要求3所述的方法，其特征在于，所述获取所述输出端口信息对应的信息含义，根据所述信息含义确定需要进行输出反馈的输入信号数值之后，还包括：

获取所述双向端口信息对应的第二信息含义，确定所述第二信息含义对应的信号类别倾向；

当所述信号类别倾向为输入信号，则不对所述双向端口信息进行处理；

当所述信号类别倾向为输出信号，则确定所述双向端口信息需要进行输出反馈的第二反馈输入信号数值；

所述基于所述第一反馈输入信号数值确定所述被裁剪模块在对应的空顶层模块的处理方式，包括：

基于所述第一反馈输入信号数值与第二反馈输入信号数值确定所述被裁剪模块在对应的空顶层模块的处理方式。

5.根据权利要求1所述的方法，其特征在于，所述对所述顶层文件进行全文检索，基于各所述处理方式对检索到的匹配内容进行剪裁后输出至所述空顶层模块中，生成空顶层文件，包括：

通过关键字匹配的方式对所述顶层文件中待剪裁部分进行全文检索，确定检索到的匹配内容是否有对应的所述处理方式；

当所述匹配内容没有对应的所述处理方式时，将所述匹配内容输出至所述空顶层模块；

当所述匹配内容有对应的所述处理方式时，基于所述处理方式对所述匹配内容进行特定赋值操作后，将赋值后的所述匹配内容输出至所述空顶层模块；

基于各所述匹配内容生成空顶层文件。

6.一种对集成电路设计自动裁剪的验证环境构建装置，其特征在于，所述装置包括：

提取模块，用于提取集成电路中被裁剪模块的顶层文件，分析所述顶层文件，得到顶层数据信息；

确定模块，用于基于所述顶层数据信息，确定所述被裁剪模块在对应的空顶层模块的处理方式；

检索模块，用于对所述顶层文件进行全文检索，基于各所述处理方式对检索到的匹配内容进行剪裁后输出至所述空顶层模块中，生成空顶层文件；

编译模块，用于构建验证环境，将所述空顶层文件加入至编译列表，并在所述被裁剪模块的实例化处基于所述空顶层模块进行模块名替换，完成裁剪。

7.一种电子设备，包括存储器、处理器及存储在存储器上并可在处理器上运行的计算机程序，其特征在于，所述处理器执行所述计算机程序时实现如权利要求1-5任一项所述方法的步骤。

8.一种计算机可读存储介质，其上存储有计算机程序，其特征在于，所述计算机程序被处理器执行时实现如权利要求1-5任一项所述方法的步骤。