基于SAT算法的时钟树布线方法

摘要

本发明实施例公开一种基于SAT算法的时钟树布线方法，该方法包括：从用户设计中获取时钟线、复位线和使能线，并保存该时钟线、该复位线和该使能线的约束；从芯片模型中获取第一时钟树网络图，并保存该第一时钟网络图中的节点和该第一时钟树网络图包括的多路选择器约束、多路选择器间配置约束和多路选择器间连接关系约束；根据该时钟线、该复位线和该使能线的约束以及该第一时钟树网络图包括的约束，生成WFF格式的子句；对该子句调用可满足性SAT算法，得到满足该约束的至少一个解；将该至少一个解中的任一解对应的数学解标记到该时钟线、该复位线和该使能线上，从而完成时钟树的布线。

主权项

一种基于SAT算法的时钟树布线方法，其特征在于，包括：从用户设计中获取时钟线、复位线和使能线，并保存所述时钟线、所述复位线和所述使能线的约束；从芯片模型中获取第一时钟树网络图，并保存所述第一时钟网络图中的节点和所述第一时钟树网络图包括的多路选择器约束、多路选择器间配置约束和多路选择器间连接关系约束；根据所述时钟线、所述复位线和所述使能线的约束以及所述第一时钟树网络图包括的约束，生成WFF格式的子句；对所述子句调用可满足性SAT算法，得到满足所述约束的至少一个解；将所述至少一个解中的任一解对应的数学解标记到所述时钟线、所述复位线和所述使能线上。