sort out clock names in experiments10_verilog