read_verilog bug3670.v
read_techlib -lib -specify +/xilinx/cells_sim.v
abc9