测试向量自动生成论文

基于SAT的数字电路ATPG方法及应用
论文摘要测试向量自动生成（AutomaticTestPatternGeneration，ATPG）问题在数字电路的测试领域具有非常重要的地位，不仅影响产品的生产设计成本，而且是...