A tool for logic simplify and translate to verilog espresso-ab-1.0: the espresso source code ply2v.py: python library, translate pla to verilog source code