verilator_coverage_bin_dbg - Online di Cloud

PROGRAM:

NAMA

verilator_coverage - penganalisis cakupan Verilator

RINGKASAN

verilator_coverage --bantuan
verilator_coverage --versi

verilator_coverage --annotate

verilator_coverage -tulis merged.dat -baca ...

Verilator_coverage memproses laporan cakupan Verilator.

Dengan --anotate, ia membaca file data yang ditentukan dan menghasilkan kode sumber beranotasi dengan
metrik cakupan dijelaskan. Jika beberapa titik cakupan ada pada baris yang sama,
baris tambahan akan dimasukkan untuk melaporkan poin tambahan.

Argumen standar Verilog tambahan menentukan jalur pencarian yang diperlukan untuk menemukan
kode sumber tempat analisis cakupan dilakukan.

Untuk mendapatkan persentase cakupan yang benar, Anda mungkin ingin membaca logs/coverage.pl ke dalam Emacs dan
lakukan Mx keep-lines untuk memasukkan hanya statistik yang menarik.

Untuk kondisi Verilog yang seharusnya tidak pernah terjadi, Anda harus menambahkan pernyataan $stop. Ini
akan menghapus cakupan selama build berikutnya.

ARGUMEN

nama file
Tentukan file data input, dapat diulang untuk membaca beberapa input. Jika tidak ada file data
ditentukan, secara default coverage.dat dibaca.

--membubuhi keterangan keluaran_direktori
Menyebutkan nama direktori tempat file sumber dengan data cakupan beranotasi seharusnya
ditulis ke.

--anotasi-semua
Menentukan semua file harus ditampilkan. Secara default, hanya file sumber yang memiliki
cakupan rendah ditulis ke direktori output.

--anotasi-min menghitung
Menentukan jumlah kejadian minimum yang harus ditandai jika titik cakupan
tidak termasuk ambang batas yang ditentukan. Default ke 10.

--membantu
Menampilkan pesan ini dan versi program dan keluar.

--pangkat
Cetak laporan eksperimen yang mencantumkan kepentingan relatif dari setiap tes dalam meliput
semua titik cakupan. Laporan menunjukkan "Tertutup" yang menunjukkan jumlah
poin yang mencakup tes; sebuah tes dianggap mencakup suatu titik jika memiliki ember
hitung minimal 1. Kolom "peringkat" memiliki angka t yang lebih tinggi menunjukkan tes lebih banyak
penting, dan peringkat 0 berarti tes tidak perlu dijalankan untuk menutupi poin.
"Peringkat" menunjukkan jumlah poin cakupan yang akan disumbangkan oleh tes ini secara keseluruhan
cakupan jika semua tes dijalankan dalam urutan peringkat tertinggi ke terendah.

--batalkan tautan
Saat menggunakan --write untuk menggabungkan data cakupan, batalkan tautan semua file input setelah output
telah dibuat.

--Versi: kapan
Menampilkan versi program dan keluar.

--menulis nama file
Menentukan hasil cakupan agregat, dijumlahkan di semua file, harus
ditulis ke nama file yang diberikan. Ini berguna dalam skrip untuk menggabungkan banyak urutan
berjalan ke satu file cakupan master.

VERILOG ARGUMEN

Argumen berikut ini kompatibel dengan GCC, VCS, dan sebagian besar program Verilog.

+libex+ext+ext...
Menentukan ekstensi untuk file Verilog.

+tentukan+adalah+nilai = barang -Dadalah=nilai
Mendefinisikan variabel yang diberikan.

+termasuk+dir = butir -Idir
Menentukan direktori untuk menemukan file include.

-f fillet
Menentukan file yang berisi argumen baris perintah tambahan.

-y dir
Menentukan direktori pencarian modul.

DISTRIBUSI

Versi terbaru tersedia darihttp://www.veripool.org/>.

Hak Cipta 2003-2015 oleh Wilson Snyder. Verilator adalah perangkat lunak bebas; Anda dapat mendistribusikannya kembali
dan/atau memodifikasi internal Verilator di bawah ketentuan GNU Lesser General
Lisensi Publik Versi 3 atau Lisensi Artistik Perl Versi 2.0.

PENULIS

Wilson Snyder[email dilindungi]>

Gunakan verilator_coverage_bin_dbg online menggunakan layanan onworks.net