検証にはSystemCとSystemVerilog/ VMMの両方を使用しましたが、答えは状況によって異なります。私が最初のASICをドアから出そうとして予算が限られていたスタートアップと一緒にいたとき、SystemCは低予算のシミュレーターで実行され、SystemVerilogは実行されなかったため、当然の選択でした。SystemCでは、PLIまたはDPIを使用する必要はありません。実際に、SystemCモデルをテストベンチのコンポーネントとしてインスタンス化します。これは興味深いことです。
ただし、SystemCはC ++ライブラリであり、非常に直感的な構文はありません。SystemCライブラリを学習する前に、適切なC++のバックグラウンドを持っている必要があります。このために入手できる本は、DavidBlackによる「SystemCfromthe Ground Up」を除いて、ほとんどがひどいものです。
とはいえ、私が見てきたことから、SystemCは当然、検証言語ではなく高レベルのモデリング言語であり、実際のシミュレーターを購入する予算のある人は、もはやSystemCを検証に使用していません。一般的なキャリア開発の観点から、SystemVerilogが利用できる場合はそれを使用します。さらに、いつでもDPIを使用してCモデルに接続し、出力チェックを行うことができます。出力チェックでは、SV / VMMで記述されたジェネレーター、モニター、スコアボードを引き続き使用します。