counter_tb counter_tb.vcd synth.sp synth.v