[发明专利]基于Petri网与IFA的3D NoC测试调度方法

摘要

本发明公开一种基于Petri网与IFA的3D NoC测试调度方法，其一方面根据测试调度过程中各IP核测试流程相似、TAM选择随机、路由过程繁琐等特点，将Petri网模型分为上下两层，简化了建模过程，并通过着色思想减少模型元素，压缩了网规模，使3D NoC中IP核的测试调度过程、资源约束、优先级等特性得到精确的刻画；另一方面，对模型中的路由计算变迁进行改进，从而实现系统测试时间在调度组合方面与路由过程方面的双重优化；另外，在模型中嵌入IFA，为模型求解提供了有力的算法支持，从而能够高效求得最佳测试调度方案，且测试时间较其他方法大约缩短了8.94％，有效提升了测试效率。

主权项

1.基于Petri网与IFA的3D NoC测试调度方法，其特征是，包括步骤如下：步骤1、根据3D NoC测试调度过程在原型Petri网的基础上建立HCTPN模型，确定初始标识与终止标识，并计算输入矩阵与输出矩阵；步骤2、按照式①的编码方式，并通过立方混沌映射公式生成混沌序列，再将混沌序列映射至目标函数空间形成初始萤火虫种群，其中初始萤火虫种群中的每个萤火虫个体均表示一种调度方案；式中，X_TAM表示TAM选择个体的编码，B_i表示第i个IP核所选择的TAM编号，1≤i≤N；S表示优先级个体的编码，A_jb表示第j条TAM上测试优先级为b的IP核编号，1≤j≤M，1≤b≤N‑M+1；N为IP核的数量，M为TAM的数量；步骤3、判断初始萤火虫种群的萤火虫个体的有效性：若初始萤火虫种群中所有的萤火虫个体均有效，即不存在未被任何IP核选中的TAM，则转至步骤4；若初始萤火虫种群中至少有一个萤火虫个体无效，即存在未被任何IP核选中的TAM，则转至步骤2；步骤4、将萤火虫种群中的所有萤火虫个体都变换为HCTPN模型中相应的变迁发生序列，其中变迁发生序列σ如式②所示：式中，变迁表示IP核i在TAM j上开始测试，变迁表示IP核i在TAM j上完成测试，1≤i≤N，N为IP核的数量，1≤j≤M，M为TAM的数量；步骤5、对于HCTPN模型中的每一个变迁发生序列，从初始标识开始依次激发该变迁发生序列中相应的赋时变迁，并根据适应度函数与路由算法计算赋时变迁的时延，每一个赋时变迁激发完成后，更新状态标识并累加变迁时延，直至变迁发生序列中每个赋时变迁都激发完成并到达终止标识，此时变迁发生序列的总变迁时延即是该调度方案的系统测试时间；步骤6、将HCTPN模型中的所有变迁发生序列都逆变换为萤火虫个体，并将序列的总变迁时延做为萤火虫个体的绝对亮度；步骤7、依据萤火虫算法更新所有萤火虫个体的位置向量，即：首先计算萤火虫种群中任意2个萤火虫个体之间的笛卡尔距离，然后通过萤火虫个体之的绝对亮度的比较来确定萤火虫个体移动方向，接着计算萤火虫个体之间的相互吸引力，最后基于萤火虫个体之间的相互吸引力，让亮度大的萤火虫个体按照位置更新公式向亮度小的萤火虫个体靠拢；步骤8、判断当前萤火虫种群的种群多样性是否大于事先设定的下限值：若是，则转至步骤9；否则，先对每个萤火虫个体都按照差分进化算法对其生成一个变异个体，并使萤火虫个体与该变异个体按照一定的概率交叉生成试验个体，再在目标萤火虫个体与对应试验个体之间进行非增值的贪婪选择并保留至下一代；步骤9、判断当前迭代次数是否达到事先设定的迭代次数：若达到，则结束寻优过程并输出最优萤火虫个体及其对应的最优变迁发生序列和最佳测试调度方案；否则，则令迭代次数加1，并返回步骤4再次进行迭代。