是否有一个TAP（ 测试任何协议对Verilog）实现？ 这将是不错的，因为那时我可以使用证明自动检查我的结果。
更新：09年10月9日：有人问为什么不使用断言。 天色TAP给了我一些很好的报告，如文件的数量和测试次数。 它还可以与闷烧用于随着时间的进展情况。
10/12/09：我在寻找与在开始和测试次数结束和确定，诊断和故障功能的最小implentation。 是（）会很不错，但不是必需的。
Answer 1:
我不认为这是对Verilog本地TAP实现。 我要说的是，整点使用TAP是添加TAP发生器是相对简单的。 如果你打算做了很多的Verilog的工作，你可能需要自己编写。
这就是说，你看着veripool ？ 您可以使用的Verilog ::解析器为桥梁，以生成TAP输出，你可以用消费TAP ::分析器和测试::线束 。
文章来源: TAP (Test Anything Protocol) module for Verilog or SystemVerilog
