
dot2bdd 1.blif

dotps 1.blif.dot
