covered-0.2.1.tar.gz (covered-0.2.1.tar.gz( 外部リンク: SF.net): 525,933 バイト)のダウンロードが開始されます。開始されない場合,左のリンクをクリックしてください。

ファイル情報

ファイルサイズ
525,933 バイト
MD5
cb78ae0ce7ab92e751c19bf8049b88c2

プロジェクト概要

カバーは Verilog コード カバレッジ ユーティリティ VCD/LXT/FST ダンプファイル (VPI インターフェイス) を切り替え、ラインを生成する設計、メモリとの組合せロジック、FSM の状態/アークとアサーション カバレッジ レポート メトリック GUI または ASCII で表示可能な形式します。