pyeda
python-sat
PyVerilator
pyverilog
networkx
