jschuster1203/VerilogToDimacs

Python file that takes in a verilog file and translates it into the proper dimacs file. The dimac file is then run using minisat to solve for reachability. When calling the python file, the user states the file name, the number of unrollings, and the desired state

Verilog