fixing lsi10k2blif to translate verilog to blif