源码里的赋值全部用非阻塞赋值试试,也就是<=
counter xx(.clock(clock),.reset(reset),.Xstep(Xstep),.Xupdown(Xupdown), //逗号保留.Xcount(Xcount) //此处缺少一个输出端口);