adding files for transforming verilog to aig