[发明专利]快速逻辑等价性验证方法、装置、设备及存储介质

权利要求书

1.一种快速逻辑等价性验证方法，其特征在于，所述快速逻辑等价性验证方法包括：

读取目标电路的RTL文件以及第一综合门级网表，并将所述RTL文件作为参考文件；

通过预置的逻辑识别算法对所述第一综合门级网表进行数据提取，生成对应的第一信息集合，并通过所述第一信息集合进行中间操作逻辑分析，生成对应的中间操作逻辑集合，其中，所述第一信息集合包括输入边界信息、输出边界信息以及内部结构信息；

通过所述中间操作逻辑集合进行模块数据提取，生成对应的子模块逻辑数据集合；

通过所述子模块逻辑数据集合对所述参考文件进行代码匹配，得到对应的RTL代码；

基于所述内部结构信息以及所述子模块逻辑数据集合，通过预置的内部综合器对所述RTL代码进行代码重组，生成第二综合门级网表；

对所述第一综合门级网表以及所述第二综合门级网表进行逻辑等价性验证，得到对应的逻辑等价性验证结果。

2.根据权利要求1所述的快速逻辑等价性验证方法，其特征在于，所述通过预置的逻辑识别算法对所述第一综合门级网表进行数据提取，生成对应的第一信息集合，并通过所述第一信息集合进行中间操作逻辑分析，生成对应的中间操作逻辑集合，其中，所述第一信息集合包输入边界信息、输出边界信息以及内部结构信息，包括：

通过预置的逻辑识别算法对所述第一综合门级网表进行算术子模块边界识别，得到对应的输入边界信息；

通过所述输入边界信息对所述第一综合门级网表进行内部结构识别，得到对应的内部结构信息；

通过所述输入边界信息对所述第一综合门级网表进行算术子模块边界识别，确定对应的输出边界信息；

将所述输入边界信息、输出边界信息以及内部结构信息合并为所述第一信息集合；

通过所述第一信息集合进行中间操作逻辑分析，生成对应的中间操作逻辑集合。

3.根据权利要求2所述的快速逻辑等价性验证方法，其特征在于，所述通过预置的逻辑识别算法对所述第一综合门级网表进行算术子模块边界识别，得到对应的输入边界信息，包括：

通过预置的逻辑识别算法对所述第一综合门级网表进行算术子模块识别，确定对应的多个算术子模块；

对多个所述算术子模块进行边界识别，确定对应的输入边界信息。

4.根据权利要求3所述的快速逻辑等价性验证方法，其特征在于，所述对多个所述算术子模块进行边界识别，确定对应的输入边界信息，包括：

对多个所述算术子模块进行类型识别，确定每个所述算术子模块对应的模块类型；

基于每个所述算术子模块对应的模块类型对多个所述算术子模块进行模块筛选，得到模块筛选结果；

当所述模块筛选结果为存在乘法器算术子模块时，对多个所述算术子模块中至少一个乘法器算术子模块进行编码方式识别，得到至少一个所述乘法器算术子模块对应的编码方式；

基于至少一个所述乘法器算术子模块对应的编码方式，对多个所述算术子模块中至少一个乘法器算术子模块进行输入边界识别，得到对应的乘法器输入边界信息；

对多个所述算术子模块中至少一个加法器算术子模块进行内部结构识别，得到对应的加法器输入边界信息；

将所述乘法器输入边界信息以及所述加法器输入边界信息合并为所述输入边界信息。

5.根据权利要求4所述的快速逻辑等价性验证方法，其特征在于，在所述将所述乘法器输入边界信息以及所述加法器输入边界信息合并为所述输入边界信息之后，还包括：

通过所述输入边界信息对至少一个乘法器算术子模块进行部分乘积识别，确定对应的乘积识别结果；

通过所述乘积识别结果对至少一个所述乘法器算术子模块进行内部结构识别，得到对应的乘法器内部结构信息；

对多个所述算术子模块中至少一个加法器算术子模块进行内部结构识别，得到对应的加法器内部结构信息；

将所述乘法器内部结构信息以及所述加法器内部结构信息合并为所述内部结构信息。