[发明专利]综合模型同仿真模型的时序约束一致性的验证系统及方法

权利要求书

1.一种综合模型同仿真模型的时序约束一致性的验证系统，其特征在于，包括第一格式转换模块、第二格式转换模块、比较验证模块；

所述第一格式转换模块，用于按照综合模型文件到标准模型文件的格式转换规则，将选定的综合模型文件转换成标准模型文件；

所述第二格式转换模块，用于按照仿真模型文件到标准模型文件的格式转换规则，将选定的仿真模型文件转换成标准模型文件；

所述比较验证模块，用于将选定的综合模型文件转换成的标准模型文件的时序约束关键字，同选定的仿真模型文件转换成的标准模型文件的时序约束关键字进行比对，输出一比较结果文件，所述比较结果文件，包括选定的综合模型文件转换成的标准模型文件同选定的仿真模型文件转换成的标准模型文件两者间的不一致的时序约束关键字。

2.根据权利要求1所述的综合模型同仿真模型的时序约束一致性的验证系统，其特征在于，

所述格式转换规则，为时序约束相关的关键字的格式转换规则。

3.根据权利要求2所述的综合模型同仿真模型的时序约束一致性的验证系统，其特征在于，

该系统还包括一输入输出模块；

所述输入输出模块，用于输入选定的综合模型文件、仿真模型文件或输出比较结果文件。

4.根据权利要求3所述的综合模型同仿真模型的时序约束一致性的验证系统，其特征在于，

该系统还包括一存储器；

所述第一格式转换模块，将选定的综合模型文件转换成标准模型文件并存储到所述存储器；

所述第二格式转换模块，将选定的仿真模型文件转换成标准模型文件并存储到所述存储器；

所述比较验证模块，输出一比较结果文件到所述存储器；

所述存储器，用于存储选定的综合模型文件转换成的标准模型文件、选定的仿真模型文件转换成的标准模型文件及其对应的比较结果文件。

5.一种综合模型同仿真模型的时序约束一致性的验证方法，其特征在于，包括以下把步骤：

一.通过第一格式转换模块，按照综合模型文件到标准模型文件的格式转换规则，将选定的综合模型文件转换成标准模型文件；

通过第二格式转换模块，按照仿真模型文件到标准模型文件的格式转换规则，将选定的仿真模型文件转换成标准模型文件；

二.通过比较验证模块，将选定的综合模型文件转换成的标准模型文件的时序约束关键字，同选定的仿真模型文件转换成的标准模型文件的时序约束关键字进行比对，输出一比较结果文件，所述比较结果文件，包括选定的综合模型文件转换成的标准模型文件同选定的仿真模型文件转换成的标准模型文件两者间的不一致的时序约束关键字。

6.根据权利要求5所述的综合模型同仿真模型的时序约束一致性的验证方法，其特征在于，

所述格式转换规则，为时序约束相关的关键字的格式转换规则。

7.根据权利要求6所述的综合模型同仿真模型的时序约束一致性的验证方法，其特征在于，

通过输入输出模块，输入选定的综合模型文件、仿真模型文件或输出比较结果文件。

8.根据权利要求7所述的综合模型同仿真模型的时序约束一致性的验证方法，其特征在于，

所述第一格式转换模块，将选定的综合模型文件转换成标准模型文件并存储到存储器；

所述第二格式转换模块，将选定的仿真模型文件转换成标准模型文件并存储到存储器；

所述比较验证模块，输出一比较结果文件到存储器。