基于BDD和布尔差分的组合电路测试生成方法

• 作者: 梁华国 欧阳一鸣 牟屹
• 来源期刊: 计算机应用研究
• 关键词: 二元决策图 布尔差分 自动测试向量生成
• 年，卷（期）: 2008,（5）
• 所属期刊栏目: 系统应用开发
• 页码范围: 1450-1452,1523
• 页数: 4页
• 分类号: TP331
• 语种: 中文
• DOI: 10.3969/j.issn.1001-3695.2008.05.050

摘要

引入布尔差分的思想,对被测电路函数的BDD结构进行判断生成测试向量.本方案较传统的以图进行搜索的ATPG方法有效地减少了时空开销,并将布尔差分的理论方法应用于实际.实验表明,本方案可以有效地进行测试生成.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	梁华国	合肥工业大学计算机与信息学院	192	1611	19.0	30.0
2	欧阳一鸣	合肥工业大学计算机与信息学院	109	924	18.0	24.0
3	牟屹	合肥工业大学计算机与信息学院	1	1	1.0	1.0