SystemVerilog IEEE 1800™ (2005, 2009, 2012, 2017 and 2023) - 検証

Riviera-PROはSystemVerilog IEEE Std 1800™-2005, IEEE Std 1800™-2009, IEEE Std 1800™-2012, IEEE Std 1800™-2017, IEEE Std 1800™-2023をハードウェア記述の拡張、アサーション、高度な検証の3つの分野でサポートしています。この規格の検証部分には、ランダム制約、カバレッジグループ、UVMなどのコンストラクトが含まれ、セルフチェックとカバレッジ・ドリブンのテストベンチを実現できるようにします。