Verilogの TAP ( Test Anything Protocol ) 実装はありますか? そうすれば、prove を使用して結果を自動的にチェックできるので便利です。
更新: 2009 年 10 月 9 日: アサーションを使用しない理由を尋ねられました。部分的に TAP は、ファイル数やテスト数などの優れたレポートを提供してくれます。また、時間をかけて進行状況をレポートするために、smolder と共に使用することもできます。
2009 年 10 月 12 日: 最初と最後に多数のテストを実行し、ok、diag、fail 機能を備えた最小限の実装を探しています。is() は本当に便利ですが、必須ではありません。