计算机工程与应用
計算機工程與應用
계산궤공정여응용
COMPUTER ENGINEERING AND APPLICATIONS
2009年
2期
85-87
,共3页
自动测试图形生成%可满足性问题%蚁群算法%组合电路
自動測試圖形生成%可滿足性問題%蟻群算法%組閤電路
자동측시도형생성%가만족성문제%의군산법%조합전로
如何高效地解决数字电路测试生成问题是VLSI领域中的核心.通过对蚁群算法在不同类型的组合优化和搜索问题上的应用研究,基于组合电路测试的路径敏化方法,借助SAT确定性算法工具,提出了一个新的蚁群算法模型来解决组合电路测试生成问题,并通过实验验证其可行性.
如何高效地解決數字電路測試生成問題是VLSI領域中的覈心.通過對蟻群算法在不同類型的組閤優化和搜索問題上的應用研究,基于組閤電路測試的路徑敏化方法,藉助SAT確定性算法工具,提齣瞭一箇新的蟻群算法模型來解決組閤電路測試生成問題,併通過實驗驗證其可行性.
여하고효지해결수자전로측시생성문제시VLSI영역중적핵심.통과대의군산법재불동류형적조합우화화수색문제상적응용연구,기우조합전로측시적로경민화방법,차조SAT학정성산법공구,제출료일개신적의군산법모형래해결조합전로측시생성문제,병통과실험험증기가행성.