基于XilinxFPGAEDK的定时器应用