vpassertp - Online di Cloud

PROGRAM:

NAMA

vpassert - Praproses pernyataan kode Verilog

RINGKASAN

vpassert [ --membantu ] [ --tanggal ] [ --diam ] [-y direktori... ] [ file ... ]

DESKRIPSI

Vpassert akan membaca file Verilog yang ditentukan dan memproses pernyataan PLI khusus sebelumnya. NS
file ditulis ke direktori bernama .vpassert kecuali jika nama lain diberikan dengan -o.
Jika sebuah direktori dilewatkan, semua file dalam direktori itu akan diproses sebelumnya.

ARGUMEN

Parameter seperti VCS dan GCC standar digunakan untuk menentukan file yang akan diproses sebelumnya:

+libext+aku + aku ... Tentukan ekstensi yang akan diproses
-jika aku Parsing parameter dalam file
-v aku Parsing file perpustakaan (I )
-y aku Parsing semua file dalam direktori (I )
-II Parsing semua file dalam direktori (I )
+incdir+I Parsing semua file dalam direktori (I )

Untuk mencegah rekursi dan mengizinkan penggunaan kembali input.vc yang diteruskan ke simulator, jika
direktori keluaran diminta untuk diproses sebelumnya, direktori itu diabaikan begitu saja.

--semua data
Praproses dan tulis file yang tidak memiliki makro yang perlu diperluas. Oleh
default, file yang tidak perlu diproses tidak ditulis.

Opsi ini dapat mempercepat waktu kompilasi simulator; file akan selalu ditemukan di
direktori yang telah diproses sebelumnya, menyelamatkan kompiler dari keharusan mencari -v . dalam jumlah besar
direktori untuk menemukannya.

--aksioma
Aksioma Khusus ATHDL mengaktifkan/menonaktifkan ditambahkan di sekitar kode yang tidak dapat dijangkau.

--panggilan-kesalahan
Ketika $uerror (atau $uassert dll.) ingin menampilkan pesan, panggil yang ditentukan
fungsi alih-alih $display dan $stop.

--panggilan-info
Saat $uinfo ingin menampilkan pesan, panggil fungsi yang ditentukan alih-alih
$tampilan.

--panggil-peringatkan
Ketika $uwarn (atau $uwarn_clk dll.) ingin menampilkan pesan, hubungi yang ditentukan
fungsi alih-alih $display dan $stop.

--tanggal
Periksa tanggal dan ukuran file versus vpassert yang dijalankan terakhir dan jangan proses jika
file sumber yang diberikan tidak berubah.

--mengecualikan
Kecualikan pemrosesan file apa pun yang dimulai dengan awalan yang ditentukan.

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

--language <1364-1995|1364-2001|1364-2005|1800-2005|1800-2009|1800-2012>
Tetapkan standar bahasa untuk file. Ini menentukan token mana yang merupakan sinyal
versus kata kunci, seperti "lakukan" yang selalu umum (sinyal keluaran data, versus loop do-while
kata kunci).

--minimum
Sertakan `__message_minimum dalam pengujian $uinfo, sehingga dengan mendefinisikan __message_minimum=1
beberapa uinfo dapat dioptimalkan pada waktu kompilasi.

--nolin
Jangan memancarkan `line directives. Jika tidak ditentukan, mereka akan digunakan di bawah --language
1364-2001 dan setelahnya.

--nopli
Hapus semua panggilan PLI 'sederhana'. Panggilan fungsi PLI di dalam tanda kurung tidak akan
diubah, dan dengan demikian mungkin masih perlu dihapus secara manual. Berguna untuk mengurangi
jumlah `ifdef yang diperlukan untuk memberi makan program sintesis kompeten non-PLI.

--tidak berhenti
Secara default, $error dan $warn menyisipkan pernyataan $stop. Dengan --nostop, ini adalah
diganti dengan menambah variabel, yang kemudian dapat digunakan untuk menghentikan secara kondisional
simulasi.

--Hai fillet
Gunakan nama file yang diberikan untuk output alih-alih nama input .vpassert. Jika namanya
diakhiri dengan / digunakan sebagai direktori keluaran dengan nama default.

--diam
Menekan pesan tentang file apa yang sedang diproses sebelumnya.

--sungguh-sungguh
Pengaktifan/penonaktifan RealIntent khusus ditambahkan di sekitar kode yang tidak dapat dijangkau.

--synthcov
Ketika "ifdef SYNTHESIS" terlihat, nonaktifkan cakupan. Lanjutkan di `else atau `endif.
Ini TIDAK mengikuti definisi anak, misalnya:

`IFdef SINTESIS
`mendefinisikan MYSYNTH
`endif
`ifdef MYSYNTH // Ini tidak akan dicakup

--timeformat-unit unit
Jika ditentukan, sertakan panggilan Verilog $timeformat sebelum semua pesan. Gunakan yang disediakan
argumen sebagai unit. Satuan dalam pangkat 10, jadi -9 menunjukkan untuk menggunakan nanodetik.

--timeformat-presisi sebelum
Saat menggunakan --timeformat-units, gunakan ini sebagai nilai presisi, jumlah digit
setelah titik desimal. Default ke nol.

--vericov
Pengaktifan/penonaktifan Vericov khusus ditambahkan di sekitar kode yang tidak dapat dijangkau.

--verilator
Terjemahan Verilator Khusus diaktifkan.

--Versi: kapan
Menampilkan versi program dan keluar.

--vcs
Synopsys Khusus VCS mengaktifkan/menonaktifkan ditambahkan di sekitar kode yang tidak dapat dijangkau.

FUNGSI

Panggilan pseudo-pli Verilog ini diperluas:

/*vp_coverage_off*/
Nonaktifkan cakupan untuk semua alat mulai dari titik ini. Tidak perlu di
garis yang unik.

/*vp_coverage_on*/
Aktifkan kembali cakupan setelah vp_coverage_off. Tidak perlu berada di jalur yang unik.

$uasert(kasus, "pesan", [vars...])
Laporkan $uerror jika kasus yang diberikan FALSE. (Suka menegaskan() di C.)

$uassert_amone (sig, [sig...], "pesan", [vars...])
Laporkan $uerror jika lebih dari satu sinyal dinyatakan, atau ada yang X. (Tidak ada yang dinyatakan
ok.) Pesan kesalahan akan menyertakan tampilan biner dari nilai sinyal.

$uassert_info(kasus, "pesan", [vars...])
Laporkan $uinfo jika kasus yang diberikan SALAH. (Suka menegaskan() di C.)

$uassert_onehot(sig, [sig...], "pesan", [vars...])
Laporkan $uerror jika selain satu sinyal dinyatakan, atau salah satunya adalah X. Kesalahan
pesan akan menyertakan tampilan biner dari nilai sinyal.

$uassert_req_ack(req_sig, ack_sig, [data_sig,...] )
Periksa pulsa permintaan siklus tunggal, diikuti dengan pengakuan siklus tunggal
detak. Jangan izinkan sinyal data apa pun berubah antara permintaan dan
pengakuan.

$ucheck_ilevel(tingkat )
Kembalikan true jika level __message lebih besar atau sama dengan level yang diberikan, dan itu
pesan global diaktifkan.

$ucover_clk (jam, label)
Mirip dengan $uerror_clk, tambahkan pernyataan SystemVerilog pada jam yang ditentukan berikutnya
tepi, dengan label yang ditentukan. Ini memungkinkan properti penutup untuk ditentukan "inline"
dengan kode RTL biasa.

$ucover_foreach_clk (jam, label, "msb:lsb", (... $ui ...))
Mirip dengan $ucover_clk, namun mencakup rentang di mana $ui dalam ekspresi diganti
dengan indeks jangkauan.

Jangkauan adalah "msb:lsb" untuk menunjukkan dari msb ke bawah lsb inklusif, dan/atau dipisahkan koma
daftar nilai.

Mirip dengan:

untuk ($ui=msb; $ui>=lsb; $ui=$ui-1) mulai
if (ekspresi dengan $ui)
$ucover_clk(jam, label ## "_" ## bit)
akhir

Namun tidak ada cara untuk membentuk label dari for loop (seperti psudocoded dengan ## di atas),
demikian makro ini.

Indeks $ui Loop digunakan di dalam $ucover_foreach_clk.

$info(tingkat, "pesan", [vars...])
Laporkan pesan informasi dalam bentuk standar. Akhiri tes jika batas peringatan terlampaui.

$uerror("pesan", [vars...])
Laporkan pesan kesalahan dalam bentuk standar. Akhiri tes jika batas kesalahan terlampaui.

$uerror_clk (jam, "pesan", [vars...])
Laporkan pesan kesalahan dalam bentuk standar di tepi jam berikutnya. Jika Anda menempatkan
$uerror dll dalam blok logika kombo (selalu @*), simulator berbasis acara dapat membuat kesalahan
pernyataan karena gangguan. $uerror_clk memperbaikinya dengan membuat sementara
sinyal dan kemudian memindahkan pernyataan itu sendiri ke blok clock baru di tepi yang ditentukan.
Perhatikan setiap variabel yang dicetak akan menjadi nilai pada saat tepi jam berikutnya,
yang mungkin berbeda dari nilai di mana $uerror_clk ditetapkan.

$uwarn("pesan", [vars...])
Laporkan pesan peringatan dalam bentuk standar.

$uwarn_clk (jam "pesan", [vars...])
Laporkan pesan peringatan dalam bentuk standar di tepi jam berikutnya. Lihat $uerror_clk.

DISTRIBUSI

Verilog-Perl adalah bagian darihttp://www.veripool.org/> alat perangkat lunak Verilog EDA gratis
rangkaian. Versi terbaru tersedia dari CPAN dan dari
<http://www.veripool.org/verilog-perl>.

Hak Cipta 2000-2016 oleh Wilson Snyder. Paket ini adalah perangkat lunak gratis; Anda dapat mendistribusikan kembali
itu dan/atau memodifikasinya di bawah persyaratan Lisensi Publik Umum GNU
Versi 3 atau Lisensi Artistik Perl Versi 2.0.

PENULIS

Wilson Snyder[email dilindungi]>, Duane Galbi[email dilindungi]>

Gunakan vpassertp online menggunakan layanan onworks.net