six
pyparsing
pysmt
coreir
pyverilog
