综合模型同仿真模型的时序约束一致性的验证系统及方法

摘要

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