现代电子技术2010，Vol.33Issue(6)：22-25,37,5.
结合逻辑模拟和布尔可满足性的设计错误诊断方法
Error Diagnosis of Logic Simulation and Boolean Satisfiability
摘要
关键词
设计验证/错误诊断/布尔可满足性/逻辑模拟分类
信息技术与安全科学引用本文复制引用
曾松伟,李光辉..结合逻辑模拟和布尔可满足性的设计错误诊断方法[J].现代电子技术,2010,33(6):22-25,37,5.基金项目
浙江省自然科学基金资助项目(Y106707) （Y106707）
