基于BDD和布尔差分的组合电路测试生成方法摘要：引入布尔差分的思想，对被测电路函数的BDD结构进行判断生成测试向量。本方案较传统的以图进行搜索的ATPG方法有效地减少了时空开销，并将布尔差分的理论方法应用于实际。实验表明，本方案可以有效地进行测试生成。关键词：二元决策图；布尔差分；自动测试向量生成中图分类号：TP331文献标志码：A文章编号：1001-3695(2008)05-1450-03在数字系统的测试中，ATPG是对测试电路产生测试...
