买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！

申请/专利权人：北京华大九天科技股份有限公司

摘要：本发明提供了一种基于VF3算法的模拟集成电路网表标注方法，包括以下步骤：1）将模块电路图和待标注的目标电路图转化为带权无向图表示，使所述模块电路图转化为模式图，目标电路图转化为目标图；其中，节点表示器件，边表示连接关系；所述边，具有编码以表示器件之间的连接关系；2）进行模式图预处理和目标图预处理；3）构建模式库的状态搜索树；4）进行目标图搜索与匹配，标注目标电路。本发明采用VF3算法与状态空间搜索的策略结合完成电路网表标注。

主权项：1.一种基于VF3算法的模拟集成电路网表标注方法，包括以下步骤：1将模块电路图和待标注的目标电路图转化为带权无向图表示，使所述模块电路图转化为模式图，目标电路图转化为目标图；其中，节点表示器件，边表示连接关系；所述边，具有编码以表示器件之间的连接关系；2进行模式图预处理和目标图预处理；3构建模式库的状态搜索树，所述模式库由所有模式图构成；4进行目标图搜索与匹配，标注目标电路；其中，所述步骤4，包括以下步骤：步骤a：状态节点处于Sstart，匹配串M为空，中均为不同类型的节点编码，取其中label是模式图中每个节点的唯一标识，再取目标图中与c相同类型节点集合Vn∈{V1,...,Vk}，如果集合Vn中存在节点未被访问则进入步骤b，如果集合所有节点均被访问则另取重复上述过程，如果遍历完成则标注完成，其中codevertex表示顶点编码；步骤b：取n∈Vn，组成匹配对label,n，状态转换为Sj，匹配串M增加labelcodevertex，其中En→.是与n节点的相连节点的边-节点编码集合，设满足编码cl∈C的n节点后继节点集合为如果C为空，则另取n∈Vn重复步骤b过程，如果C不为空，则转步骤c，如果Vn遍历完成则应进行状态回溯，匹配串回溯和目标图回溯；其中，状态转换后如果搜索到叶子状态时，说明完成一次匹配，则输出匹配结果并进行状态树回溯和目标图回溯，状态树回溯是返回到最近一次状态树分叉节点，匹配串和目标图回溯到相应位置；步骤c：取cl∈C，cl＝codeedge-labelcodevertex，遍历取出节点n'组成匹配对label,n'，匹配串M增加codeedge，再执行和步骤b相似的过程，遍历完成后另取cl∈C重复上述过程，如果C遍历完成后进行状态树、匹配串和目标图回溯，其中codeedge表示边编码；其中，状态树节点为Si，i＝start,1,2,…,End1,End2,…，其直接后继节点集表示为状态转换条件表示为Si→j，节点直接后继状态转换条件集合为目标图G2按照节点类型分为多个集合：V1,V2,…,Vk。

全文数据：

权利要求：

百度查询： 北京华大九天科技股份有限公司 一种基于VF3算法的模拟集成电路网表标注方法