インストール後、vlibディレクトリをチェックしたら、
・ovl ・ovm-2.0.3 ・ovm-2.1.2 ・uvm-1.0p1 ・uvm-1.1 ・vtlがありました。残念ながら、VMMはありません。
Riviera-PRO 2011.11には、上記のライブラリがプリコンパイルされています。
この中で、VTLというのはVerification Template Libraryというもので、
一般的には、チェッカーライブラリというものです。
この中で、VTLというのはVerification Template Libraryというもので、
一般的には、チェッカーライブラリというものです。
ちなみにVerification Template Libraryのドキュメントは、documentation/vtlref.pdf です。
検証、Verification、Aldec
