[发明专利]基于SAT算法的时钟树布线方法有效
| 申请号： | 201510044140.3 | 申请日： | 2015-01-28 |
| 公开（公告）号： | CN105989197B | 公开（公告）日： | 2019-06-11 |
| 发明（设计）人： | 孙铁力;徐静 | 申请（专利权）人： | 京微雅格（北京）科技有限公司 |
| 主分类号： | G06F17/50 | 分类号： | G06F17/50 |
| 代理公司： | 北京亿腾知识产权代理事务所(普通合伙) 11309 | 代理人： | 陈霁 |
| 地址： | 100176 北京市大兴区经济技术开发*** | 国省代码： | 北京;11 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明实施例公开一种基于SAT算法的时钟树布线方法，该方法包括：从用户设计中获取时钟线、复位线和使能线，并保存该时钟线、该复位线和该使能线的约束；从芯片模型中获取第一时钟树网络图，并保存该第一时钟网络图中的节点和该第一时钟树网络图包括的多路选择器约束、多路选择器间配置约束和多路选择器间连接关系约束；根据该时钟线、该复位线和该使能线的约束以及该第一时钟树网络图包括的约束，生成WFF格式的子句；对该子句调用可满足性SAT算法，得到满足该约束的至少一个解；将该至少一个解中的任一解对应的数学解标记到该时钟线、该复位线和该使能线上，从而完成时钟树的布线。 | ||
| 搜索关键词： | 基于 sat 算法 时钟 布线 方法 | ||
【主权项】：
1.一种基于SAT算法的时钟树布线方法，其特征在于，包括：从用户设计中获取时钟线、复位线和使能线，并保存所述时钟线、所述复位线和所述使能线的约束；从芯片模型中获取第一时钟树网络图，并保存所述第一时钟网络图中的节点和所述第一时钟树网络图包括的多路选择器约束、多路选择器间配置约束和多路选择器间连接关系约束；根据所述时钟线、所述复位线和所述使能线的约束以及所述第一时钟树网络图包括的约束，生成WFF格式的子句；对所述子句调用可满足性SAT算法，得到满足所述约束的至少一个解；将所述至少一个解中的任一解对应的数学解标记到所述时钟线、所述复位线和所述使能线上。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于京微雅格（北京）科技有限公司，未经京微雅格（北京）科技有限公司许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201510044140.3/，转载请声明来源钻瓜专利网。
- 上一篇：运算放大器的仿真方法和装置
- 下一篇：数据库系统
