板级时序电路测试矢量生成方法

摘要

板级时序电路测试矢量生成方法是一种用于板级故障检测快速高效地生成测试矢量，从而检测出板级电路的故障的方法，首先根据自己建立的数学模型为时序电路建立一组描述方程，然后结合一个代价函数和布尔差分函数不断地迭代或求解方程组从而推倒出测试矢量，该方法是一种行之有效的板级时序电路测试矢量生成方法。它能为板级故障检测快速高效地生成测试矢量，从而检测出板级电路的故障。

主权项

1.一种板级时序电路测试矢量生成方法，其特征在于该方法为：1)获取原始电路输入：接受时序电路的网表描述方式或HDL硬件描述语言描述方式；2)判断时序电路描述是否是网表描述方式：如果不是则将其转化为网表描述方式，否则直接跳转到步骤3)；3)从故障列表文件中选择一个故障，进行故障注入；4)结合电路的网表描述和具体故障产生电路的方程组描述模型：在生成方程组的过程中将整个时序电路抽象为所述模型；在该模型中电路输入包括：电路的原始输入PI、电路的故障点、触发器的输出端；电路的输出包括：电路的原始输出PO、电路的故障点、触发器的除输出端以外的所有端口；逻辑描述模块指电路的内部结构信息的逻辑方程表示；5)根据电路的方程组描述搜索故障激活路径，选择最优路径，同时推出故障激活时触发器组和原始输入所要求的逻辑值组Ss；这里的推导主要是利用了布尔差分法，求出的是一组能够激活故障的逻辑值；6)从逻辑值组Ss中选择最优的一个作为状态起点能否成功：如果选择成功进入步骤7)，否则进入步骤13)；这里的选择是根据一个代价函数进行的，代价函数是一个关于元器件可控性参数的函数；7)从Ss中删除当前已选择的一个状态起点：目的是为下一次选择最优起点作准备；8)判断当前状态是否需要向前迭代：如果不需要则进入步骤14)，否则进入步骤9)；这里判断的方法是看目前的迭代序列是否已经可以获取测试矢量或是根据迭代情况已经可以判断出出现了循环迭代；9)判断当前状态能否向前迭代：如果不能就进入步骤12)，否则进入步骤10)：判断的标准是它是否是一个合法的状态，是否是有前驱状态的状态；10)根据当前状态Sc求解前一个状态Sc-1：求解完还必须对所有解进行驱动方程的验证处理；若求解的过程得到多个解，必须选择一个最优的作为下一次迭代的起点；11)选择一个最优的解作为下一次迭代的起点，同时回到步骤8)；优劣选择根据一个优劣函数进行的，这个函数会选择出最有利于状态初始化那个状态，这个函数是一个关于可控性参数、触发器的初始化可控级的函数；12)选择下一个次优分支是否成功：如果成功跳转到步骤8)，否则跳转到步骤6)；13)报告测试生成失败：进入结束状态；14)测试矢量生成成功，整理获取的测试矢量，进入结束状态。