发现好书期刊，享受阅读乐趣

海量图书期刊资源，随时随地畅享阅读乐趣

Path-Directed Abstraction and Refinement for SAT-Based Design Debugging

Path-Directed Abstraction and Refinement for SAT-Based Design Debugging

Keng, Brian; Veneris, Andreas

期刊名称IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
作者Keng, Brian; Veneris, Andreas
卷第32卷
期第10期
印刷ISSN0278-0070
电子ISSN1937-4151
文件大小1833.71KB
发表时间2013-10
DOI10.1109/tcad.2013.2263036
页码1609-1622

← 返回【学霸图书馆】主页