[发明专利]一种库单元时延功耗状态完整性的检查方法有效
| 申请号： | 201611233543.3 | 申请日： | 2016-12-28 |
| 公开（公告）号： | CN106611088B | 公开（公告）日： | 2019-10-08 |
| 发明（设计）人： | 周舒哲;陈彬;刘毅 | 申请（专利权）人： | 北京华大九天软件有限公司 |
| 主分类号： | G06F17/50 | 分类号： | G06F17/50 |
| 代理公司： | 北京德崇智捷知识产权代理有限公司 11467 | 代理人： | 王金双 |
| 地址： | 100102 北京*** | 国省代码： | 北京;11 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 一种库单元时延功耗状态完整性的检查方法，包括步骤：获取单元库中定义的所有状态集合，组成目标集合；根据所有管脚的名称枚举出所有状态集合，组成状态总集合；根据单元的功能定义，以及不同模型的特点从所述目标集合中求出非法状态集合；基于所述非法状态集合，比较所述状态总集合和所述目标集合，得出重复和缺失的状态集合。本发明提供的库单元时延功耗状态完整性的检查方法，通过检查定义时延和功耗的条件，对时序单元库（Timing Library）中的状态（condition）完备性进行分析，查找出错误定义、重复定义，以及遗漏的状态。 | ||
| 搜索关键词： | 一种 单元 功耗 状态 完整性 检查 方法 | ||
【主权项】：
1.一种库单元时延功耗状态完整性的检查方法，其特征在于，包括以下步骤：（1）获取单元库中定义的所有状态集合，组成目标集合；（2）根据所有管脚的名称枚举出所有状态集合，组成状态总集合；（3）根据单元的功能定义，以及不同模型的特点从所述目标集合中求出非法状态集合；（4）基于所述非法状态集合，比较所述状态总集合和所述目标集合，得出重复和缺失的状态集合；所述步骤（3）进一步包括：首先，选出不符合标准单元功能和三态定义的状态；然后，选出不符合模型特点的状态，得到所述非法状态集合；所述步骤（4）进一步包括：扣除掉所述目标集合中属于所述非法状态集合的部分，得到合法的目标集合；扣除掉所述状态总集合属于所述非法状态集合的部分，得到合法的状态参考集合；求出所述合法的参考集合中多于所述合法的目标集合的部分，得到定义缺失的状态集合；所述目标集合中，定义的状态重复出现的为冗余状态集合。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于北京华大九天软件有限公司，未经北京华大九天软件有限公司许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201611233543.3/，转载请声明来源钻瓜专利网。
- 上一篇：一种电视塔震害预测评估方法
- 下一篇：一种平行端口之间奇偶相间等电阻布线方法
