Back to Search Start Over

A conflict-free approach for parallelizing SAT-based de-camouflaging attacks

Authors :
Xueyan Wang
Qiang Zhou
Yici Cai
Gang Qu
Source :
2018 23rd Asia and South Pacific Design Automation Conference (ASP-DAC).
Publication Year :
2018
Publisher :
IEEE, 2018.

Details

Database :
OpenAIRE
Journal :
2018 23rd Asia and South Pacific Design Automation Conference (ASP-DAC)
Accession number :
edsair.doi...........3770938772f020e9b35a84c5d95fc9da