Cdc verilog example.