OVL 2.5

Verification Engineerの戯言 : Twitter
SystemVerilogの世界へようこそ、すべては、SystemC v0.9公開から始まった

OVL 2.5が2010年7月にリリースされています。

    ・Verilog HDL 1995
　　・VHDL        1993
　　・PSL         2005
　　・SVA         2005

のライブラリがソースコードで提供されています。
ただし、すべての言語ですべてのライブラリが実装されているとは限りませんが、

OVLに関するブログとしては、
FPGAの部屋のmarsee101さんのアサーション事始めが参考になりますよ！

検証、Verification、Assertion、SystemVerilog