dilindungi - Dalam talian di Awan

JADUAL:

NAMA

Dilindungi - Penganalisis Liputan Kod Verilog

SISTEM

dilindungi [pilihan_global] Perincian [pilihan]
dilindungi [pilihan_global] bergabung [pilihan] pangkalan data sedia ada pangkalan data_untuk_gabung+
dilindungi [pilihan_global] melaporkan [pilihan] fail_pangkalan data
dilindungi [pilihan_global] bertaraf [pilihan] pangkalan data_ke_pangkat pangkalan data_ke_pangkat+
dilindungi [pilihan_global] tidak termasuk [pilihan] id_pengecualian+ fail_pangkalan data

DESCRIPTION

Dilindungi ialah alat analisis liputan kod Verilog yang boleh berguna untuk menentukan caranya
satu set ujian diagnostik meliputi reka bentuk yang sedang diuji. Bacaan tertutup dalam
Fail reka bentuk Verilog dan fail dump berformat VCD, LXT2 atau FST daripada larian diagnostik dan
menjana fail pangkalan data yang dipanggil fail Coverage Description Database (CDD), menggunakan fail
arahan skor. Perintah skor Covered boleh digunakan secara alternatif untuk menjana fail CDD
dan modul Verilog untuk menggunakan Dilindungi sebagai modul VPI dalam meja ujian yang boleh diperolehi
maklumat liputan selari dengan simulasi (lihat MENGGUNAKAN TERDAPAT AS A VPI MODULE). The
fail CDD yang terhasil boleh digabungkan dengan fail CDD lain daripada reka bentuk yang sama untuk dibuat
liputan terkumpul, menggunakan arahan gabungan. Setelah fail CDD dibuat, pengguna boleh
gunakan Covered untuk menjana pelbagai laporan liputan yang boleh dibaca manusia dalam format atau penggunaan ASCII
GUI Covered untuk melihat secara interaktif hasil liputan, menggunakan arahan laporan. Jika
titik liputan yang ditemui didapati bahawa pengguna ingin mengecualikan daripada liputan, ini boleh
dikendalikan dengan sama ada arahan tidak termasuk baris perintah atau dalam GUI. Apabila berbilang
Fail CDD dicipta daripada reka bentuk yang sama, pengguna boleh mendapatkan ranking liputan
fail CDD tersebut untuk menentukan susunan yang ideal untuk ujian regresi serta memahami
fail CDD yang boleh dikecualikan daripada regresi kerana ketidakupayaan mereka untuk memukul baharu
mata liputan. Selain itu, sebagai sebahagian daripada arahan skor Covered, keadaan perlumbaan
kemungkinan ditemui dalam fail reka bentuk dan boleh sama ada diabaikan, dibenderakan sebagai amaran
atau dibenderakan sebagai ralat. Dengan menyatakan keadaan perlumbaan sebagai ralat, Covered juga boleh digunakan
sebagai pemeriksa keadaan perlumbaan.

GLOBAL PILIHAN

Pilihan ini diletakkan sejurus selepas kata kunci dilindungi dalam baris arahan. mereka
boleh digunakan untuk sebarang arahan (kecuali -v and -h) dan mempunyai kesan yang sama dalam
setiap kes.

-B Mengelirukan. Mengaburkan semua nama sensitif reka bentuk sebelum mengeluarkannya
format yang boleh dibaca pengguna. Pilihan ini berguna apabila berkongsi output dengan
pembangun Covered untuk tujuan penyahpepijatan.

-D Nyahpepijat. Paparkan maklumat yang berguna untuk masalah alat nyahpepijat. Nota: Ini
pilihan kini hanya tersedia apabila dilindungi dibina dengan --enable-debug
pilihan konfigurasi.

-h Tolong. Paparkan maklumat penggunaan ini.

-P [nama fail]
Mod pemprofilan. Menghidupkan pemprofil kod sumber dalaman yang akan menghasilkan a
laporan pemprofilan arahan run kepada sama ada yang ditentukan nama fail atau, jika tidak
nama fail hadir, ke fail yang dipanggil dilindungi.prof. Pilihan ini hanya tersedia
jika --dayakan-profil pilihan konfigurasi telah ditentukan apabila Covered adalah
dibina.

-Q Mod senyap. Menyebabkan semua output ditindas.

-T Mod Terse. Menyebabkan semua output ditindas dengan pengecualian amaran
mesej dan maklumat pengepala Dilindungi.

-v Versi. Paparkan versi Dilindungi semasa.

PERINTAH

Perincian Menghuraikan fail Verilog dan fail dump VCD/LXT2/FST untuk mencipta fail pangkalan data yang digunakan
penggabungan dan pelaporan.

bergabung Menggabungkan dua atau lebih fail pangkalan data menjadi satu.

melaporkan Menghasilkan laporan liputan yang boleh dibaca manusia daripada fail pangkalan data atau memulakan liputan
lapor GUI.

bertaraf Menghasilkan laporan yang menentukan susunan yang ideal untuk menjalankan regresi dan menentukan
Fail CDD yang tidak menambah maklumat liputan baharu (dan boleh, oleh itu, dikecualikan
daripada regresi, jika dikehendaki).

tidak termasuk
Membenarkan satu atau lebih titik liputan (dikenal pasti dengan ID pengecualian dalam laporan
dijana dengan pilihan -x) untuk menjadikan harta pengecualiannya ditogol (termasuk ke
kecualikan atau tidak termasuk untuk memasukkan) dan, jika sifat pengecualian ditetapkan untuk mengecualikan,
secara pilihan membenarkan alasan untuk pengecualian dikaitkan dengannya dan disimpan dalam
fail CDD yang ditentukan.

SCORE COMMAND

Pilihan berikut adalah sah untuk arahan skor:

-A okey Menyebabkan penegasan OVL digunakan untuk liputan penegasan. Bendera ini mesti diberikan
kepada arahan skor jika metrik liputan penegasan diperlukan dalam laporan
perintah.

-cdd pangkalan data
Sama seperti pilihan -o. Berguna apabila fail CDD dijaringkan adalah input kepada skor
perintah.

-cli [nama fail]
Menyebabkan penyahpepijat baris arahan digunakan semasa pemarkahan fail dump VCD/LXT2/FST.
If nama fail ditentukan, fail ini mengandungi maklumat yang disimpan dalam panggilan sebelumnya
untuk menyimpan sejarah pada CLI dan menyebabkan sejarah yang terkandung dalam fail ini dimainkan semula
sebelum arahan arahan CLI. Jika nama fail tidak dinyatakan, gesaan CLI akan
tersedia dengan segera pada permulaan simulasi. Pilihan ini hanya tersedia
apabila Covered dikonfigurasikan dengan --dayakan-debug pilihan.

-konservatif
Jika pilihan ini ditentukan, sebarang blok logik yang mengandungi kod yang boleh menyebabkan
percanggahan perlindungan yang membawa kepada keputusan perlindungan yang berpotensi tidak tepat adalah
dikeluarkan daripada pertimbangan perlindungan. Lihat Panduan Pengguna untuk maklumat lanjut tentang apa
jenis kod boleh menyebabkan ketidaktepatan liputan.

-dumpvars [nama fail]
Jika pilihan ini ditentukan tanpa pilihan -vcd atau -lxt, reka bentuk dihuraikan,
fail CDD dibuat dan fail modul Verilog peringkat atas dinamakan nama fail (jika ini
nilai ditentukan) atau "covered_dump.v" (jika nama fail tidak dinyatakan) dicipta.
Fail ini digunakan dalam penyusunan simulator untuk mencipta dumpfile iaitu
dioptimumkan untuk mendapatkan liputan bagi fail CDD yang ditentukan. Jika sama ada -vcd atau
Pilihan -lxt ditentukan, pilihan ini tidak mempunyai kesan. Lihat Panduan Pengguna untuk
maklumat lanjut tentang cara menggunakan pilihan ini.

-D define_name
Mentakrifkan nama yang ditentukan kepada 1.

-D define_name=value
Mentakrifkan nama yang ditentukan kepada nilai yang ditentukan.

-e block_name
Nama modul, tugas, fungsi atau dinamakan blok permulaan/akhir untuk tidak mendapat markah. Menyebabkan semua
subblok dalam pokok Verilog di bawah blok ini juga tidak akan dijaringkan.

-ea Tidak termasuk semua sentiasa menghalang daripada dipertimbangkan untuk perlindungan.

-ec Tidak termasuk semua tugasan berterusan daripada dipertimbangkan untuk perlindungan.

-i Tidak termasuk semua blok awal daripada dipertimbangkan untuk perlindungan.

-jika Tidak termasuk semua blok akhir daripada dipertimbangkan untuk perlindungan.

-ep [nama]
Tidak termasuk semua kod yang ditemui antara pragma '// liputan dimatikan' dan '// liputan pada'
tertanam dalam reka bentuk. Jika nama ditentukan, kata kunci dalam pragma akan
ditukar kepada nama itu dan bukannya "liputan" lalai, membenarkan pengguna untuk
ubah rupa pragma jika ia bercanggah dengan mana-mana alat lain.

-F module_name=[in_expr,]out_expr
Menunjukkan kepada penghurai tempat untuk mencari FSM yang terletak dalam modul modul_nama yang
mempunyai ungkapan keadaan input yang dipanggil dalam_expr dan ungkapan keadaan keluaran dipanggil
out_expr. Jika dalam_expr tidak dinyatakan, out_expr digunakan sebagai kedua-dua input dan
ungkapan keadaan keluaran.

-f nama fail
Nama fail yang mengandungi argumen tambahan untuk dihuraikan.

-pertama nama fail
Nama fail dump FST untuk reka bentuk skor. Jika -vcd, -lxt atau pilihan ini tidak
digunakan, Covered hanya akan mencipta fail CDD awal daripada reka bentuk dan tidak akan
cuba menjaringkan reka bentuk.

-g [nama_modul=](1|2|3)
Membenarkan pengguna mengehadkan penghurai kepada generasi tertentu Verilog
standard untuk modul tertentu atau keseluruhan reka bentuk, di mana 1=Verilog-1995,
2=Verilog-2001, 3=SystemVerilog. Jika nama_modul= ditentukan, penghurai menggunakan
menetapkan standard Verilog untuk modul itu sahaja, membenarkan reka bentuk yang lain
menggunakan piawaian global. Secara lalai, piawaian global ditetapkan kepada yang paling terkini
versi (3). Pilihan ini boleh ditentukan lebih daripada sekali untuk panggilan yang diberikan kepada
arahan skor; bagaimanapun, jika pilihan -g menentukan lebih daripada nilai global (iaitu,
tanpa modul= awalan), hanya nilai pilihan terakhir akan digunakan.

-h Memaparkan maklumat bantuan ini.

-I direktori
Direktori untuk mencari fail Verilog yang disertakan.

-i nama_contoh
Rujukan hierarki Verilog kepada modul yang berada di bahagian atas pokok untuk menjadi
menjaringkan gol. Pilihan ini diperlukan jika modul untuk mengesahkan liputan bukan peringkat teratas
modul dalam reka bentuk. Jika tidak dinyatakan, -t nilai digunakan.

-lxt nama fail
Nama fail dump LXT2 untuk reka bentuk skor. Jika -vcd, -fst atau pilihan ini tidak
digunakan, Covered hanya akan mencipta fail CDD awal daripada reka bentuk dan tidak akan
cuba menjaringkan reka bentuk.

-m mesej
Membenarkan pengguna untuk menentukan maklumat tentang fail CDD ini. Maklumat ini boleh
apa-apa sahaja (mesej dengan ruang putih hendaklah dikelilingi dengan petikan berganda
markah), tetapi mungkin memasukkan sesuatu tentang hujah simulasi dengan lebih mudah
pautkan fail CDD kepada simulasinya untuk tujuan mencipta semula fail CDD.

-o pangkalan data
Nama pangkalan data untuk menulis maklumat liputan. Jika tidak dinyatakan, output
nama fail pangkalan data akan menjadi "cov.cdd".

-p nama fail
Mengatasi nama fail lalai yang digunakan untuk menyimpan output prapemproses perantaraan.

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

-rS Apabila pemeriksaan keadaan perlumbaan dilanggar, blok logik yang menyinggung dialih keluar
daripada pertimbangan perlindungan dan semua output ditindas mengenai perlumbaan
pelanggaran syarat. Lihat dokumentasi pengguna untuk mendapatkan maklumat lanjut tentang perlumbaan
penggunaan pemeriksaan keadaan.

-rW Apabila pemeriksaan keadaan perlumbaan dilanggar, blok logik yang menyinggung dialih keluar
daripada pertimbangan perlindungan dan pelanggaran syarat perlumbaan adalah keluaran. Ini adalah
tingkah laku lalai untuk pengendalian keadaan perlumbaan. Lihat dokumentasi pengguna untuk maklumat lanjut
maklumat tentang penggunaan pemeriksaan keadaan perlumbaan.

-rE Apabila pemeriksaan keadaan perlumbaan dilanggar, sebabnya ialah output dan pemarkahan tamat
serta merta. Lihat dokumentasi pengguna untuk mendapatkan maklumat lanjut tentang keadaan perlumbaan
menyemak penggunaan.

-rI[=modul nama]
If modul nama tidak dinyatakan, pemeriksaan keadaan perlumbaan dilangkau sama sekali untuk
keseluruhan reka bentuk. Jika modul nama ditentukan, pemeriksaan keadaan perlumbaan dilangkau
untuk modul yang ditetapkan. Lihat dokumentasi pengguna untuk mendapatkan maklumat lanjut tentang perlumbaan
penggunaan pemeriksaan keadaan.

-rP[=nama])
Menggunakan pragma terbenam untuk mengabaikan kod tertentu daripada semakan keadaan perlumbaan
pertimbangan (jika nama dinyatakan ia digunakan sebagai kata kunci pragma). Lihat pengguna
dokumentasi untuk maklumat lanjut tentang penggunaan pemeriksaan keadaan perlumbaan.

-S Mengeluarkan statistik simulasi selepas simulasi selesai. Maklumat ini adalah
pada masa ini hanya berguna untuk pembangun Covered.

-t tahap teratas modul
Menentukan nama modul modul paling teratas yang akan diukur. Perhatikan bahawa
modul ini tidak perlu menjadi modul paling tinggi dalam simulator. Medan ini
diperlukan untuk semua panggilan ke arahan skor.

-top_ts skala masa
Pilihan ini hanya sah apabila pilihan -vpi atau -dumpvars telah ditentukan.
Pilihan ini membolehkan pengguna menentukan skala masa untuk modul Verilog yang dijana
dibuat dengan pilihan -vpi/-dumpvars. Jika pilihan ini tidak dinyatakan, tidak
skala masa akan dibuat untuk modul yang dihasilkan. Nilai skala masa is
dinyatakan seperti berikut:

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

Jika ruang putih diperlukan antara pelbagai nilai, letakkan keseluruhan kandungan
skala masa dalam petikan berganda.

-ts nombor
Apabila pemarkahan berlaku, pilihan ini membolehkan pengguna melihat sejauh mana simulator itu
berkembang dengan mengeluarkan langkah masa semasa kepada output standard. Nilai
nombor menentukan bilangan langkah masa yang dibenarkan untuk disimulasikan sebelum mengeluarkan
langkah masa semasa (menghasilkan kurang panggilan ke strim output).

-T (min|taip|maks)
Menentukan nilai yang hendak digunakan apabila menghadapi ungkapan kelewatan dalam borang:
min:type:maks. Jika pilihan ini tidak dinyatakan, pilih 'taip' digunakan secara lalai.

-v nama fail
Nama fail Verilog khusus untuk dijaringkan.

-vcd nama fail
Nama fail dump VCD untuk reka bentuk skor. Jika -lxt, -fst atau pilihan ini tidak
digunakan, Covered hanya akan mencipta fail CDD awal daripada reka bentuk dan tidak akan
cuba menjaringkan reka bentuk.

-vpi [nama fail]
Jika pilihan ini ditentukan tanpa pilihan -vcd, -lxt atau -fst, reka bentuknya adalah
dihuraikan, fail CDD dibuat dan fail modul Verilog peringkat atas dinamakan nama fail
(jika nilai ini dinyatakan) atau "covered_vpi.v" (jika nama fail tidak dinyatakan) ialah
dicipta bersama-sama dengan fail jadual PLI dipanggil nama fail.ta b atau "covered_vpi.v.ta b".
Kedua-dua fail ini digunakan dalam penyusunan simulator untuk menggunakan Covered as
modul VPI. Jika sama ada pilihan -vcd, -lxt atau -fst ditentukan, pilihan ini
tidak mempunyai kesan.

-Wignore
Sekat output amaran semasa penghuraian kod dan simulasi.

-y direktori
Direktori untuk mencari fail Verilog yang tidak ditentukan.

+bebas+.sambungan[+.sambungan]*+
Sambungan fail Verilog untuk membenarkan dalam pemarkahan.

MERGE COMMAND

Pilihan berikut adalah sah untuk arahan gabungan:

-d nama fail
Direktori untuk mencari fail CDD untuk disertakan. Pilihan ini digunakan bersama
dengan -samb pilihan yang menentukan sambungan fail untuk digunakan untuk menentukan
yang mana fail dalam direktori adalah fail CDD.

-R (pertama|lepas|semua|baru|lama)
Menentukan cara mengendalikan penyelesaian sebab pengecualian. Jika dua atau lebih fail CDD
yang digabungkan mempunyai alasan pengecualian yang ditentukan untuk titik liputan yang sama, iaitu
sebab pengecualian perlu diselesaikan (melainkan nilai rentetan yang sama). Jika
pilihan ini tidak dinyatakan dan konflik ditemui, Dilindungi akan secara interaktif
minta input untuk setiap pengecualian tentang cara mengendalikannya. Jika pilihan ini adalah
ditentukan, ia memberitahu Covered cara mengendalikan semua konflik sebab pengecualian. The
nilai adalah seperti berikut:.br

pertama - Fail CDD yang mengandungi sebab pengecualian pertama digunakan.

lepas - Fail CDD yang mengandungi sebab pengecualian terakhir digunakan.

semua - Semua sebab pengecualian digunakan (bercantum).

baru - Gunakan sebab pengecualian terbaharu yang dinyatakan.

lama - Gunakan sebab pengecualian tertua yang dinyatakan.

-samb lanjutan
Digunakan bersama dengan -d pilihan. Jika tidak -samb pilihan dinyatakan pada
baris arahan, nilai lalai '.cdd' digunakan. Ambil perhatian bahawa noktah (.) sepatutnya
dinyatakan.

-f nama fail
Nama fail yang mengandungi argumen tambahan untuk dihuraikan.

-h Memaparkan maklumat bantuan ini.

-m mesej
Membenarkan pengguna untuk menentukan maklumat tentang fail CDD ini. Maklumat ini boleh
apa-apa sahaja (mesej dengan ruang putih hendaklah dikelilingi dengan petikan berganda
markah).

-o nama fail
Failkan untuk mengeluarkan pangkalan data baharu ke. Jika hujah ini tidak dinyatakan, the
pangkalan data sedia ada digunakan sebagai nama pangkalan data output.

LAPORAN COMMAND

Pilihan berikut adalah sah dengan arahan laporan:

-b Jika keluaran kata kerja logik gabungan dilaporkan dan ungkapan itu ialah vektor
operasi, pilihan ini mengeluarkan maklumat liputan secara bitwise.

-c If -v ditentukan, memaparkan metrik yang dilindungi sahaja. Lalai adalah untuk memaparkan tidak bertutup
maklumat sahaja.

-d (s|d|v)
Tahap perincian untuk diberikan dalam maklumat laporan liputan (s = ringkasan, d =
terperinci, v = verbose). Lalai ialah ringkasan.

-e Mengeluarkan semua liputan yang dikecualikan menunjuk ke fail laporan bersama-sama dengan mana-mana yang dinyatakan
alasan pengecualian jika -d d or -d v pilihan ditentukan.

-f nama fail
Nama fail yang mengandungi argumen tambahan untuk dihuraikan.

-h Memaparkan maklumat bantuan ini.

-i Menyediakan maklumat liputan untuk contoh dan bukannya modul.

-m [l][t][c][f][r][a][m]
Jenis metrik untuk dilaporkan. l=garis, t=togol, c=logik gabungan, f=keadaan FSM
dan peralihan keadaan, r=keadaan perlumbaan, a=penegasan, m=ingatan. Lalai ialah ltcf.

-o nama fail
Failkan untuk mengeluarkan maklumat laporan ke. Lalai ialah keluaran standard.

-s Menekan modul/kejadian yang tidak mengandungi maklumat liputan daripada menjadi output
kepada laporan itu. Digunakan untuk membantu menghapuskan maklumat yang berpotensi tidak bermakna daripada
melaporkan.

-v Ditamatkan. Digantikan dengan '-dd' atau '-d v'.

-pandangan Memulakan antara muka GUI untuk pelaporan liputan interaktif.

-w (nombor)
Menentukan lebar garis maksimum (dalam aksara) yang boleh digunakan untuk mengeluarkan Verilog
maklumat. Jika pilihan ini tidak dinyatakan, semua kod Verilog dalam laporan akan
mengekalkan pemformatan yang sama seperti yang dinyatakan dalam kod Verilog asal. Jika ini
pilihan ditentukan, kod Verilog akan diformatkan untuk menggunakan sebanyak mana semasa
baris yang mungkin, membalut teks apabila garis mencapai lebar garis maksimum. The
lebar garis maksimum lalai ialah 115 aksara (nilai ini digunakan jika tiada nombor
ditentukan dengan pilihan -w). Jika nombor ditentukan dengan pilihan -w, ini
nilai digunakan untuk lebar garis maksimum.

-x Mengeluarkan ID pengecualian semua titik liputan yang ditemui dan dikecualikan di dalamnya
kurungan sebelum keluaran kata kerja yang berkaitan bagi titik liputan. The
ID pengecualian boleh digunakan untuk mengecualikan/menyertakan mata liputan melalui pengecualian
perintah.

Rank COMMAND

Pilihan berikut adalah sah dengan arahan pangkat:

-d nama fail
Direktori untuk mencari fail CDD untuk disertakan. Pilihan ini digunakan bersama
dengan -samb pilihan yang menentukan sambungan fail untuk digunakan untuk menentukan
yang mana fail dalam direktori adalah fail CDD.

-kedalaman nombor
Menentukan bilangan minimum fail CDD yang diperlukan untuk mencapai setiap titik liputan. The
nilai nombor hendaklah lebih besar daripada sifar. Lalai ialah 1.

-samb lanjutan
Digunakan bersama dengan -d pilihan. Jika tidak -samb pilihan dinyatakan pada
baris arahan, nilai lalai '.cdd' digunakan. Ambil perhatian bahawa noktah (.) sepatutnya
dinyatakan.

-f nama fail
Nama fail yang mengandungi argumen tambahan untuk dihuraikan.

-h Memaparkan maklumat bantuan untuk arahan pangkat.

-nama-sahaja
Jika dinyatakan, hanya mengeluarkan nama fail CDD yang diperlukan yang perlu dijalankan dalam
perintah mereka perlu dijalankan. Jika pilihan ini tidak ditetapkan, output gaya laporan adalah
diberikan maklumat tambahan. Pilihan ini bertujuan untuk berguna dalam skrip
yang hanya mahu nama fail CDD dijalankan sebagai output.

-o nama fail
Nama fail untuk mengeluarkan maklumat kedudukan kepada. Lalai ialah keluaran standard.

-diperlukan-cdd nama fail
Nama CDD yang sepatutnya dianggap sebagai CDD yang diperlukan untuk diberi kedudukan (iaitu, ia tidak boleh
dikecualikan atas sebarang sebab).

-senarai-diperlukan nama fail
Nama fail yang mengandungi senarai CDD yang harus dianggap sebagai CDD yang diperlukan
untuk berpangkat. Nama fail hendaklah dipisahkan oleh ruang putih atau aksara baris baharu
dalam fail.

-v Menyebabkan output verbose dipaparkan apabila arahan pangkat dijalankan. Ia mengeluarkan
maklumat diagnostik tentang setiap fasa berbeza bagi algoritma kedudukan
termasuk masa jalan, bilangan fail CDD yang disertakan/dikecualikan dan bilangan liputan
mata yang dipukul oleh CDD peringkat semasa setiap fasa. Maklumat ini dimaksudkan untuk menjadi
berguna untuk mereka yang berminat dengan algoritma kedudukan dan prestasinya.

-berat-menegaskan nombor
Menentukan wajaran relatif untuk liputan penegasan yang digunakan untuk menentukan kedudukan bukan unik
mata liputan. Nilai nombor adalah relatif kepada nilai yang digunakan dalam
-berat-togol, -berat-ingatan, -sisir berat, -berat-fsm and -garis berat bertaraf
pilihan arahan.

-sisir berat nombor
Menentukan pemberat relatif untuk liputan logik gabungan yang digunakan untuk kedudukan
mata liputan bukan unik. Nilai nombor adalah relatif kepada nilai yang digunakan dalam
yang -berat-togol, -berat-ingatan, -berat-menegaskan, -berat-fsm and -garis berat
pilihan arahan pangkat.

-berat-fsm nombor
Menentukan pemberat relatif untuk keadaan FSM dan liputan peralihan keadaan yang digunakan
peringkat mata liputan bukan unik. Nilai nombor adalah relatif kepada nilai
digunakan dalam -berat-togol, -berat-ingatan, -sisir berat, -berat-menegaskan and
-garis berat pilihan arahan pangkat.

-garis berat nombor
Menentukan pemberat relatif untuk liputan talian yang digunakan untuk menilai liputan bukan unik
mata. Nilai nombor adalah relatif kepada nilai yang digunakan dalam -berat-togol,
-berat-ingatan, -sisir berat, -berat-fsm and -berat-menegaskan pilihan arahan pangkat.

-berat-ingatan nombor
Menentukan pemberat relatif untuk liputan memori yang digunakan untuk menilai liputan bukan unik
mata. Nilai nombor adalah relatif kepada nilai yang digunakan dalam -berat-togol,
-garis berat, -sisir berat, -berat-fsm and -berat-menegaskan pilihan arahan pangkat.

-berat-togol nombor
Menentukan pemberat relatif untuk liputan togol yang digunakan untuk menilai liputan bukan unik
mata. Nilai nombor adalah relatif kepada nilai yang digunakan dalam -berat-ingatan,
-garis berat, -sisir berat, -berat-fsm and -berat-menegaskan pilihan arahan pangkat.

KECUALI COMMAND

Pilihan berikut adalah sah dengan perintah exclude:

-f nama fail
Menentukan nama fail yang mengandungi lebih banyak pilihan untuk perintah exclude.
Pilihan ini boleh ditentukan seberapa banyak kali yang perlu untuk satu panggilan ke
mengecualikan arahan.

-h Menghasilkan maklumat penggunaan untuk perintah exclude.

-m Membenarkan mesej pengecualian dikaitkan dengan mana-mana titik liputan yang sedang berlaku
daripada negeri yang disertakan kepada negeri yang dikecualikan. Untuk setiap titik liputan yang bertemu
keperluan ini, pengguna akan diminta untuk memasukkan sebab. Sebabnya mungkin
sebarang panjang dan sebarang bilangan baris; bagaimanapun, semua aksara pemformatan (iaitu,
baris baharu, tab, ruang tambahan, dsb.) akan dialih keluar dan digantikan dengan satu
ruang apabila ia dipaparkan kemudian. Untuk menamatkan input mesej, tekan kembali,
masukkan satu titik (.) aksara dan tekan kembali sekali lagi. Tempoh akhir
watak tidak akan menjadi sebahagian daripada mesej pengecualian.

-p Menyebabkan semua titik liputan yang ditentukan mencetak status pengecualian semasa dan
sebab pengecualian (jika ada untuk titik liputan yang dikecualikan) kepada standard
pengeluaran. Jika pilihan ini dinyatakan, -m pilihan akan diabaikan.

MENGGUNAKAN TERDAPAT AS A VPI MODULE

Selain menggunakan arahan skor Covered untuk menghuraikan fail VCD, LXT2 atau FST kepada abstrak
maklumat liputan, Dilindungi juga boleh digunakan sebagai modul VPI dalam simulator untuk
ekstrak maklumat ini. Kelebihan menggunakan Covered sebagai VPI berbanding pembaca fail dump
termasuk yang berikut. Pertama, fail VCD boleh menjadi sangat besar, terutamanya untuk panjang
simulasi, menggunakan ruang cakera yang berharga. Kedua, jika anda menggunakan simulator itu
membuang fail dalam format yang berbeza daripada VCD, LXT2 atau FST dan anda ingin menukar dump ini
jenis fail kepada salah satu versi ini, kos ruang cakera dan masa boleh membuat penciptaan
dumpfiles yang Dilindungi memerlukan yang tidak diingini. Selain itu, walaupun menggunakan Covered sebagai VPI
modul akan memperlahankan kelajuan simulasi anda, kemungkinan besar jumlah masa yang dibelanjakan
mensimulasikan reka bentuk anda dan menjaringkan reka bentuk dalam satu langkah akan menjadi lebih pendek daripada melakukannya
dua langkah. Akibatnya, utiliti konfigurasi Covered boleh menjana perpustakaan sedia VPI untuk
simulator percuma dan komersial berikut (Icarus Verilog, CVER dan VCS).

Untuk membina fail perpustakaan sedia VPI secara automatik apabila menjana Covered daripada sumber,
hanya tentukan satu atau lebih daripada yang berikut apabila menjalankan utiliti "konfigurasi" dalam
direktori yang dilindungi asas: --with-iv= , --dengan-vcs=
laluan>, --dengan-cver= . Selepas Covered telah dikonfigurasikan, hanya taip
'buat' dan 'buat pemasangan'. Ini akan memasang fail perpustakaan sedia VPI dalam
direktori libexec pemasangan (secara lalai laluan ini ialah /usr/local/libexec).

Sebelum anda bersedia untuk menyusun reka bentuk, anda mesti mencipta fail CDD, peringkat atasan
Fail Verilog, dan fail jadual PLI (fail terakhir hanya diperlukan untuk pengkompil VCS).
Ini dilakukan dengan menyatakan -vpi (nama fail) pilihan kepada arahan skor Covered. Jika tidak
nama fail ditentukan selepas -vpi, fail covered_vpi.v dan covered_vpi.ta b akan
dicipta bersama-sama dengan fail liputan yang dijana. Ambil perhatian bahawa langkah ini hanya perlu
dilakukan sekali melainkan fail reka bentuk berubah. Anda kini bersedia untuk menyusun
simulator.

Jika anda sedang menyusun simulasi Icarus Verilog, cuma tambah '-m
/usr/local/libexec/covered.vpi covered_vpi.v' ke baris arahan 'iverilog'. sekali
penyusunan selesai, jalankan fail boleh laku yang dijana seperti biasa.

Jika anda sedang menyusun simulasi CVER, cuma tambah
'+loadvpi=/usr/local/libexec/covered.cver.so:vpi_compat_bootstrap covered_vpi.v' ke
baris arahan 'cver'.

Jika anda sedang menyusun simulasi VCS, cuma tambah '+vpi -load
/usr/local/libexec/covered.vcs.so:covered_register covered_vpi.v' ke 'vcs'
baris arahan. Setelah penyusunan selesai, jalankan fail boleh laku yang dijana semasa anda
biasanya akan.

Jika anda sedang menyusun simulasi NC-Verilog, tukar kepada arahan irun NC-Verilog untuk memuatkan
objek kongsi yang dilindungi: '-loadvpi /usr/local/libexec/covered.ncv.so:covered_register'
dan dayakan semua akses dengan '-access +rwc'. Anda boleh hardcode panggilan $covered_sim ke
RTL anda atau anda boleh menjalankannya secara dinamik menggunakan CLI, dengan menambah -input input.tcl
tukar kepada irun. Di mana fail input.tcl kelihatan seperti berikut dan tb.dut ialah
contoh liputan:
panggil -systf {$covered_sim} {"scored.cdd"} tb.dut
menjalankan

Terdapat dua plusargs yang boleh dihantar kepada executable yang dihasilkan apabila ia dijalankan
Bertudung akan menghuraikan. '+covered_cdd= ' pilihan akan menyebabkan Covered mengeluarkan
menjaringkan kandungan reka bentuk kepada fail CDD yang ditentukan oleh . Ini membolehkan berbilang larian
simulator untuk menjana beberapa fail CDD yang berbeza tanpa perlu menyusun semula
berlaku. Pilihan '+covered_debug' akan menyebabkan Covered membuang banyak output yang berlebihan
tentang keadaan jangka masa dalamannya semasa simulasi. Output ini hanya akan dihasilkan
jika Covered telah dikonfigurasikan dengan pilihan --enable-debug. Pilihan plusarg ini tidak sepatutnya
digunakan oleh pengguna biasa kerana ia bertujuan terutamanya untuk membantu pembangun Covered in
penyahpepijatan.

PENGARANG

Trevor Williams[e-mel dilindungi]>

Gunakan dilindungi dalam talian menggunakan perkhidmatan onworks.net