还想问问jason zhang，有没有关于testbench语言编写的资料啊？想请推荐一下！……
嗯，，，谢谢哈，，，不过有时候觉得waveformer还是多直观的...……
刚从actel官方网站下了libero v9.0，不过不知怎么的，里面的tools为什么没有waveformer呢？貌似只能自己用语言描述testbench，想请问各位高手，怎么样……
好的。下面是我的程序，红色部分是增加的东西，增加了后就通过不了综合了。综合的问题是在第二个always上面涂红，问题是the logic for gpshighclkcnt&nbs……
非常感谢Jason zhang，，，我已经仿真了，这样做能够通过综合。但是如果想在清零的上升沿（即a的上升沿）加一个端口输出（port）output，综合又通不过，应该怎么做啊？……
jason zhang,你好，你给的程序我已经仿真过了，可以通过，但是在综合的时候遇到了问题，它在always单词上面涂红，错误原因是the logic for...does no……
是的啊，a是清零信号，但是仅仅在a上升沿将计数器清零。谢谢jason zhang的支持，你的资料很好，我看了很多……
