vpassertp - ອອນລາຍໃນຄລາວ

ໂຄງການ:

NAME

vpassert - Preprocess ການຢືນຢັນລະຫັດ Verilog

ສະຫຼຸບສັງລວມ

vpassert [ - ຊ່ວຍ ] [ - ວັນທີ ] [ --ງຽບ ] [ -y ໄດເລກະທໍລີ... ] [ ແຟ້ມ ... ]

ລາຍລະອຽດ

Vpassert ຈະອ່ານໄຟລ໌ Verilog ທີ່ລະບຸໄວ້ ແລະປະມວນຜົນການຢືນຢັນ PLI ພິເສດກ່ອນ. ໄດ້
ໄຟລ໌ຖືກຂຽນໃສ່ໄດເລກະທໍລີທີ່ມີຊື່ .vpassert ເວັ້ນເສຍແຕ່ວ່າມີຊື່ອື່ນ -o.
ຖ້າໄດເຣັກທໍຣີຖືກຜ່ານ, ໄຟລ໌ທັງຫມົດໃນໄດເລກະທໍລີນັ້ນຈະຖືກປຸງແຕ່ງກ່ອນ.

ການໂຕ້ຖຽງ

ຕົວກໍານົດການຄ້າຍຄື VCS ແລະ GCC ມາດຕະຖານຖືກນໍາໃຊ້ເພື່ອກໍານົດໄຟລ໌ທີ່ຈະດໍາເນີນການກ່ອນ:

+libext+I +I ... ກໍານົດການຂະຫຍາຍທີ່ຈະດໍາເນີນການ
-f ຂ້ອຍ ແຍກຕົວກໍານົດການໃນໄຟລ໌
-v I ວິເຄາະໄຟລ໌ຫ້ອງສະໝຸດ (I )
-y I ວິເຄາະໄຟລ໌ທັງໝົດໃນໄດເລກະທໍລີ (I )
-II ວິເຄາະໄຟລ໌ທັງໝົດໃນໄດເລກະທໍລີ (I )
+incdir+I ວິເຄາະໄຟລ໌ທັງໝົດໃນໄດເລກະທໍລີ (I )

ເພື່ອປ້ອງກັນການເກີດຊໍ້າຄືນ ແລະອະນຸຍາດໃຫ້ໃຊ້ຄືນໃຫມ່ຂອງ input.vc ທີ່ຖືກສົ່ງກັບ simulator, ຖ້າຫາກວ່າ
ໄດເລກະທໍລີຜົນຜະລິດຖືກຮ້ອງຂໍໃຫ້ຖືກປຸງແຕ່ງກ່ອນ, ໄດເລກະທໍລີນັ້ນຖືກລະເລີຍຢ່າງງ່າຍດາຍ.

--allfiles
Preprocess ແລະຂຽນອອກໄຟລ໌ທີ່ບໍ່ມີ macros ທີ່ຕ້ອງການຂະຫຍາຍ. ໂດຍ
ຄ່າເລີ່ມຕົ້ນ, ໄຟລ໌ທີ່ບໍ່ຕ້ອງການການປະມວນຜົນບໍ່ໄດ້ຖືກຂຽນອອກ.

ທາງເລືອກນີ້ອາດຈະເລັ່ງເວລາການລວບລວມ simulator; ໄຟລ໌ຈະຖືກພົບເຫັນຢູ່ໃນ
preprocessed directory, ຊ່ວຍປະຢັດ compiler ຈາກການຄົ້ນຫາຈໍານວນຫລາຍ -v
ໄດເລກະທໍລີເພື່ອຊອກຫາມັນ.

--axiom
Axiom ATHDL ພິເສດເປີດ/ປິດການໃຊ້ງານທີ່ເພີ່ມໃສ່ລະຫັດທີ່ບໍ່ສາມາດເຂົ້າຫາໄດ້.

--ໂທຜິດ
ເມື່ອ $uerror (ຫຼື $uassert ແລະອື່ນໆ) ຕ້ອງການສະແດງຂໍ້ຄວາມ, ໃຫ້ໂທຫາທີ່ລະບຸໄວ້
ຟັງຊັນແທນ $display ແລະ $stop.

-- ຂໍ້ມູນການໂທ
ເມື່ອ $uinfo ຕ້ອງການສະແດງຂໍ້ຄວາມ, ໃຫ້ໂທຫາຟັງຊັນທີ່ລະບຸແທນ
$display.

--ໂທ-ເຕືອນ
ເມື່ອ $uwarn (ຫຼື $uwarn_clk ແລະອື່ນໆ) ຕ້ອງການສະແດງຂໍ້ຄວາມ, ໃຫ້ໂທຫາທີ່ລະບຸໄວ້
ຟັງຊັນແທນ $display ແລະ $stop.

- ວັນທີ
ກວດເບິ່ງວັນທີແລະຂະຫນາດຂອງໄຟລ໌ທຽບກັບໄລຍະສຸດທ້າຍຂອງ vpassert ແລະບໍ່ໄດ້ດໍາເນີນການຖ້າຫາກວ່າ
ໄຟລ໌ແຫຼ່ງທີ່ໃຫ້ບໍ່ໄດ້ມີການປ່ຽນແປງ.

--ຍົກເວັ້ນ
ບໍ່ລວມເອົາການປະມວນຜົນໄຟລ໌ໃດໆທີ່ເລີ່ມຕົ້ນດ້ວຍຄຳນຳໜ້າທີ່ລະບຸໄວ້.

- ຊ່ວຍ
ສະແດງຂໍ້ຄວາມນີ້ ແລະສະບັບໂປຣແກຣມ ແລະອອກ.

--language <1364-1995|1364-2001|1364-2005|1800-2005|1800-2009|1800-2012>
ກໍານົດມາດຕະຖານພາສາສໍາລັບໄຟລ໌. ນີ້ກໍານົດວ່າ tokens ໃດເປັນສັນຍານ
ທຽບກັບຄໍາສໍາຄັນ, ເຊັ່ນວ່າ "ເຮັດ" ເລື້ອຍໆ (ສັນຍານອອກຂໍ້ມູນ, ທຽບກັບການເຮັດ - ໃນຂະນະທີ່ loop.
ຄໍາສໍາຄັນ).

-- ຕໍາ່ສຸດທີ່
ລວມເອົາ `__message_minimum ໃນການທົດສອບ $uinfo, ດັ່ງນັ້ນໂດຍການກໍານົດ __message_minimum=1
ບາງ uinfos ອາດຈະຖືກປັບໃຫ້ເໝາະສົມໃນເວລາລວບລວມ.

--noline
ຫ້າມ​ປ່ອຍ​ບັນ​ດາ​ຄໍາ​ແນະ​ນໍາ​ເສັ້ນ​. ຖ້າບໍ່ລະບຸພວກມັນຈະຖືກໃຊ້ພາຍໃຕ້ --language
1364-2001 ແລະຕໍ່ມາ.

--nopli
ລຶບການໂທ PLI 'ງ່າຍດາຍ' ທັງໝົດ. ການເອີ້ນຟັງຊັນ PLI ພາຍໃນວົງເລັບຈະບໍ່ເປັນ
ມີການປ່ຽນແປງ, ແລະດັ່ງນັ້ນອາດຈະຍັງຕ້ອງໄດ້ຮັບການ ifdef'ed ອອກດ້ວຍຕົນເອງ. ເປັນປະໂຫຍດສໍາລັບການຫຼຸດຜ່ອນການ
ຈໍານວນ `ifdef' ຕ້ອງການເພື່ອອາຫານບັນດາໂຄງການສັງເຄາະທີ່ມີຄວາມສາມາດທີ່ບໍ່ແມ່ນ PLI.

--notop
ໂດຍຄ່າເລີ່ມຕົ້ນ, $error ແລະ $warn ໃສ່ຄຳຖະແຫຼງ $stop. ດ້ວຍ --nostop, ນີ້ແມ່ນ
ແທນທີ່ໂດຍການເພີ່ມຕົວແປ, ເຊິ່ງຫຼັງຈາກນັ້ນອາດຈະຖືກນໍາໃຊ້ເພື່ອຢຸດຢ່າງມີເງື່ອນໄຂ
ການຈໍາລອງ.

- ເອກະສານ
ໃຊ້ຊື່ໄຟລ໌ທີ່ໃຫ້ສໍາລັບຜົນໄດ້ຮັບແທນຊື່ການປ້ອນຂໍ້ມູນ .vpassert. ຖ້າຊື່
ສິ້ນສຸດໃນ a / ມັນຖືກນໍາໃຊ້ເປັນລາຍການຜົນຜະລິດທີ່ມີຊື່ເລີ່ມຕົ້ນ.

--ງຽບ
ສະກັດກັ້ນຂໍ້ຄວາມກ່ຽວກັບສິ່ງທີ່ໄຟລ໌ກໍາລັງຖືກປຸງແຕ່ງກ່ອນ.

--ຄວາມ​ຈິງ
ພິເສດ RealIntent ເປີດ/ປິດການໃຊ້ງານທີ່ເພີ່ມໃສ່ລະຫັດທີ່ບໍ່ສາມາດເຂົ້າຫາໄດ້.

--synthcov
ເມື່ອເຫັນ "ifdef SYNTHESIS", ປິດການໃຊ້ງານການຄຸ້ມຄອງ. ສືບຕໍ່ໃນ 'ອັນອື່ນ ຫຼື 'endif.
ອັນນີ້ບໍ່ປະຕິບັດຕາມຄໍານິຍາມຂອງເດັກ, ຕົວຢ່າງ:

`ifdef SYNTHSIS
ກໍານົດ MYSYNTH
`endif
`ifdef MYSYNTH // ນີ້ຈະບໍ່ຖືກຄຸ້ມຄອງ

--timeformat-units ຫນ່ວຍ
ຖ້າລະບຸ, ໃຫ້ລວມເອົາການໂທ Verilog $timeformat ກ່ອນຂໍ້ຄວາມທັງໝົດ. ໃຊ້ທີ່ສະຫນອງໃຫ້
ການໂຕ້ຖຽງເປັນຫົວຫນ່ວຍ. ຫົວໜ່ວຍຢູ່ໃນອຳນາດຂອງ 10, ສະນັ້ນ -9 ຊີ້ບອກໃຫ້ໃຊ້ nanoseconds.

--timeformat-ຄວາມຊັດເຈນ ກ່ອນໜ້າ
ເມື່ອໃຊ້ --timeformat-units, ໃຊ້ນີ້ເປັນຄ່າຄວາມແມ່ນຍໍາ, ຈໍານວນຕົວເລກ
ຫຼັງຈາກຈຸດທົດສະນິຍົມ. ຄ່າເລີ່ມຕົ້ນເປັນສູນ.

--vericov
ພິເສດ Vericov ເປີດ/ປິດການໃຊ້ງານທີ່ເພີ່ມໃສ່ລະຫັດທີ່ບໍ່ສາມາດເຂົ້າຫາໄດ້.

--ເຄື່ອງກວດ​ສອບ
ເປີດໃຊ້ການແປພາສາ Verilator ພິເສດແລ້ວ.

- ການປ່ຽນແປງ
ສະ​ແດງ​ສະ​ບັບ​ໂຄງ​ການ​ແລະ​ອອກ​.

--vcs
Synopsys ພິເສດ VCS ເປີດ/ປິດການໃຊ້ງານທີ່ເພີ່ມໃສ່ລະຫັດທີ່ບໍ່ສາມາດເຂົ້າຫາໄດ້.

FUNCTIONS

ການໂທ Verilog pseudo-pli ເຫຼົ່ານີ້ແມ່ນຂະຫຍາຍອອກ:

/*vp_coverage_off*/
ປິດໃຊ້ງານການຄຸ້ມຄອງສໍາລັບທຸກເຄື່ອງມືເລີ່ມຕົ້ນຈາກຈຸດນີ້. ບໍ່ຈໍາເປັນຕ້ອງຢູ່ໃນ a
ເສັ້ນທີ່ເປັນເອກະລັກ.

/*vp_coverage_on*/
ເປີດໃຊ້ການຄອບຄຸມຄືນໃໝ່ຫຼັງຈາກ vp_coverage_off. ບໍ່ຈໍາເປັນຕ້ອງຢູ່ໃນເສັ້ນທີ່ເປັນເອກະລັກ.

$uassert (ກໍລະນີ, "ຂໍ້ຄວາມ", [vars...])
ລາຍງານ $uerror ຖ້າກໍລະນີທີ່ລະບຸເປັນ FALSE. (ມັກ ຢືນຢັນ() ໃນ C.)

$uassert_amone (sig, [sig...], "ຂໍ້ຄວາມ", [vars...])
ລາຍງານ $uerror ຖ້າມີສັນຍານຫຼາຍກວ່າໜຶ່ງອັນຖືກຢືນຢັນ, ຫຼືອັນໃດເປັນ X. (ບໍ່ມີການຢືນຢັນແມ່ນ
ok.) ຂໍ້​ຄວາມ​ຜິດ​ພາດ​ຈະ​ປະ​ກອບ​ມີ​ການ​ສະ​ແດງ​ສອງ​ຂອງ​ຄ່າ​ສັນ​ຍານ​.

$uassert_info (ກໍລະນີ, "ຂໍ້ຄວາມ", [vars...])
ລາຍງານ $uinfo ຖ້າກໍລະນີທີ່ລະບຸເປັນ FALSE. (ມັກ ຢືນຢັນ() ໃນ C.)

$uassert_onehot (sig, [sig...], "ຂໍ້ຄວາມ", [vars...])
ລາຍງານ $uerror ຖ້າມີສັນຍານອື່ນທີ່ບໍ່ແມ່ນສັນຍານຢືນຢັນ, ຫຼືອັນໃດນຶ່ງແມ່ນ X. ຂໍ້ຜິດພາດ
ຂໍ້ຄວາມຈະປະກອບມີການສະແດງຖານສອງຂອງຄ່າສັນຍານ.

$uassert_req_ack (req_sig, ack_sig, [data_sig,...])
ກວດເບິ່ງກໍາມະຈອນການຮ້ອງຂໍຮອບດຽວ, ຕິດຕາມດ້ວຍການຮັບຮູ້ຮອບວຽນດຽວ
ກຳມະຈອນ. ຢ່າອະນຸຍາດໃຫ້ສັນຍານຂໍ້ມູນໃດໆປ່ຽນແປງລະຫວ່າງຄໍາຮ້ອງຂໍແລະ
ການ​ຮັບ​ຮູ້​.

$ucheck_ilevel (ລະດັບ )
ກັບຄືນຄວາມຈິງຖ້າລະດັບ __ ຂໍ້ຄວາມໃຫຍ່ກວ່າຫຼືເທົ່າກັບລະດັບທີ່ໃຫ້, ແລະນັ້ນ
ຂໍ້ຄວາມທົ່ວໂລກເປີດຢູ່.

$ucover_clk (ໂມງ, ປ້າຍ)
ຄ້າຍຄືກັນກັບ $uerror_clk, ເພີ່ມການຢືນຢັນ SystemVerilog ຢູ່ໃນໂມງທີ່ກໍານົດໄວ້ຕໍ່ໄປ.
ຂອບ, ທີ່ມີປ້າຍກໍານົດໄວ້. ນີ້ອະນຸຍາດໃຫ້ຄຸນສົມບັດການປົກຫຸ້ມຂອງຖືກລະບຸ "inline"
ດ້ວຍລະຫັດ RTL ປົກກະຕິ.

$ucover_foreach_clk (ໂມງ, ປ້າຍ, "msb:lsb", (... $ui ...))
ຄ້າຍຄືກັນກັບ $ucover_clk, ແນວໃດກໍ່ຕາມກວມເອົາຂອບເຂດທີ່ $ui ໃນການສະແດງຜົນຖືກແທນທີ່
ກັບດັດຊະນີໄລຍະ.

ຊ່ວງແມ່ນ "msb:lsb"ເພື່ອຊີ້ໃຫ້ເຫັນ msb ລົງ lsb ຮວມ, ແລະ/ຫຼືເຄື່ອງໝາຍຈຸດທີ່ແຍກອອກ
ບັນຊີລາຍຊື່ຂອງຄຸນຄ່າ.

ຄ້າຍ​ຄື​ກັບ:

ສໍາລັບ ($ui=msb; $ui>=lsb; $ui=$ui-1) ເລີ່ມຕົ້ນ
ຖ້າ (ສະແດງອອກດ້ວຍ $ui)
$ucover_clk(ໂມງ, ປ້າຍກຳກັບ ## "_" ## bit)
ໃນຕອນທ້າຍ

ຢ່າງໃດກໍຕາມ, ບໍ່ມີວິທີທີ່ຈະສ້າງປ້າຍຊື່ຈາກສໍາລັບ loop (ເປັນ psudocoded ກັບ ## ຂ້າງເທິງ),
ດັ່ງນັ້ນມະຫາພາກນີ້.

$ui Loop index ໃຊ້ພາຍໃນ $ucover_foreach_clk.

$uinfo (ລະດັບ, "ຂໍ້ຄວາມ", [vars...])
ລາຍງານຂໍ້ຄວາມໃຫ້ຂໍ້ມູນໃນຮູບແບບມາດຕະຖານ. ສິ້ນສຸດການທົດສອບຖ້າເກີນຂີດຈໍາກັດການເຕືອນ.

$uerror ("ຂໍ້ຄວາມ", [vars...])
ລາຍງານຂໍ້ຄວາມຜິດພາດໃນຮູບແບບມາດຕະຖານ. ສິ້ນສຸດການທົດສອບຖ້າຄວາມຜິດພາດເກີນຂີດຈໍາກັດ.

$uerror_clk (ໂມງ, "ຂໍ້ຄວາມ", [vars...])
ລາຍງານຂໍ້ຄວາມຜິດພາດໃນຮູບແບບມາດຕະຖານຢູ່ຂອບໂມງຕໍ່ໄປ. ຖ້າທ່ານວາງ a
$uerror ແລະ ອື່ນໆ ໃນ combo logic block (ສະເຫມີ @*), simulators ເຫດການ ອາດຈະ misfires ໄດ້.
ຢືນຢັນຍ້ອນຄວາມຜິດພາດ. $uerror_clk ແກ້ໄຂອັນນີ້ໂດຍການສ້າງຊົ່ວຄາວແທນ
ສັນ​ຍານ​ແລະ​ຫຼັງ​ຈາກ​ນັ້ນ​ການ​ເຄື່ອນ​ຍ້າຍ​ຢືນ​ຢັນ​ຕົນ​ເອງ​ກັບ​ຕັນ​ໂມງ​ໃຫມ່​ຢູ່​ແຂບ​ທີ່​ກໍາ​ນົດ​ໄວ້​.
ໃຫ້ສັງເກດວ່າຕົວແປໃດໆທີ່ພິມອອກຈະເປັນຄ່າໃນເວລາຂອງຂອບໂມງຕໍ່ໄປ,
ເຊິ່ງອາດຈະແຕກຕ່າງຈາກຄ່າທີ່ $uerror_clk ຖືກມອບໝາຍ.

$uwarn ("ຂໍ້ຄວາມ", [vars...])
ລາຍງານຂໍ້ຄວາມເຕືອນໃນຮູບແບບມາດຕະຖານ.

$uwarn_clk (ໂມງ "ຂໍ້ຄວາມ", [vars...])
ລາຍງານຂໍ້ຄວາມເຕືອນໃນຮູບແບບມາດຕະຖານຢູ່ຂອບໂມງຕໍ່ໄປ. ເບິ່ງ $uerror_clk.

DISTRIBUTION

Verilog-Perl ແມ່ນສ່ວນຫນຶ່ງຂອງhttp://www.veripool.org/> ເຄື່ອງມືຊອບແວ Verilog EDA ຟຣີ
ຊຸດ. ຮຸ່ນຫຼ້າສຸດແມ່ນມີຢູ່ໃນ CPAN ແລະຈາກ
<http://www.veripool.org/verilog-perl>.

ສະຫງວນລິຂະສິດ 2000-2016 ໂດຍ Wilson Snyder. ຊຸດນີ້ແມ່ນຊອບແວຟຣີ; ເຈົ້າສາມາດແຈກຢາຍຄືນໄດ້
ມັນ​ແລະ/ຫຼື​ປັບ​ປຸງ​ແກ້​ໄຂ​ມັນ​ພາຍ​ໃຕ້​ເງື່ອນ​ໄຂ​ຂອງ​ທັງ GNU Lesser General Public License
ເວີຊັນ 3 ຫຼື Perl Artistic License Version 2.0.

AUTHORS

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

ໃຊ້ vpassertp ອອນໄລນ໌ໂດຍໃຊ້ບໍລິການ onworks.net