Low-Capture-Power Post-Processing Test Vectors for Test Compression Using SAT Solver
Low-Capture-Power Post-Processing Test Vectors for Test Compression Using SAT Solver
复制标题
使用 SAT 求解器进行测试压缩的低捕获功耗后处理测试向量
DOI：
--
复制
发表时间：
2010
期刊：
影响因子：
--
通讯作者：
H.-J.Wunderlich
中科院分区：
文献类型：
--
作者：
K K.Miyase;M.A.Kochte;X.Wen;S.Kajihara;H.-J.Wunderlich
