ベリフィケーションライブラリ (OSVVM, UVVM, cocotb)

Category : 標準サポート

Open Source VHDL Verification Methodology™ (OSVVM™)は、検証作業全体を簡素化する方法論とライブラリを提供します。OSVVMは、トランザクションレベルのモデリングから、ファンクショナルカバレッジとランダマイズされたテスト生成、データ構造、基本ユーティリティに至るまで、他の検証言語がサポートするのと同じ機能をサポートします。

UVVM VVC Frameworkは、概要、読みやすさ、保守性が向上したFPGA検証環境を提供します。 また、まれなデザインバグを検出する可能性も高まります。 このツールは、コンストレントランダムスティミュラス、カバレッジ検証、および効率的な検証の再利用をサポートします。

cocotb（COroutine based COsimulation TestBench）は、Pythonを使用して VHDL および SystemVerilog RTLを検証するための環境です。cocotb は完全に無料のオープンソース (BSDライセンスに基づく) で、GitHubでホストされています。cocotbには、HDLデザインをシミュレートするためのシミュレータが必要であり、Linux、Windows、macOS上のさまざまなシミュレータとともに使用されています。