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

摘要

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

说明书

技术领域

本发明涉及集成电路的线路设计技术，特别涉及一种综合模型同仿真模型的时序约 束一致性的验证系统及方法。

背景技术

综合模型，又称synopsys模型，是指Synopsys公司的liberty格式所描述地带功 耗和时序信息的模型文件，通常在数字逻辑综合时会用到。

仿真模型，是指IEEE工业标准verilog硬件描述语言所描述的模型文件，通常在数 字逻辑仿真时会用到。

由于综合模型、仿真模型两种模型的格式不同，模型设计工程师难以验证两种模型 时序约束是否一致，模型设计工程师进行综合模型、仿真模型设计时无法及时发现两者 间的时序约束一致性差错，给客户芯片设计带来隐患。

发明内容

本发明要解决的技术问题是，便于模型设计工程师验证综合模型同仿真模型两种模 型的时序约束是否一致，提高综合模型同仿真模型的质量，减少设计成本，降低芯片设 计出错的风险。

为解决上述技术问题，本发明提供的综合模型同仿真模型的时序约束一致性的验证 系统，包括第一格式转换模块、第二格式转换模块、比较验证模块；

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

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

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

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

较佳的，该系统还包括一输入输出模块；

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

较佳的，该系统还包括一存储器；

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

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

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

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

为解决上述技术问题，本发明提供的综合模型同仿真模型的时序约束一致性的验证 方法，包括以下把步骤：

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

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

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

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

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

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

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

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

本发明的综合模型同仿真模型的时序约束一致性的验证系统及方法，把综合模型文 件、仿真模型文件各自的时序约束相关的关键字，分别按照相应的格式转换规则转换成 统一格式的标准模型文件，然后进行文本比较，把不一致的时序约束相关的关键字输出 到比较结果文件中，便于模型设计工程师验证综合模型同仿真模型两种模型的时序约束 是否一致，避免综合模型同仿真模型两种模型中的时序约束不一致，提高综合模型同仿 真模型的质量，减少设计成本，降低芯片设计出错的风险。

附图说明

为了更清楚地说明本发明的技术方案，下面对本发明所需要使用的附图作简单的介 绍，显而易见地，下面描述中的附图仅仅是本发明的一些实施例，对于本领域普通技术 人员来讲，在不付出创造性劳动的前提下，还可以根据这些附图获得其他的附图。

图1是本发明的综合模型同仿真模型的时序约束一致性的验证系统一实施例示意 图。

具体实施方式

下面将结合附图，对本发明中的技术方案进行清楚、完整的描述，显然，所描述的 实施例是本发明的一部分实施例，而不是全部的实施例。基于本发明中的实施例，本领 域普通技术人员在没有做出创造性劳动的前提下所获得的所有其它实施例，都属于本发 明保护的范围。

实施例一

综合模型同仿真模型的时序约束一致性的验证系统，如图1所示，包括第一格式转 换模块、第二格式转换模块、比较验证模块；

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

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

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

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

实施例一的综合模型同仿真模型的时序约束一致性的验证系统，把综合模型文件、 仿真模型文件各自的时序约束相关的关键字，分别按照相应的格式转换规则转换成统一 格式的标准模型文件，然后进行文本比较，把不一致的时序约束相关的关键字输出到比 较结果文件中，便于模型设计工程师验证综合模型同仿真模型两种模型的时序约束是否 一致，避免综合模型同仿真模型两种模型中的时序约束不一致，提高综合模型同仿真模 型的质量，减少设计成本，降低芯片设计出错的风险。

实施例二

基于实施例一的综合模型同仿真模型的时序约束一致性的验证系统，该系统还包括 一输入输出模块；

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

实施例三

基于实施例二的综合模型同仿真模型的时序约束一致性的验证系统，该系统还包括 一存储器；

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

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

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

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

实施例四

基于实施例一的综合模型同仿真模型的时序约束一致性的验证系统，一选定综合模 型文件如下：

其时序约束相关的关键字为：hold_rising，setup_rising，nochange_high_high， nochange_low_hifh，rise_constraint，fall_constraint，min_pulse_width_high， min_pulse_width_low，min_period，pin；

一选定仿真模型文件如下：

$period(posedgeA，1000)；

$width(posedgeA，1000)；

$width(negedgeA，1000)；

$hold(posedgeA，posedge B，1000)；

$setup(posedgeA，posedge B，1000)；

其时序约束相关的关键字为：$ho1d，$setup，$width，$nochange，$period， $posedge，$negedge；

标准模型文件的格式如下：

PERIOD A80000

WIDTH posedge A

WIDTH negedge A

SETUP posedge B posedge C

HOLD posedge A negedge B

NOCHANGE posedge D posedge E

其时序约束相关的关键字为：PERIOD，WIDTH，SETUP，HOLD，NOCHANGE，posedge, negedge；

比较结果文件如下：

NO Consistent  PERIOD A 80000

NO Consistent  WIDTH posedge A

NO Consistent  WIDTH negedge A

NO Consistent  SETUP posedge B posedge C

NO Consistent  HOLD posedge A negedge B

NO Consistent  NOCHANGE posedge D posedge E

不一致的时序约束关键字为：PERIOD，WIDTH，SETUP，HOLD，NOCHANGE，posedge, negedge。

模型设计工程师根据比较结果文件中的不一致的时序约束关键字，能便捷地验证综 合模型同仿真模型两种模型时序约束是否一致。

以上所述仅为本发明的较佳实施例而已，并不用以限制本发明，凡在本发明的精神 和原则之内，所做的任何修改、等同替换、改进等，均应包含在本发明保护的范围之内。