SystemVerilog IEEE 1800™ (2005, 2009, 2012, 2017 and 2023) - 検証Category : 標準サポートActive-HDLは、SystemVerilog IEEE Std 1800™-2005、IEEE Std 1800™-2009、IEEE Std 1800™-2012、IEEE Std 1800™-2017、およびIEEE Std 1800™-2023をハードウェア記述の拡張、アサーションおよび高度な検証の3分野でサポートしています。この規格の検証部分には、ランダム制約、カバレッジグループ、UVMなどの構成要素が含まれており、セルフチェックとカバレッジドリブンテストベンチ設計を可能にします。