[发明专利]一种检查时序库和网表库的标准单元功能一致性的方法有效
| 申请号： | 201611242855.0 | 申请日： | 2016-12-29 |
| 公开（公告）号： | CN106650136B | 公开（公告）日： | 2020-06-02 |
| 发明（设计）人： | 周舒哲;严晗;陈彬;刘毅 | 申请（专利权）人： | 北京华大九天软件有限公司 |
| 主分类号： | G06F30/39 | 分类号： | G06F30/39 |
| 代理公司： | 北京德崇智捷知识产权代理有限公司 11467 | 代理人： | 王金双 |
| 地址： | 100102 北京*** | 国省代码： | 北京;11 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 一种检查时序库和网表库的标准单元功能一致性的方法，包括步骤：获取时序库及网表库的标准单元的功能文件；获取时序库中的功能属性，得到第一布尔表达式；获取网表库中的功能描述，并将所述功能描述转换为第二布尔表达式；判断所述第一、第二布尔表达式是否相同，验证时序库和网表库的标准单元功能的一致性。本发明的检查时序库和网表库的标准单元功能一致性的方法，将Verilog中的功能描述转化为布尔表达式，与Timing Library中的function属性定义的布尔表达式进行比较；再利用经典的BDD或者SAT求解器判断两个布尔表达式是否等价，从而更高效地验证网表库和时序库中标准单元的功能是否一致。 | ||
| 搜索关键词： | 一种 检查 时序 网表库 标准 单元 功能 一致性 方法 | ||
【主权项】：
一种检查时序库和网表库的标准单元功能一致性的方法，其特征在于，包括以下步骤：（1）获取时序库及网表库的标准单元的功能文件；（2）获取时序库中的功能属性，得到第一布尔表达式；（3）获取网表库中的功能描述，并将所述功能描述转换为第二布尔表达式；（4）判断所述第一、第二布尔表达式是否相同，验证时序库和网表库的标准单元功能的一致性。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于北京华大九天软件有限公司，未经北京华大九天软件有限公司许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201611242855.0/，转载请声明来源钻瓜专利网。
