[发明专利]一种ICL实例化网络的布图规划设计方法

说明书

本发明涉及软件工程技术领域，具体涉及一种ICL实例化网络的布图规划设计方法；提取互联单元之间的约束条件，对iJTAG网络所对应的ICL文本进行解析，得到基础单元和实例化模块之间的互联关系，输入实例化模块和基础单元所组成的集合以及约束条件，可视化表格中所列出的所有单元集合，对ICL解析的可视化表格中所列出的所有单元和模块进行数字顺序编号处理，约束条件为可视化表格中有互联关系的单元和模块，列为约束网表，对iJTAG网络进行初始化设置，通过模拟退火算法对初始网络进行布图，对布图结果进行反复调整优化以满足目标函数的最优解，通过上述步骤实现提高布图的准确率。

技术领域

本发明涉及软件工程技术领域，尤其涉及一种ICL实例化网络的布图规划设计方法。

背景技术

在可重构扫描网络的测试和访问问题中，学者们通过手动绘制网络模块图来研究可重构扫描网络，其中仪器连接语言定义了iJTAG网络模块之间的连接方式。

而当ICL脚本比较复杂的时候，手动布局会导致效率低和容错率低的问题，布图的准确率不高。

发明内容

本发明的目的在于提供一种ICL实例化网络的布图规划设计方法，旨在解决现有技术中的布图的准确率不高的技术问题。

为实现上述目的，本发明采用的一种ICL实例化网络的布图规划设计方法，包括如下步骤：

提取互联单元之间的约束条件；

限制互联约束的单元模块之间的距离；

进行布图规划。

其中，在提取互联单元之间的约束条件的步骤中，提取过程为：

对iJTAG网络所对应的ICL文本进行解析，提取出iJTAG网络中的所有instance和基础单元；

得到基础单元和实例化模块之间的互联关系；

列出可视化表格。

其中，在限制互联约束的单元模块之间的距离的步骤中：

输入实例化模块和基础单元所组成的集合以及约束条件，可视化表格中所列出的所有单元集合M＝{m1，m2，…}。

其中，在限制互联约束的单元模块之间的距离的步骤中：

对ICL解析的可视化表格中所列出的所有单元和模块进行数字顺序编号处理，约束条件为可视化表格中有互联关系的单元和模块，列为约束网表N＝{N1，N2，…}。

其中，在进行布图规划的步骤中，规划步骤为：

对iJTAG网络进行初始化设置，包括设置网络规模和模块单元编码；

通过模拟退火算法对初始网络进行布图；

通过Metropolis准则对布图结果进行反复调整优化以满足目标函数的最优解。

其中，在通过模拟退火算法对初始网络进行布图的步骤中，K为欲迭代自适应因子，n表示布图规划的规模，T₀表示初始温度，K_i表示算法运行的当前迭代次数，a表示降温参数，模拟退火算法的表达式为：

K＝n*1000；

本发明的有益效果体现在：通过首先提取互联单元之间的约束条件，然后限制互联约束的单元模块之间的距离，最后进行布图规划，针对网络结构的特点和描述该网络的语言ICL，提取出单元间的约束条件，通过降温策略，实现对iJTAG网络的布图规划，实现了实现提高布图的准确率。

附图说明