Riviera-PRO 2011.10がサポートしている言語

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

Riviera-PRO 2011.10でサポートしているのは、

　　・Verilog HDL (PLI/VPI)
　　・VHDL (VHPI)
　　・SystemVerilog
　　・SystemC
　　・OVA(OpenVera Assertion)
　　・PSL
　　・SVA
　　・EDIF (え？)

です。
MentorのQuestaとCadenceのIUSでは、OVAはサポートしていません。
SynopsysのVCSでは、PSLをサポートしていません。

ということで、これだけの言語をサポートしているのは、Riviera-PRO だけなんです。

凄い

そんでもって、カバレッジ用のデータベースとして、UCDBのサポートも始めました。
現在は、ACDBという独自のカバレッジベースが基本です。そのためのAPIのドキュメントもあります。

検証、Verification、Aldec