一种库单元时延功耗状态完整性的检查方法与流程

文档序号:11063610阅读:来源:国知局

技术特征:

1.一种库单元时延功耗状态完整性的检查方法,其特征在于,包括以下步骤:

(1)获取单元库中定义的所有状态集合,组成目标集合;

(2)根据所有管脚的名称枚举出所有状态集合,组成状态总集合;

(3)根据单元的功能定义,以及不同模型的特点从所述目标集合中求出非法状态集合;

(4)基于所述非法状态集合,比较所述状态总集合和所述目标集合,得出重复和缺失的状态集合。

2.根据权利要求1所述库单元时延功耗状态完整性的检查方法,其特征在于,所述步骤(1)进一步包括:

针对每一个单元,抽取internal_power()、leakage_power()及timing()定义的状态,组成所述目标集合。

3.根据权利要求1所述库单元时延功耗状态完整性的检查方法,其特征在于,所述步骤(2)进一步包括以下步骤:

(21)通过所述目标集合中的状态和单元定义的管脚方向,确定关联的输入及输出管脚的集合;

(22)根据输入管脚,得到状态的个数。

4.根据权利要求1所述库单元时延功耗状态完整性的检查方法,其特征在于,所述步骤(3)进一步包括:

首先,选出不符合标准单元功能和三态定义的状态;然后,选出不符合模型特点的状态,得到所述非法状态集合。

5.根据权利要求1所述库单元时延功耗状态完整性的检查方法,其特征在于,所述步骤(4)进一步包括:

扣除掉所述目标集合中属于所述非法状态集合的部分,得到合法的目标集合;

扣除掉所述状态总集合属于所述非法状态集合的部分,得到合法的状态参考集合;

求出所述合法的参考集合中多于所述合法的目标集合的部分,得到定义缺失的状态集合;

所述目标集合中,定义的状态重复出现的为冗余状态集合。

当前第2页1 2 3 
网友询问留言 已有0条留言
  • 还没有人留言评论。精彩留言会获得点赞!
1