综合模型同仿真模型的时序约束一致性的验证系统及方法
【专利摘要】本发明公开了一种综合模型同仿真模型的时序约束一致性的验证系统，第一格式转换模块用于将综合模型文件转换成标准模型文件；第二格式转换模块用于将仿真模型文件转换成标准模型文件；比较验证模块，将综合模型文件、仿真模型文件转换成的标准模型文件的时序约束关键字进行比对，输出一比较结果文件，比较结果文件包括综合模型文件、仿真模型文件转换成的标准模型文件两者间的不一致的时序约束关键字。本发明还公开了一种综合模型同仿真模型的时序约束一致性的验证方法。本发明，便于模型设计工程师验证综合模型同仿真模型两种模型的时序约束是否一致。
【专利说明】综合模型同仿真模型的时序约束一致性的验证系统及方法
【技术领域】
[0001] 本发明涉及集成电路的线路设计技术，特别涉及一种综合模型同仿真模型的时序 约束一致性的验证系统及方法。
【背景技术】
[0002] 综合模型，又称synopsys模型，是指Synopsys公司的liberty格式所描述地带功 耗和时序信息的模型文件，通常在数字逻辑综合时会用到。
[0003] 仿真模型，是指IEEE工业标准verilog硬件描述语言所描述的模型文件，通常在 数字逻辑仿真时会用到。
[0004] 由于综合模型、仿真模型两种模型的格式不同，模型设计工程师难以验证两种模 型时序约束是否一致，模型设计工程师进行综合模型、仿真模型设计时无法及时发现两者 间的时序约束一致性差错，给客户芯片设计带来隐患。
【发明内容】
[0005] 本发明要解决的技术问题是，便于模型设计工程师验证综合模型同仿真模型两种 模型的时序约束是否一致，提高综合模型同仿真模型的质量，减少设计成本，降低芯片设计 出错的风险。
[0006] 为解决上述技术问题，本发明提供的综合模型同仿真模型的时序约束一致性的验 证系统，包括第一格式转换模块、第二格式转换模块、比较验证模块；
[0007] 所述第一格式转换模块，用于按照综合模型文件到标准模型文件的格式转换规 贝1J，将选定的综合模型文件转换成标准模型文件；
[0008] 所述第二格式转换模块，用于按照仿真模型文件到标准模型文件的格式转换规 贝1J，将选定的仿真模型文件转换成标准模型文件；
[0009] 所述比较验证模块，用于将选定的综合模型文件转换成的标准模型文件的时序约 束关键字，同选定的仿真模型文件转换成的标准模型文件的时序约束关键字进行比对，输 出一比较结果文件，所述比较结果文件，包括选定的综合模型文件转换成的标准模型文件 同选定的仿真模型文件转换成的标准模型文件两者间的不一致的时序约束关键字。
[0010] 较佳的，所述格式转换规则，为时序约束相关的关键字的格式转换规则。
[0011] 较佳的，该系统还包括一输入输出模块；
[0012] 所述输入输出模块，用于输入选定的综合模型文件、仿真模型文件或输出比较结 果文件。
[0013] 较佳的，该系统还包括一存储器；
[0014] 所述第一格式转换模块，将选定的综合模型文件转换成标准模型文件并存储到所 述存储器；
[0015] 所述第二格式转换模块，将选定的仿真模型文件转换成标准模型文件并存储到所 述存储器；
[0016] 所述比较验证模块，输出一比较结果文件到所述存储器；
[0017] 所述存储器，用于存储选定的综合模型文件转换成的标准模型文件、选定的仿真 模型文件转换成的标准模型文件及其对应的比较结果文件。
[0018]为解决上述技术问题，本发明提供的综合模型同仿真模型的时序约束一致性的验 证方法，包括以下把步骤：
[0019] 一 .通过第一格式转换模块，按照综合模型文件到标准模型文件的格式转换规 贝1J，将选定的综合模型文件转换成标准模型文件；
[0020] 通过第二格式转换模块，按照仿真模型文件到标准模型文件的格式转换规则，将 选定的仿真模型文件转换成标准模型文件；
[0021] 二.通过比较验证模块，将选定的综合模型文件转换成的标准模型文件的时序约 束关键字，同选定的仿真模型文件转换成的标准模型文件的时序约束关键字进行比对，输 出一比较结果文件，所述比较结果文件，包括选定的综合模型文件转换成的标准模型文件 同选定的仿真模型文件转换成的标准模型文件两者间的不一致的时序约束关键字。
[0022] 较佳的，所述格式转换规则，为时序约束相关的关键字的格式转换规则。
[0023] 较佳的，通过输入输出模块，输入选定的综合模型文件、仿真模型文件或输出比较 结果文件。
[0024] 较佳的，所述第一格式转换模块，将选定的综合模型文件转换成标准模型文件并 存储到存储器；
[0025] 所述第二格式转换模块，将选定的仿真模型文件转换成标准模型文件并存储到存 储器；
[0026] 所述比较验证模块，输出一比较结果文件到存储器。
[0027] 本发明的综合模型同仿真模型的时序约束一致性的验证系统及方法，把综合模型 文件、仿真模型文件各自的时序约束相关的关键字，分别按照相应的格式转换规则转换成 统一格式的标准模型文件，然后进行文本比较，把不一致的时序约束相关的关键字输出到 比较结果文件中，便于模型设计工程师验证综合模型同仿真模型两种模型的时序约束是否 一致，避免综合模型同仿真模型两种模型中的时序约束不一致，提高综合模型同仿真模型 的质量，减少设计成本，降低芯片设计出错的风险。
【专利附图】
【附图说明】
[0028]为了更清楚地说明本发明的技术方案，下面对本发明所需要使用的附图作简单的 介绍，显而易见地，下面描述中的附图仅仅是本发明的一些实施例，对于本领域普通技术人 员来讲，在不付出创造性劳动的前提下，还可以根据这些附图获得其他的附图。
[0029] 图1是本发明的综合模型同仿真模型的时序约束一致性的验证系统一实施例示 意图。
【具体实施方式】
[0030] 下面将结合附图，对本发明中的技术方案进行清楚、完整的描述，显然，所描述的 实施例是本发明的一部分实施例，而不是全部的实施例。基于本发明中的实施例，本领域普 通技术人员在没有做出创造性劳动的前提下所获得的所有其它实施例，都属于本发明保护 的范围。
[0031] 实施例一
[0032] 综合模型同仿真模型的时序约束一致性的验证系统，如图1所示，包括第一格式 转换模块、第二格式转换模块、比较验证模块；
[0033] 所述第一格式转换模块，用于按照综合模型文件到标准模型文件的格式转换规 贝1J，将选定的综合模型文件转换成标准模型文件；
[0034] 所述第二格式转换模块，用于按照仿真模型文件到标准模型文件的格式转换规 贝1J，将选定的仿真模型文件转换成标准模型文件；
[0035] 所述比较验证模块，用于将选定的综合模型文件转换成的标准模型文件的时序约 束关键字，同选定的仿真模型文件转换成的标准模型文件的时序约束关键字进行比对，输 出一比较结果文件，所述比较结果文件，包括选定的综合模型文件转换成的标准模型文件 同选定的仿真模型文件转换成的标准模型文件两者间的不一致的时序约束关键字。
[0036] 较佳的，所述格式转换规则，为时序约束相关的关键字的格式转换规则。
[0037] 实施例一的综合模型同仿真模型的时序约束一致性的验证系统，把综合模型文 件、仿真模型文件各自的时序约束相关的关键字，分别按照相应的格式转换规则转换成统 一格式的标准模型文件，然后进行文本比较，把不一致的时序约束相关的关键字输出到比 较结果文件中，便于模型设计工程师验证综合模型同仿真模型两种模型的时序约束是否一 致，避免综合模型同仿真模型两种模型中的时序约束不一致，提高综合模型同仿真模型的 质量，减少设计成本，降低芯片设计出错的风险。
[0038] 实施例二
[0039] 基于实施例一的综合模型同仿真模型的时序约束一致性的验证系统，该系统还包 括一输入输出模块；
[0040] 所述输入输出模块，用于输入选定的综合模型文件、仿真模型文件或输出比较结 果文件。
[0041] 实施例三
[0042] 基于实施例二的综合模型同仿真模型的时序约束一致性的验证系统，该系统还包 括一存储器；
[0043] 所述第一格式转换模块，将选定的综合模型文件转换成标准模型文件并存储到所 述存储器；
[0044] 所述第二格式转换模块，将选定的仿真模型文件转换成标准模型文件并存储到所 述存储器；
[0045] 所述比较验证模块，输出一比较结果文件到所述存储器；
[0046] 所述存储器，用于存储选定的综合模型文件转换成的标准模型文件、仿真模型文 件转换成的标准模型文件及其对应的比较结果文件。
[0047] 实施例四
[0048] 基于实施例一的综合模型同仿真模型的时序约束一致性的验证系统，一选定综合 模型文件如下：
[0049]
【权利要求】
1. 一种综合模型同仿真模型的时序约束一致性的验证系统，其特征在于，包括第一格 式转换模块、第二格式转换模块、比较验证模块； 所述第一格式转换模块，用于按照综合模型文件到标准模型文件的格式转换规则，将 选定的综合模型文件转换成标准模型文件； 所述第二格式转换模块，用于按照仿真模型文件到标准模型文件的格式转换规则，将 选定的仿真模型文件转换成标准模型文件； 所述比较验证模块，用于将选定的综合模型文件转换成的标准模型文件的时序约束关 键字，同选定的仿真模型文件转换成的标准模型文件的时序约束关键字进行比对，输出一 比较结果文件，所述比较结果文件，包括选定的综合模型文件转换成的标准模型文件同选 定的仿真模型文件转换成的标准模型文件两者间的不一致的时序约束关键字。
2. 根据权利要求1所述的综合模型同仿真模型的时序约束一致性的验证系统，其特征 在于， 所述格式转换规则，为时序约束相关的关键字的格式转换规则。
3. 根据权利要求2所述的综合模型同仿真模型的时序约束一致性的验证系统，其特征 在于， 该系统还包括一输入输出模块； 所述输入输出模块，用于输入选定的综合模型文件、仿真模型文件或输出比较结果文 件。
4. 根据权利要求3所述的综合模型同仿真模型的时序约束一致性的验证系统，其特征 在于， 该系统还包括一存储器； 所述第一格式转换模块，将选定的综合模型文件转换成标准模型文件并存储到所述存 储器； 所述第二格式转换模块，将选定的仿真模型文件转换成标准模型文件并存储到所述存 储器； 所述比较验证模块，输出一比较结果文件到所述存储器； 所述存储器，用于存储选定的综合模型文件转换成的标准模型文件、选定的仿真模型 文件转换成的标准模型文件及其对应的比较结果文件。
5. -种综合模型同仿真模型的时序约束一致性的验证方法，其特征在于，包括W下把 步骤： 一. 通过第一格式转换模块，按照综合模型文件到标准模型文件的格式转换规则，将 选定的综合模型文件转换成标准模型文件； 通过第二格式转换模块，按照仿真模型文件到标准模型文件的格式转换规则，将选定 的仿真模型文件转换成标准模型文件； 二. 通过比较验证模块，将选定的综合模型文件转换成的标准模型文件的时序约束关 键字，同选定的仿真模型文件转换成的标准模型文件的时序约束关键字进行比对，输出一 比较结果文件，所述比较结果文件，包括选定的综合模型文件转换成的标准模型文件同选 定的仿真模型文件转换成的标准模型文件两者间的不一致的时序约束关键字。
6. 根据权利要求5所述的综合模型同仿真模型的时序约束一致性的验证方法，其特征 在于， 所述格式转换规则，为时序约束相关的关键字的格式转换规则。
7. 根据权利要求6所述的综合模型同仿真模型的时序约束一致性的验证方法，其特征 在于， 通过输入输出模块，输入选定的综合模型文件、仿真模型文件或输出比较结果文件。
8. 根据权利要求7所述的综合模型同仿真模型的时序约束一致性的验证方法，其特征 在于， 所述第一格式转换模块，将选定的综合模型文件转换成标准模型文件并存储到存储 器； 所述第二格式转换模块，将选定的仿真模型文件转换成标准模型文件并存储到存储 器； 所述比较验证模块，输出一比较结果文件到存储器。
【文档编号】G06F17/50GK104346485SQ201310330694
【公开日】2015年2月11日 申请日期:2013年8月1日 优先权日:2013年8月1日
【发明者】周喆 申请人:上海华虹宏力半导体制造有限公司