[发明专利]一种库单元时延功耗状态完整性的检查方法

说明书

一种库单元时延功耗状态完整性的检查方法，包括步骤：获取单元库中定义的所有状态集合，组成目标集合；根据所有管脚的名称枚举出所有状态集合，组成状态总集合；根据单元的功能定义，以及不同模型的特点从所述目标集合中求出非法状态集合；基于所述非法状态集合，比较所述状态总集合和所述目标集合，得出重复和缺失的状态集合。本发明提供的库单元时延功耗状态完整性的检查方法，通过检查定义时延和功耗的条件，对时序单元库（Timing Library）中的状态（condition）完备性进行分析，查找出错误定义、重复定义，以及遗漏的状态。

技术领域

本发明涉及集成电路计算机辅助设计领域，尤其涉及一种库单元时延功耗状态完整性的检查方法。

背景技术

在标准单元库、I/O库以及IP器件的时延和功耗定义中，为了计算的准确性，模型都是分不同的状态定义的。在库文件中，时延功耗模型有三种定义格式：leakage_power()、internal_power()及timing()，状态则是用属性when定义在不同的格式中。

而现在的库文件都是由siliconsmart以及liberate等工具自动生成，由于提取库中模型的选项较多，会出现状态定义混乱的情况，目前没有完整的解决方案，因而需要检查状态的完整性。

图1为现有技术中单元及管脚状态定义格式图。在时延和功耗模型中，有三种类型的状态定义需要检查完备性，截取其中的片段进行说明，如图1所示：leakage_power()定义在cell的下一层，分不同的状态定义具体功耗值；internal_power()定义在pin的下一层，分不同的状态，其中有些有定义related_pin，有些没有定义related_pin；timing()也定义在pin的下一层，分不同的状态，不同的timing_type，但是必须定义related_pin。

直观的检查状态完整性的方法，是通过选择所有的输入管脚（pin）进行状态枚举，然后比对枚举结果和出现的状态。

然而实际情况并没有这么简单，模型类型以及输出pin定义的功能（function）格式不同时，状态定义的规则也会不同。并且，还存在双输出、三态、状态表，以及ff和latch等定义更复杂的情况。此时，就需要根据输入输出pin的名称，以及定义的function内容，过滤出可行的状态。

一般情况下，库单元不同模型中状态定义需要满足以下条件：

1）leakage_power()状态，包含有输出pin的状态，利用function定义内容检查，进行布尔表达式的分析，判断哪些状态是可行的；

2）timing()状态，定义在两个端点之间（arc）的时序关系，包括一个输入pin和一个输出pin，输入pin的信号变化会引起输出pin的信号变化，也就是说状态不能确定输出的信号；

3）internal_power()状态，此种状态比较特殊，当定义在两个端点之间（arc）时和timing()状态类似；当定义在在输入pin时，该输入pin的信号变化不会引起输出的变化，也就是说状态能确定输出信号。

因而，提出一种库单元时延功耗状态完整性的检查方法，能够检查功耗时延模型中状态定义的完备性，帮助设计者以及库的提取者得到完整以及规范的库文件数据，成为亟待解决的问题。

发明内容

为了解决现有技术存在的不足，本发明的目的在于提供一种库单元时延功耗状态完整性的检查方法，可以检查功耗时延模型中状态定义的完备性，帮助设计者以及库的提取者得到完整以及规范的库文件数据。

为实现上述目的，本发明提供的库单元时延功耗状态完整性的检查方法，包括以下步骤：