tertutup - Online di Cloud

PROGRAM:

NAMA

Covered - Penganalisis Cakupan Kode Verilog

SINTAKSIS

tercakup [opsi_global] skor [Pilihan]
tercakup [opsi_global] bergabung [Pilihan] database_yang ada database_untuk_menggabungkan+
tercakup [opsi_global] melaporkan [Pilihan] database_file
tercakup [opsi_global] peringkat [Pilihan] database_ke_peringkat database_ke_peringkat+
tercakup [opsi_global] mengecualikan [Pilihan] pengecualian_id+ database_file

DESKRIPSI

Tercakup adalah alat analisis cakupan kode Verilog yang dapat berguna untuk menentukan bagaimana
baik suite uji diagnostik meliputi desain yang diuji. Bacaan tercakup dalam
File desain Verilog dan file dump berformat VCD, LXT2 atau FST dari proses diagnostik dan
menghasilkan file database yang disebut file Coverage Description Database (CDD), menggunakan
perintah skor. Perintah skor Covered dapat digunakan sebagai alternatif untuk menghasilkan file CDD
dan modul Verilog untuk menggunakan Covered sebagai modul VPI di testbench yang dapat diperoleh
informasi cakupan secara paralel dengan simulasi (lihat MENGGUNAKAN TERTUTUPI AS A VPI MODUL). Itu
file CDD yang dihasilkan dapat digabungkan dengan file CDD lain dari desain yang sama untuk membuat
cakupan terakumulasi, menggunakan perintah gabungan. Setelah file CDD dibuat, pengguna dapat
gunakan Covered untuk menghasilkan berbagai laporan cakupan yang dapat dibaca manusia dalam format atau gunakan ASCII
GUI Covered untuk melihat hasil liputan secara interaktif, menggunakan perintah report. Jika
titik cakupan yang tidak ditemukan ditemukan bahwa pengguna ingin mengecualikan dari cakupan, ini dapat
ditangani dengan perintah pengecualian baris perintah atau di dalam GUI. Ketika banyak
File CDD dibuat dari desain yang sama, pengguna dapat memperoleh peringkat cakupan:
file CDD itu untuk menentukan urutan ideal untuk pengujian regresi serta memahami
file CDD mana yang dapat dikecualikan dari regresi karena ketidakmampuannya untuk mencapai yang baru
titik cakupan. Selain itu, sebagai bagian dari perintah skor Covered, kondisi balapan
kemungkinan ditemukan dalam file desain dan dapat diabaikan, ditandai sebagai peringatan
atau ditandai sebagai kesalahan. Dengan menentukan kondisi balapan sebagai kesalahan, Covered juga dapat digunakan
sebagai pemeriksa kondisi balapan.

GLOBAL PILIHAN

Opsi ini ditempatkan segera setelah kata kunci tercakup di baris perintah. Mereka
dapat digunakan untuk perintah apa pun (dengan pengecualian -v dan -h) dan memiliki efek yang sama dalam
masing-masing kasus.

-B Menggelapkan. Mengaburkan semua nama yang sensitif terhadap desain sebelum mengeluarkan output
format yang dapat dibaca pengguna. Opsi ini berguna saat berbagi hasil dengan
pengembang Covered untuk tujuan debugging.

-D Debug. Menampilkan informasi yang berguna untuk men-debug masalah alat. Catatan: Ini
opsi sekarang hanya tersedia ketika tertutup dibuat dengan --enable-debug
opsi konfigurasi.

-h Membantu. Tampilkan informasi penggunaan ini.

-P [nama file]
Modus profil. Mengaktifkan profiler kode sumber internal yang akan menghasilkan
laporan profil dari perintah run ke yang ditentukan nama file atau, jika tidak
nama file hadir, ke file bernama tertutup.prof. Opsi ini hanya tersedia
jika --aktifkan-profil opsi konfigurasi ditentukan ketika Covered adalah
dibangun di.

-Q Modus tenang. Menyebabkan semua output ditekan.

-T Modus singkat. Menyebabkan semua output ditekan dengan pengecualian peringatan
pesan dan informasi header Covered.

-v Versi: kapan. Tampilkan versi Covered saat ini.

PERINTAH

skor Parsing file Verilog dan dumpfile VCD/LXT2/FST untuk membuat file database yang digunakan untuk
penggabungan dan pelaporan.

bergabung Menggabungkan dua atau lebih file database menjadi satu.

melaporkan Menghasilkan laporan cakupan yang dapat dibaca manusia dari file database atau memulai cakupan
laporan GUI.

peringkat Menghasilkan laporan yang menentukan urutan ideal untuk menjalankan regresi dan menentukan
File CDD yang tidak menambahkan informasi cakupan baru (dan oleh karena itu, dapat dikecualikan
dari regresi, jika diinginkan).

mengecualikan
Mengizinkan satu atau beberapa titik cakupan (diidentifikasi dengan ID pengecualian dalam laporan
dihasilkan dengan opsi -x) agar properti pengecualiannya diaktifkan (termasuk ke
mengecualikan atau mengecualikan untuk menyertakan) dan, jika properti pengecualian diatur untuk mengecualikan,
secara opsional mengizinkan alasan pengecualian untuk dikaitkan dengannya dan disimpan di
file CDD yang ditentukan.

SCORE COMMAND

Opsi berikut ini valid untuk perintah skor:

-A oval Menyebabkan pernyataan OVL digunakan untuk cakupan pernyataan. Bendera ini harus diberikan
ke perintah skor jika metrik cakupan pernyataan diperlukan dalam laporan
perintah.

-cdd Database
Sama seperti opsi -o. Berguna ketika file CDD yang sedang dinilai adalah input untuk skor
perintah.

-kli [nama file]
Menyebabkan debugger baris perintah digunakan selama penilaian dumpfile VCD/LXT2/FST.
If nama file ditentukan, file ini berisi informasi yang disimpan dalam panggilan sebelumnya
untuk menyimpan hisist di CLI dan menyebabkan riwayat yang terkandung dalam file ini diputar ulang
sebelum prompt perintah CLI. Jika nama file tidak ditentukan, prompt CLI akan
segera tersedia pada awal simulasi. Opsi ini hanya tersedia
ketika Covered dikonfigurasi dengan --aktifkan-debug .

-konservatif
Jika opsi ini ditentukan, blok logika apa pun yang berisi kode yang dapat menyebabkan
perbedaan cakupan yang menyebabkan hasil cakupan yang berpotensi tidak akurat adalah
dihapus dari pertimbangan cakupan. Lihat Panduan Pengguna untuk informasi lebih lanjut tentang apa
jenis kode dapat menyebabkan ketidakakuratan cakupan.

-dumpvar [nama file]
Jika opsi ini ditentukan tanpa opsi -vcd atau -lxt, desain diurai,
file CDD dibuat dan file modul Verilog tingkat atas bernama nama file (jika ini
nilai ditentukan) atau "covered_dump.v" (jika nama file tidak ditentukan) dibuat.
File ini digunakan dalam kompilasi simulator untuk membuat file dump yang
dioptimalkan untuk mendapatkan cakupan untuk file CDD yang ditentukan. Jika salah satu -vcd atau
Opsi -lxt ditentukan, opsi ini tidak berpengaruh. Lihat Panduan Pengguna untuk
informasi lebih lanjut tentang cara menggunakan opsi ini.

-D tentukan_nama
Mendefinisikan nama yang ditentukan menjadi 1.

-D define_name=nilai
Mendefinisikan nama yang ditentukan ke nilai yang ditentukan.

-e nama_blok
Nama modul, tugas, fungsi atau blok awal/akhir bernama untuk tidak mencetak skor. Penyebab semua
subblok di pohon Verilog di bawah blok ini juga tidak akan diberi skor.

-ea Mengecualikan semua selalu blok dari dipertimbangkan untuk cakupan.

-ek Mengecualikan semua penugasan berkelanjutan agar tidak dipertimbangkan untuk diliput.

-ei Mengecualikan semua blok awal untuk dipertimbangkan untuk cakupan.

-ef Mengecualikan semua blok akhir dari dipertimbangkan untuk cakupan.

-ep [nama]
Tidak termasuk semua kode yang ditemukan antara '// coverage off' dan '// coverage on' pragma
tertanam dalam desain. Jika nama ditentukan, kata kunci dalam pragma akan
diubah menjadi nama itu alih-alih "cakupan" default, memungkinkan pengguna untuk
mengubah tampilan pragma jika bertentangan dengan alat lain.

-F module_name=[masuk_expr,]keluar_expr
Menunjukkan ke parser di mana menemukan FSM yang terletak di modul modul_nama yang
memiliki ekspresi keadaan input yang disebut di_expr dan ekspresi keadaan keluaran disebut
keluar_expr. Jika di_expr tidak ditentukan, keluar_expr digunakan sebagai input dan
ekspresi keadaan keluaran.

-f nama file
Nama file yang berisi argumen tambahan untuk diurai.

-pertama nama file
Nama dumpfile FST untuk mendesain skor. Jika -vcd, -lxt atau opsi ini tidak
digunakan, Covered hanya akan membuat file CDD awal dari desain dan tidak akan
mencoba untuk mencetak desain.

-g [nama_modul=](1|2|3)
Memungkinkan pengguna untuk membatasi pengurai ke generasi tertentu dari Verilog
standar untuk modul tertentu atau seluruh desain, di mana 1=Verilog-1995,
2=Verilog-2001, 3=SystemVerilog. Jika nama_modul= ditentukan, parser menggunakan
standar Verilog yang ditentukan untuk modul itu saja, memungkinkan sisa desain untuk
menggunakan standar global. Secara default, standar global diatur ke yang terbaru
versi (3). Opsi ini dapat ditentukan lebih dari sekali untuk panggilan tertentu ke
perintah skor; namun, jika opsi -g menentukan lebih dari nilai global (yaitu,
tanpa modul= awalan), hanya nilai opsi terakhir yang akan digunakan.

-h Menampilkan informasi bantuan ini.

-I direktori
Direktori untuk menemukan file Verilog yang disertakan.

-i nama instansi
Referensi hierarkis Verilog ke modul yang ada di bagian atas pohon menjadi
mencetak gol. Opsi ini diperlukan jika modul untuk memverifikasi cakupan bukan level teratas
modul dalam desain. Jika tidak ditentukan, -t nilai digunakan.

-lxt nama file
Nama dumpfile LXT2 untuk mencetak desain. Jika -vcd, -fst atau opsi ini tidak
digunakan, Covered hanya akan membuat file CDD awal dari desain dan tidak akan
mencoba untuk mencetak desain.

-m pesan
Memungkinkan pengguna untuk menentukan informasi tentang file CDD ini. Informasi ini dapat
apa saja (pesan dengan spasi putih harus diapit oleh tanda kutip ganda
tanda), tetapi dapat menyertakan sesuatu tentang argumen simulasi agar lebih mudah
tautkan file CDD ke simulasinya untuk tujuan membuat ulang file CDD.

-o Database
Nama database untuk menulis informasi cakupan. Jika tidak ditentukan, output
nama file database akan menjadi "cov.cdd".

-p nama file
Mengganti nama file default yang digunakan untuk menyimpan output praprosesor perantara.

-P parameter_scope=nilai
Melakukan defparam pada parameter yang ditentukan dengan nilai.

-rs Ketika pemeriksaan kondisi balapan dilanggar, blok logika yang menyinggung akan dihapus
dari pertimbangan cakupan dan semua output ditekan terkait balapan
pelanggaran kondisi. Lihat dokumentasi pengguna untuk informasi lebih lanjut tentang balapan
pemakaian pengecekan kondisi.

-rW Ketika pemeriksaan kondisi balapan dilanggar, blok logika yang menyinggung akan dihapus
dari pertimbangan cakupan dan pelanggaran kondisi balapan adalah keluaran. Ini adalah
perilaku default untuk penanganan kondisi balapan. Lihat dokumentasi pengguna untuk lebih lanjut
informasi tentang penggunaan pemeriksaan kondisi balapan.

-ulang Ketika pemeriksaan kondisi balapan dilanggar, alasannya adalah keluaran dan skor berakhir
langsung. Lihat dokumentasi pengguna untuk informasi lebih lanjut tentang kondisi balapan
memeriksa penggunaan.

-rSaya[=modul nama]
If modul nama tidak ditentukan, pemeriksaan kondisi balapan dilewati sama sekali untuk
seluruh desain. Jika modul nama ditentukan, pemeriksaan kondisi balapan dilewati
untuk modul yang ditentukan. Lihat dokumentasi pengguna untuk informasi lebih lanjut tentang balapan
pemakaian pengecekan kondisi.

-rP[=nama])
Menggunakan pragma tertanam untuk mengabaikan kode tertentu dari pemeriksaan kondisi balapan
pertimbangan (jika nama ditentukan itu digunakan sebagai kata kunci pragma). Lihat pengguna
dokumentasi untuk informasi lebih lanjut tentang penggunaan pemeriksaan kondisi balapan.

-S Menampilkan statistik simulasi setelah simulasi selesai. Informasi ini adalah
saat ini hanya berguna untuk pengembang Covered.

-t tingkat atas modul
Menentukan nama modul dari modul paling atas yang akan diukur. Perhatikan bahwa
modul ini tidak perlu menjadi modul paling atas di simulator. Lapangan ini
diperlukan untuk semua panggilan ke perintah skor.

-top_ts skala waktu
Opsi ini hanya berlaku jika opsi -vpi atau -dumpvars telah ditentukan.
Opsi ini memungkinkan pengguna untuk menentukan skala waktu untuk modul Verilog yang dihasilkan
dibuat dengan opsi -vpi/-dumpvars. Jika opsi ini tidak ditentukan, tidak
skala waktu akan dibuat untuk modul yang dihasilkan. Nilai dari skala waktu is
ditentukan sebagai berikut:

(1|10|100)(s|ms|us|ns|ps|fs)/(1|10|100)(s|ms|us|ns|ps|fs)

Jika spasi diperlukan di antara berbagai nilai, tempatkan seluruh konten
skala waktu dalam tanda kutip ganda.

-ts jumlah
Saat penilaian terjadi, opsi ini memungkinkan pengguna untuk melihat seberapa jauh simulator telah
dikembangkan dengan mengeluarkan timestep saat ini ke output standar. Nilai dari
jumlah menentukan berapa banyak langkah waktu yang diizinkan untuk disimulasikan sebelum mengeluarkan
timestep saat ini (menghasilkan lebih sedikit panggilan ke aliran keluaran).

-T (min|ketik|maks)
Menentukan nilai mana yang akan digunakan saat menghadapi ekspresi penundaan dalam formulir:
min:ketik:maks. Jika opsi ini tidak ditentukan, pilih 'ketik' digunakan secara default.

-v nama file
Nama file Verilog tertentu untuk mencetak gol.

-vcd nama file
Nama dumpfile VCD untuk desain skor. Jika -lxt, -fst atau opsi ini tidak
digunakan, Covered hanya akan membuat file CDD awal dari desain dan tidak akan
mencoba untuk mencetak desain.

-vpi [nama file]
Jika opsi ini ditentukan tanpa opsi -vcd, -lxt atau -fst, desainnya adalah
diuraikan, file CDD dibuat dan file modul Verilog tingkat atas bernama nama file
(jika nilai ini ditentukan) atau "covered_vpi.v" (jika nama file tidak ditentukan) adalah
dibuat bersama dengan file tabel PLI bernama nama file.ta b atau "covered_vpi.v.ta b".
Kedua file ini digunakan dalam kompilasi simulator untuk menggunakan Covered sebagai
modul VPI. Jika opsi -vcd, -lxt atau -fst ditentukan, opsi ini
tidak berpengaruh.

-Abaikan
Menekan output peringatan selama penguraian kode dan simulasi.

-y direktori
Direktori untuk menemukan file Verilog yang tidak ditentukan.

+libex+.perpanjangan[+.perpanjangan]*+
Ekstensi file Verilog untuk memungkinkan dalam penilaian.

MENGGABUNGKAN COMMAND

Opsi berikut ini valid untuk perintah gabungan:

-d nama file
Direktori untuk mencari file CDD untuk disertakan. Opsi ini digunakan bersama
pada pengatur terkenal. Pengatur ini menawarkan bantuan hukum kepada traderapabila trader berselisih dengan broker yang terdaftar dengan mereka. -ekst opsi yang menentukan ekstensi file yang akan digunakan untuk menentukan
file mana dalam direktori yang merupakan file CDD.

-Er (pertama|terakhir|semua|yang baru|tua)
Menentukan cara menangani resolusi alasan pengecualian. Jika dua atau lebih file CDD
digabung memiliki alasan pengecualian yang ditentukan untuk titik cakupan yang sama,
alasan pengecualian perlu diselesaikan (kecuali jika itu adalah nilai string yang sama). Jika
opsi ini tidak ditentukan dan konflik ditemukan, Covered akan secara interaktif
meminta masukan untuk setiap pengecualian tentang cara menanganinya. Jika opsi ini adalah
ditentukan, ia memberi tahu Covered bagaimana menangani semua konflik alasan pengecualian. NS
nilainya adalah sebagai berikut:.br

pertama - File CDD yang berisi alasan pengecualian pertama digunakan.

terakhir - File CDD yang berisi alasan pengecualian terakhir digunakan.

semua - Semua alasan pengecualian digunakan (bersambung).

yang baru - Gunakan alasan pengecualian terbaru yang ditentukan.

tua - Gunakan alasan pengecualian tertua yang ditentukan.

-ekst perpanjangan
Digunakan bersama dengan -d pilihan. Jika tidak -ekst pilihan ditentukan pada
baris perintah, nilai default '.cdd' digunakan. Perhatikan bahwa titik (.) seharusnya
ditentukan.

-f nama file
Nama file yang berisi argumen tambahan untuk diurai.

-h Menampilkan informasi bantuan ini.

-m pesan
Memungkinkan pengguna untuk menentukan informasi tentang file CDD ini. Informasi ini dapat
apa saja (pesan dengan spasi putih harus diapit oleh tanda kutip ganda
tanda).

-o nama file
File ke output database baru. Jika argumen ini tidak ditentukan,
database_yang ada digunakan sebagai nama database keluaran.

LAPORAN COMMAND

Opsi berikut ini valid dengan perintah laporan:

-b Jika output verbose logika kombinasional dilaporkan dan ekspresinya adalah vektor
operasi, opsi ini mengeluarkan informasi cakupan secara bitwise.

-c If -v ditentukan, hanya menampilkan metrik yang tercakup. Defaultnya adalah menampilkan yang tidak tertutup
informasi saja.

-d (s|d|v)
Tingkat detail yang harus disediakan dalam informasi laporan liputan (s = ringkasan, d =
rinci, v = verbose). Default adalah ringkasan.

-e Keluarkan semua titik cakupan yang dikecualikan ke file laporan bersama dengan yang ditentukan
alasan pengecualian jika -d d or -d v opsi ditentukan.

-f nama file
Nama file yang berisi argumen tambahan untuk diurai.

-h Menampilkan informasi bantuan ini.

-i Memberikan informasi cakupan untuk instans, bukan modul.

-m [l] [t] [c] [f] [r] [a] [m]
Jenis metrik yang akan dilaporkan. l=garis, t=beralih, c=logika kombinasional, f=keadaan FSM
dan transisi status, r=kondisi balapan, a=pernyataan, m=memori. Standarnya adalah ltcf.

-o nama file
File untuk menampilkan informasi laporan. Default adalah keluaran standar.

-s Menekan modul/instance yang tidak berisi informasi cakupan agar tidak menjadi keluaran
ke laporan. Digunakan untuk membantu menghilangkan informasi yang berpotensi tidak berarti dari
melaporkan.

-v Tidak digunakan lagi. Diganti dengan '-dd' atau '-d v'.

-melihat Memulai antarmuka GUI untuk pelaporan cakupan interaktif.

-w (jumlah)
Menentukan lebar garis maksimum (dalam karakter) yang dapat digunakan untuk menampilkan Verilog
informasi. Jika opsi ini tidak ditentukan, semua kode Verilog dalam laporan akan
mempertahankan format yang sama seperti yang ditentukan dalam kode Verilog asli. Jika ini
opsi ditentukan, kode Verilog akan diformat untuk menggunakan sebanyak mungkin saat ini
baris mungkin, membungkus teks ketika garis mencapai lebar garis maksimum. NS
lebar garis maksimum default adalah 115 karakter (nilai ini digunakan jika tidak ada angka
ditentukan dengan opsi -w). Jika angka ditentukan dengan opsi -w, ini
nilai digunakan untuk lebar garis maksimum.

-x Menampilkan ID pengecualian dari semua titik cakupan yang tidak ditemukan dan dikecualikan di dalam
kurung sebelum output verbose terkait dari titik cakupan. NS
ID pengecualian dapat digunakan untuk mengecualikan/menyertakan poin cakupan melalui pengecualian
perintah.

RANK COMMAND

Opsi berikut ini valid dengan perintah rank:

-d nama file
Direktori untuk mencari file CDD untuk disertakan. Opsi ini digunakan bersama
pada pengatur terkenal. Pengatur ini menawarkan bantuan hukum kepada traderapabila trader berselisih dengan broker yang terdaftar dengan mereka. -ekst opsi yang menentukan ekstensi file yang akan digunakan untuk menentukan
file mana dalam direktori yang merupakan file CDD.

-kedalaman jumlah
Menentukan jumlah minimum file CDD yang diperlukan untuk mencapai setiap titik cakupan. NS
nilai jumlah harus lebih besar dari nol. Standarnya adalah 1.

-ekst perpanjangan
Digunakan bersama dengan -d pilihan. Jika tidak -ekst pilihan ditentukan pada
baris perintah, nilai default '.cdd' digunakan. Perhatikan bahwa titik (.) seharusnya
ditentukan.

-f nama file
Nama file yang berisi argumen tambahan untuk diurai.

-h Menampilkan informasi bantuan untuk perintah peringkat.

-nama-saja
Jika ditentukan, hanya menampilkan nama file CDD yang diperlukan yang perlu dijalankan di
agar mereka harus dijalankan. Jika opsi ini tidak disetel, keluaran bergaya laporan adalah
dilengkapi dengan informasi tambahan. Opsi ini dimaksudkan untuk berguna dalam skrip
yang hanya ingin nama file CDD dijalankan sebagai output.

-o nama file
Nama file untuk menampilkan informasi peringkat. Default adalah keluaran standar.

-wajib-cdd nama file
Nama CDD yang harus dianggap sebagai CDD yang diperlukan untuk menentukan peringkat (yaitu, tidak boleh
dikecualikan dengan alasan apapun).

-daftar-wajib nama file
Nama file yang berisi daftar CDD yang harus dipertimbangkan sebagai CDD wajib
untuk menentukan peringkat. Nama file harus dipisahkan dengan spasi atau karakter baris baru
di dalam file.

-v Menyebabkan keluaran verbose ditampilkan saat perintah rank dijalankan. Ini menghasilkan
informasi diagnostik tentang masing-masing fase berbeda dari algoritme peringkat
termasuk run-time, jumlah file CDD yang disertakan/dikecualikan dan jumlah cakupan
poin yang terkena CDD peringkat selama setiap fase. Informasi ini dimaksudkan untuk menjadi
berguna bagi mereka yang tertarik dengan algoritma peringkat dan kinerjanya.

-berat-tegas jumlah
Menentukan bobot relatif untuk cakupan pernyataan yang digunakan untuk memberi peringkat non-unik
titik cakupan. Nilai dari jumlah relatif terhadap nilai yang digunakan dalam
-berat-beralih, -berat-memori, -berat-sisir, -berat-fsm dan -garis-berat peringkat
opsi perintah.

-berat-sisir jumlah
Menentukan bobot relatif untuk cakupan logika kombinasional yang digunakan untuk menentukan peringkat
titik cakupan non-unik. Nilai dari jumlah relatif terhadap nilai yang digunakan dalam
itu -berat-beralih, -berat-memori, -berat-tegas, -berat-fsm dan -garis-berat
opsi perintah peringkat.

-berat-fsm jumlah
Menentukan bobot relatif untuk status FSM dan cakupan transisi status yang digunakan untuk
peringkat poin cakupan non-unik. Nilai dari jumlah relatif terhadap nilai
digunakan dalam -berat-beralih, -berat-memori, -berat-sisir, -berat-tegas dan
-garis-berat opsi perintah peringkat.

-garis-berat jumlah
Menentukan bobot relatif untuk cakupan garis yang digunakan untuk menentukan peringkat cakupan non-unik
poin. Nilai dari jumlah relatif terhadap nilai yang digunakan dalam -berat-beralih,
-berat-memori, -berat-sisir, -berat-fsm dan -berat-tegas opsi perintah peringkat.

-berat-memori jumlah
Menentukan bobot relatif untuk cakupan memori yang digunakan untuk menentukan peringkat cakupan non-unik
poin. Nilai dari jumlah relatif terhadap nilai yang digunakan dalam -berat-beralih,
-garis-berat, -berat-sisir, -berat-fsm dan -berat-tegas opsi perintah peringkat.

-berat-beralih jumlah
Menentukan bobot relatif untuk cakupan sakelar yang digunakan untuk menentukan peringkat cakupan non-unik
poin. Nilai dari jumlah relatif terhadap nilai yang digunakan dalam -berat-memori,
-garis-berat, -berat-sisir, -berat-fsm dan -berat-tegas opsi perintah peringkat.

MENGECUALIKAN COMMAND

Opsi berikut ini valid dengan perintah pengecualian:

-f nama file
Menentukan nama file yang berisi lebih banyak opsi untuk perintah pengecualian.
Opsi ini dapat ditentukan sebanyak yang diperlukan untuk satu panggilan ke
mengecualikan perintah.

-h Menghasilkan informasi penggunaan untuk perintah pengecualian.

-m Memungkinkan pesan pengecualian dikaitkan dengan titik cakupan mana pun
dari negara bagian yang disertakan ke negara bagian yang dikecualikan. Untuk setiap titik cakupan yang memenuhi
persyaratan ini, pengguna akan diminta untuk memasukkan alasan. Alasannya mungkin
setiap panjang dan sejumlah garis; namun, semua karakter pemformatan (yaitu,
baris baru, tab, spasi ekstra, dll.) akan dihapus dan diganti dengan satu
ruang ketika nanti ditampilkan. Untuk mengakhiri input pesan, tekan kembali,
masukkan satu karakter titik (.) dan tekan kembali lagi. Periode terakhir
karakter tidak akan menjadi bagian dari pesan pengecualian.

-p Menyebabkan semua titik cakupan yang ditentukan untuk mencetak status pengecualian mereka saat ini dan
alasan pengecualian (jika ada untuk titik cakupan yang dikecualikan) ke standar
keluaran. Jika opsi ini ditentukan, -m pilihan akan diabaikan.

MENGGUNAKAN TERTUTUPI AS A VPI MODUL

Selain menggunakan perintah skor Covered untuk mengurai file VCD, LXT2 atau FST ke abstrak
informasi cakupan, Covered juga dapat digunakan sebagai modul VPI dalam simulator untuk
ekstrak informasi ini. Keuntungan menggunakan Covered sebagai VPI dibandingkan pembaca dumpfile
termasuk berikut ini. Pertama, file VCD bisa sangat besar, terutama untuk waktu yang lama
simulasi, menggunakan ruang disk yang berharga. Kedua, jika Anda menggunakan simulator yang
membuang file dalam format yang berbeda dari VCD, LXT2 atau FST dan Anda ingin mengonversi dump ini
jenis file ke salah satu versi ini, biaya ruang disk dan waktu dapat membuat pembuatan
dumpfiles yang Covered membutuhkan tidak diinginkan. Selain itu, meskipun menggunakan Covered sebagai VPI
modul akan memperlambat kecepatan simulasi Anda, kemungkinan besar total waktu yang dihabiskan
mensimulasikan desain Anda dan menilai desain dalam satu langkah akan lebih singkat daripada melakukannya di
dua langkah. Akibatnya, utilitas konfigurasi Covered dapat menghasilkan perpustakaan siap-VPI untuk
simulator gratis dan komersial berikut (Icarus Verilog, CVER dan VCS).

Untuk secara otomatis membuat file perpustakaan siap-VPI saat membuat Covered dari sumber,
cukup tentukan satu atau lebih dari yang berikut ini saat menjalankan utilitas "konfigurasi" di
Direktori tertutup dasar: --with-iv= , --dengan-vcs=
jalur>, --dengan-cver= . Setelah Covered dikonfigurasi, cukup ketik
'make' dan 'make install'. Ini akan menginstal file perpustakaan siap-VPI di
direktori instalasi libexec (secara default jalur ini adalah /usr/local/libexec).

Sebelum Anda siap untuk mengkompilasi desain, Anda harus terlebih dahulu membuat file CDD, tingkat atas
File Verilog, dan file tabel PLI (file terakhir hanya diperlukan untuk kompiler VCS).
Hal ini dilakukan dengan menentukan -vpi (nama file) opsi untuk perintah skor Covered. Jika tidak
nama file ditentukan setelah -vpi, file cover_vpi.v dan cover_vpi.ta b akan menjadi
dibuat bersama dengan file cakupan yang dihasilkan. Perhatikan bahwa langkah ini hanya perlu
dilakukan sekali kecuali file desain berubah. Anda sekarang siap untuk mengkompilasi
simulator.

Jika Anda mengkompilasi simulasi Icarus Verilog, cukup tambahkan '-m
/usr/local/libexec/covered.vpi cover_vpi.v' ke baris perintah 'iverilog'. Satu kali
kompilasi selesai, jalankan file executable yang dihasilkan seperti biasa.

Jika Anda sedang menyusun simulasi CVER, cukup tambahkan
'+loadvpi=/usr/local/libexec/covered.cver.so:vpi_compat_bootstrap cover_vpi.v' ke
baris perintah 'cver'.

Jika Anda mengkompilasi simulasi VCS, cukup tambahkan '+vpi -load
/usr/local/libexec/covered.vcs.so:covered_register cover_vpi.v' ke 'vcs'
garis komando. Setelah kompilasi selesai, jalankan file executable yang dihasilkan saat Anda
biasanya.

Jika Anda mengkompilasi simulasi NC-Verilog, alihkan ke perintah irun NC-Verilog untuk memuat
objek bersama yang dicakup: '-loadvpi /usr/local/libexec/covered.ncv.so:covered_register'
dan aktifkan semua akses dengan '-access +rwc'. Anda dapat membuat hardcode panggilan $covered_sim menjadi
RTL Anda atau Anda dapat menjalankannya secara dinamis menggunakan CLI, dengan menambahkan -input input.tcl
beralih ke irun. Dimana file input.tcl terlihat seperti berikut dan tb.dut adalah
contoh cakupan:
hubungi -systf {$covered_sim} {"scored.cdd"} tb.dut
menjalankan

Ada dua plusargs yang dapat diteruskan ke executable yang dihasilkan ketika dijalankan itu
Covered akan mengurai. '+covered_cdd= ' opsi akan menyebabkan Covered menampilkan
mencetak konten desain ke file CDD yang ditentukan oleh . Ini memungkinkan banyak lari
simulator untuk menghasilkan beberapa file CDD yang berbeda tanpa memerlukan kompilasi ulang untuk
terjadi. Opsi '+covered_debug' akan menyebabkan Covered membuang banyak output yang berlebihan
tentang keadaan run-time internal selama simulasi. Output ini hanya akan dihasilkan
jika Covered dikonfigurasi dengan opsi --enable-debug. Opsi plusarg ini seharusnya tidak
digunakan oleh pengguna biasa karena terutama ditujukan untuk membantu para pengembang Covered in
debug.

PENULIS

Trevor Williams[email dilindungi]>

Gunakan tercakup online menggunakan layanan onworks.net