Positive negative edge triggered flip flop verilog