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

摘要

本发明公开了一种综合模型同仿真模型的时序约束一致性的验证系统，第一格式转换模块用于将综合模型文件转换成标准模型文件；第二格式转换模块用于将仿真模型文件转换成标准模型文件；比较验证模块，将综合模型文件、仿真模型文件转换成的标准模型文件的时序约束关键字进行比对，输出一比较结果文件，比较结果文件包括综合模型文件、仿真模型文件转换成的标准模型文件两者间的不一致的时序约束关键字。本发明还公开了一种综合模型同仿真模型的时序约束一致性的验证方法。本发明，便于模型设计工程师验证综合模型同仿真模型两种模型的时序约束是否一致。

主权项

一种综合模型同仿真模型的时序约束一致性的验证系统，其特征在于，包括第一格式转换模块、第二格式转换模块、比较验证模块；所述第一格式转换模块，用于按照综合模型文件到标准模型文件的格式转换规则，将选定的综合模型文件转换成标准模型文件；所述第二格式转换模块，用于按照仿真模型文件到标准模型文件的格式转换规则，将选定的仿真模型文件转换成标准模型文件；所述比较验证模块，用于将选定的综合模型文件转换成的标准模型文件的时序约束关键字，同选定的仿真模型文件转换成的标准模型文件的时序约束关键字进行比对，输出一比较结果文件，所述比较结果文件，包括选定的综合模型文件转换成的标准模型文件同选定的仿真模型文件转换成的标准模型文件两者间的不一致的时序约束关键字。