CN104346485B - 综合模型同仿真模型的时序约束一致性的验证***及方法 - Google Patents

Abstract

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

Description

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

技术领域

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

背景技术

综合模型，又称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。

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

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

Claims (8)

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

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

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

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

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

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

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

该***还包括一输入输出模块；

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

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

该***还包括一存储器；

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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