FPGA学习笔记（四）——计数器设计与验证