1.一种库单元时延功耗状态完整性的检查方法,其特征在于,包括以下步骤:
(1)获取单元库中定义的所有状态集合,组成目标集合;
(2)根据所有管脚的名称枚举出所有状态集合,组成状态总集合;
(3)根据单元的功能定义,以及不同模型的特点从所述目标集合中求出非法状态集合;
(4)基于所述非法状态集合,比较所述状态总集合和所述目标集合,得出重复和缺失的状态集合。
2.根据权利要求1所述库单元时延功耗状态完整性的检查方法,其特征在于,所述步骤(1)进一步包括:
针对每一个单元,抽取internal_power()、leakage_power()及timing()定义的状态,组成所述目标集合。
3.根据权利要求1所述库单元时延功耗状态完整性的检查方法,其特征在于,所述步骤(2)进一步包括以下步骤:
(21)通过所述目标集合中的状态和单元定义的管脚方向,确定关联的输入及输出管脚的集合;
(22)根据输入管脚,得到状态的个数。
4.根据权利要求1所述库单元时延功耗状态完整性的检查方法,其特征在于,所述步骤(3)进一步包括:
首先,选出不符合标准单元功能和三态定义的状态;然后,选出不符合模型特点的状态,得到所述非法状态集合。
5.根据权利要求1所述库单元时延功耗状态完整性的检查方法,其特征在于,所述步骤(4)进一步包括:
扣除掉所述目标集合中属于所述非法状态集合的部分,得到合法的目标集合;
扣除掉所述状态总集合属于所述非法状态集合的部分,得到合法的状态参考集合;
求出所述合法的参考集合中多于所述合法的目标集合的部分,得到定义缺失的状态集合;
所述目标集合中,定义的状态重复出现的为冗余状态集合。