技术总结
一种库单元时延功耗状态完整性的检查方法，包括步骤：获取单元库中定义的所有状态集合，组成目标集合；根据所有管脚的名称枚举出所有状态集合，组成状态总集合；根据单元的功能定义，以及不同模型的特点从所述目标集合中求出非法状态集合；基于所述非法状态集合，比较所述状态总集合和所述目标集合，得出重复和缺失的状态集合。本发明提供的库单元时延功耗状态完整性的检查方法，通过检查定义时延和功耗的条件，对时序单元库（Timing Library）中的状态（condition）完备性进行分析，查找出错误定义、重复定义，以及遗漏的状态。
技术研发人员：周舒哲;陈彬;刘毅
受保护的技术使用者：北京华大九天软件有限公司
文档号码：201611233543
技术研发日：2016.12.28
技术公布日：2017.05.03