覆う

フリーとオープンソースのVerilogコードカバレッジ分析ツール
今すぐダウンロード

覆う ランキングとまとめ

広告

  • Rating:
  • ライセンス:
  • GPL
  • 価格:
  • FREE
  • 出版社名:
  • Trevor Williams
  • 出版社のWebサイト:
  • オペレーティングシステム:
  • Mac OS X
  • ファイルサイズ:
  • 2.9 MB

覆う タグ


覆う 説明

無料でオープンソースのVerilogコードカバレッジ分析ツール 診断実行からVERILOGデザインファイルとVCDまたはLXTフォーマットされたDUMPFILEを読み取り、Scoreコマンドを使用して、Coverage Description Database(CDD)ファイルと呼ばれるデータベースファイルを生成します。対象のスコアコマンドは、テストベンチ内のVPIモジュールとしてカバーされているCDDファイルとVerilogモジュールを生成するために使用され、シミュレーションと並行してカバレッジ情報を取得することができます。結果のCDDファイルは、Mergeコマンドを使用して、同じデザインから他のCDDファイルとマージして、アキュム化されたカバレッジを作成できます。 CDDファイルが作成されると、ユーザーはASCII形式でさまざまな人間が読めるカバレッジレポートを生成するか、またはCounterのGUIを使用して、Reportコマンドを使用して、対話範囲の結果を対話的に調べるために使用できます。さらに、Counterのスコアコマンドの一部として、競合状態の可能性がデザインファイルにあり、エラーとしてフラグが立てられ、Ignoredorは警告としてフラグが立てられます。競合条件をエラーとして指定することで、カバーされているレース条件チェッカーとしても使用できます。現在、現在のVerilog-1995、Verilog-2001(現在の設定ブロックを除く)、および一部のSystemVerilogコンストラクトをサポートしています。生成されるメトリックには、次のものが含まれます。 ・$ランダムおよび$ urandomシステムコールをインラン範囲のカバレッジに追加する。 ・安定した0.7.5リリースに行われたすべての固定を含みます。 ・$ value $ Plusargsシステムコールをインライン化したカバレッジへのサポートの追加。 ・Effected IFステートメントに問題を解決します。 ・インライン化されたカバレッジフローおよびスコアオプションのためのユーザーマニュアルを追加しました。 ・カンマ区切りの割り当て文を中断するために生成されたコードに関する問題を修正する。 ・演説の簡素化とパフォーマンスの向上は内部的に処理されました。 ・インラインコードカバレッジを使用するときにシミュレーション機能への不要な呼び出しを削除しました(これによりパフォーマンスペナルティが追加されました)。 ・生成された信号のサイジングのためのインラインコードジェネレータの性能の向上。 ・メモリカバレッジに関連するメモリインデックスの問題を修正しました。 ・インラインコードカバレッジのための静的関数と静的な3値演算子のサポートを追加しました。 ・静的に使用されている機能を区別するためのコードを追加し、インラインコードカバレッジ累積のための正しいことをしないように。 ・インラインではないデザインファイルからのDumpFile出力をチェックして、インラインコードジェネレータが結果を変更しないことを確認するVCD_DIFFスクリプトを追加しました。このチェックは現在、すべてのインライン回帰実行の一部です。 ・VCDファイルリーダーに対していくつかの性能向上を行いました。読者は1020%高速です。 ・Verilator回帰のサポートを追加し、数診断をVerilatorフォーマットに移植します。 ・変更を追加するには、インライン化されたカバレッジデータを含むVCDファイルを読み込むCDDファイルがユーザーにエラーを発行して優雅に終了するようにしてください。 ・ユーザが生成されるべき浅い組み合わせカバレッジ深さを指定することを可能にするために、インラインシミュレーションおよびカバレッジパフォーマンスを向上させることを可能にするための - インライン櫛深スコアオプションを追加した。 ・Verilator Runsの場合は、中間の組み合わせ論理式信号の周囲にプラグマを挿入して、VCDファイルに出力されることが除外されます。これにより、Verilator Runsのシミュレーションおよびカバレッジのパフォーマンスが向上します(これらの信号を自動的に削除するVPIを持つ他のシミュレータ)。 ・さらなるシミュレーション性能の向上のために、実際のコードのコードを事前に計算された中間式の値に置き換える。 ・イベントカバレッジを他の組み合わせ論理カバレッジとは無関係にオン/オフすることを可能にする - イベントカバレッジをオン/オフすることを可能にする「E」オプションを追加しました。これにより、さらなるシミュレーションとカバレッジのパフォーマンスの向上(特にVerilator Runsの場合)が可能になります。 ・アサーションカバレッジが不要な場合は、アサーションファイルに対してコード生成をスキップさせる最適化を追加しました。 ・全回帰がすべてのコード変更できれいに実行されるようになりました。


覆う 関連ソフトウェア