基于可测性测度的蚂蚁路径ATPG算法

电路集成度和复杂度的不断增加使得电路的故障诊断越来越困难。该文在蚂蚁路径ATPG算法的基础上,引入了电路设计中的可测性分析理论,以四值动态代价分析方法(FDCM)作为蚂蚁路径搜索过程中的智能引导启发函数,实现了对原型算法的加速,并通过实验验证了该算法的良好性能。