• ホーム
• ソリューション
• 製品
• デモ
• ケーススタディ
• サポート
• 会社概要
• お問い合わせ

ホーム > 製品 > ZeBu デバッグ > SVA

SystemVerilog アサーション

EVEのZeBu高速エミュレータは、エミュレーションでのSystemVerilogアサーションをサポートしています。zFAST (ZeBu FAst SynThesis)を使うことで、コード埋め込み型およびbind型の合成可能なSystemVerilogアサーションがサポートされます。同様にZEMI-3では、SystemVerilog アサーションのバグ発生箇所の高速化、およびバグの切り分けのために必要とされる波形ファイルの最小限にすることによりデバッグプロセスを改善します。

Features

• SystemVerilog アサーションの合成可能なサブセットをサポート。
• bindされた、またはコードに埋め込まれたアサーションは、デザイン、モジュール、インスタンス、およびアサーションレベルでエミュレータにコンパイルすることができます。
• アサーションの開始と停止、成功と失敗は、実行中、あるいはポストプロセスでレポートすることができます。
• アサーションは、ロジックアナライザをトリガーとして使用することができます。