MiniSAT, C++
Developed a C++ code to automate the generation of SAT clauses in CNF form for all logic gates.
Executed unrolling of the sequential circuit to create SAT clauses for comprehensive verification.
Used MiniSAT to identify the input sequence needed to transition from an initial state to a desired state.