[发明专利]一种门级仿真网表文件正确性的验证方法及装置

权利要求书

1.一种门级仿真网表文件正确性的验证方法，其特征在于，包括以下步骤：

步骤1：创建cell类和netlist类；

步骤2：获取verilog网表文件；

步骤3：基于所述verilog网表文件做装箱、布局、布线处理生成仿真网表文件；

步骤4：创建一个Netlist对象实例A，解析verilog网表、装箱和布局生成的结果文件，根据解析到的信息，创建cell单元对象实例，并将信息存放到所述cell单元对象实例的属性中，再根据cell单元对象实例类型将所述cell单元对象实例添加到实例A中与该类型相对应的属性列表中；

步骤5：创建一个Netlist的实例B，解析仿真网表文件，根据解析到的信息，创建仿真网表的cell单元对象实例，并将信息存放到仿真网表的cell单元对象实例的属性中，再根据仿真网表的cell单元对象实例类型将所述仿真网表的cell单元对象实例添加到实例B中与该类型相对应的属性列表中；

步骤6：比对实例A和实例B中各单元属性列表的信息，在A,B两个实例相同资源列表中cell单元的实例名name相同时，比对cell实例的place属性是否相同，端口信号信息是否相同，配置属性是否一致；

在比对端口信号信息是否相同时，需要比对从各自实例的信号信息中提取到的原端口信号判断各输入端口的连接信号是否一致，配置参数是否一致；

当比对信息一致时，说明从verilog网表到后仿真网表的转换过程中，后仿真网表文件是正确的。

2.根据权利要求1所述的验证方法，其特征在于，所述属性列表包括：输入输出管脚信息列表、逻辑资源信息列表、存储资源信息列表以及数字信号处理资源信息列表。

3.根据权利要求2所述的验证方法，其特征在于，在比对端口信号信息是否相同时，在进行存储资源信息比对之前，对实例A的存储资源信息列表中各存储单元信息做进一步处理，将存储资源信息列表中具有相同存储逻辑名的存储器合并，并合并存储器的输入数据位端口信号以及输出数据位端口信号，同时修改跟数据位信号相关的存储器属性配置值。

4.根据权利要求3所述的验证方法，其特征在于，在对存储资源信息比对时，将根据实例A中存储资源信息列表中存储单元合并后的存储器与实例B中存储资源信息列表中的存储器信息进行比对。

5.根据权利要求2所述的验证方法，其特征在于，在比对端口信号信息是否相同时，在进行数字信号处理资源信息比对之前，对实例A的数字信号处理资源信息列表中各计算单元信息做进一步处理，将各计算单元的数据位宽调整为与当前数据位宽最接近且大于当前位宽的标准数据位宽位数，位宽不足的高位补零。

6.根据权利要求5所述的验证方法，其特征在于，在对数字信号处理资源信息比对时，根据实例A的数字信号处理资源信息列表中处理后的计算单元与实例B的数字信号处理资源信息列表中对应的计算单元信息进行比对。

7.一种门级仿真网表文件正确性的验证装置，其特征在于，包括以下模块：

类创建模块：用于创建cell单元类和netlist类；

获取模块：用于获取verilog网表文件；

实例A创建模块：用于创建一个Netlist对象实例A，解析verilog网表、装箱和布局生成的结果文件，根据解析到的信息，创建cell单元对象实例，并将信息存放到cell单元对象实例的属性中，再根据cell单元对象实例类型将所述cell单元对象实例添加到实例A中与该类型相对应的属性列表中；

实例B创建模块：用于创建一个Netlist的实例B，解析仿真网表文件，根据解析到的信息，创建仿真网表的cell单元对象实例，并将信息存放到仿真网表的cell单元对象实例的属性中，再根据仿真网表的cell单元对象实例类型将仿真网表的cell单元对象实例添加到实例B中与该类型相对应的属性列表中；

比对验证模块：用于比对实例A和实例B中各属性列表的信息，在A,B两个实例相同资源列表中cell单元的实例名name相同时，比对cell实例的place属性是否相同，端口信号信息是否相同，配置属性是否一致；在比对端口信号信息是否相同时，需要比对从各自实例的信号信息中提取到的原端口信号判断各输入端口的连接信号是否一致，配置参数是否一致；当比对信息一致时，说明从verilog网表到后仿真网表的转换过程中，后仿真网表文件是正确的。