计算机应用研究2008，Vol.25Issue(5)：1450-1452,1523,4.
基于BDD和布尔差分的组合电路测试生成方法
CombinationalcircuittestgenerationmethodbasedonBDDandBooleandifference
摘要
关键词
二元决策图/布尔差分/自动测试向量生成分类
信息技术与安全科学引用本文复制引用
欧阳一鸣,牟屹,梁华国..基于BDD和布尔差分的组合电路测试生成方法[J].计算机应用研究,2008,25(5):1450-1452,1523,4.基金项目
国家自然科学基金重大研究计划资助项目(90407008) （90407008）
国家自然科学基金重点资助项目(60633060) （60633060）
安徽省自然科学基金资助项目(050420103) （050420103）
