import os


src = "pick"


for filename in os.listdir(src):
    filepath = os.path.join(src, filename)
    os.system(f"~/toolbox/abc/abc -c \"read_aiger {filepath}; strash; write_verilog verilog/{filename[:-6]}.verilog\"")