read_verilog ../top2.v
abc -g cmos4