Link to paper: https://ieeexplore.ieee.org/document/7814148/ Webpage: https://ycunxi.github.io/Incremental-SAT-DeCam/
- g++4.9 or above (g++7 tested)
- Build on top of miniSAT (see http://minisat.se)
- [Tested env] Ubuntu 16.04, CentOS 6
https://github.com/ycunxi/Incremental-SAT-DeCam/blob/master/Solver/Tutorial.pdf
De-camouflaging ISCAS-85 c17 circuit
https://github.com/ycunxi/Incremental-SAT-DeCam/tree/master/Solver/Incremental_Solver/simp/Example
Incremental SAT-based Reverse Engineering of Camouflaged Logic Circuits.
Cunxi Yu, Xiangyu Zhang, Duo Liu, Maciej Ciesielski, Daniel Holcomb.
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.10.1109/TCAD.2017.2652220 (TCAD'16)
Oracle-Guided Incremental SAT Solving to Reverse Engineer Camouflaged Logic Circuits.
Duo Liu, Cunxi Yu and Daniel Holcomb
IEEE/ACM/EDAA Design, Automation and Test in Europe (DATE'16), March 2016, Dresden, Germany.
Cunxi Yu.
Email: cunxi.yu@epfl.ch