search

Coloquinte / moosic-yosys-plugin

Yosys plugin for logic locking and supply-chain security
GNU General Public License v2.0
20 stars 2 forks source link

Improve the performance of Sat attack #19

Open Coloquinte opened 5 months ago

Coloquinte commented 5 months ago

The current Sat attack implementation uses Minisat provided by Yosys. It is quite limited compared to a more advanced Sat solver