摘要: 基于基本门电路的特征函数及被测电路的约束网络结构模型,首先提出一种用于数字电路的模拟退火(SA)测试生成算法,然后在SA算法中采用梯度算法的退火梯度法,该方法的特点是具有全局收敛性和较高的计算效率,它不仅加速了数字电路的测试生成过程,而且也可应用于其他类型的优化问题.
潘中良, 张光昭, 陈光. 一种基于最优化模型的数字电路测试生成方法[J]. 应用科学学报, 1999, 17(2): 211-215.
PAN ZHONGLIANG, ZHANG GUANGZHAO, CHEN GUANGJU. A Circuit Test Generation Method Based on Optimization[J]. Journal of Applied Sciences, 1999, 17(2): 211-215.