ພາສາອັງກິດພາສາຝຣັ່ງແອສປາໂຍນ

Ad


OnWorks favicon

ກວມເອົາ - ອອນລາຍໃນຄລາວ

ດໍາເນີນການຄຸ້ມຄອງໃນ OnWorks ຜູ້ໃຫ້ບໍລິການໂຮດຕິ້ງຟຣີຜ່ານ Ubuntu Online, Fedora Online, Windows online emulator ຫຼື MAC OS online emulator

ນີ້ແມ່ນຄໍາສັ່ງທີ່ກວມເອົາທີ່ສາມາດດໍາເນີນການໄດ້ໃນ OnWorks ຜູ້ໃຫ້ບໍລິການໂຮດຕິ້ງຟຣີໂດຍໃຊ້ຫນຶ່ງໃນຫຼາຍໆບ່ອນເຮັດວຽກອອນໄລນ໌ຂອງພວກເຮົາເຊັ່ນ Ubuntu Online, Fedora Online, Windows online emulator ຫຼື MAC OS online emulator

ໂຄງການ:

NAME


Covered - Verilog Code Coverage Analyzer

SYNTAX


ການຄຸ້ມຄອງ [global_options] ຄະແນນ [ທາງເລືອກໃນການ]
ການຄຸ້ມຄອງ [global_options] ລວມ [ທາງເລືອກໃນການ] ຖານຂໍ້ມູນທີ່ມີຢູ່ແລ້ວ database_to_merge+
ການຄຸ້ມຄອງ [global_options] ບົດ​ລາຍ​ງານ [ທາງເລືອກໃນການ] database_file
ການຄຸ້ມຄອງ [global_options] ຈັດອັນດັບ [ທາງເລືອກໃນການ] database_to_rank database_to_rank+
ການຄຸ້ມຄອງ [global_options] ຍົກເວັ້ນ [ທາງເລືອກໃນການ] exclusion_id+ database_file

ລາຍລະອຽດ


ການຄຸ້ມຄອງ ແມ່ນເຄື່ອງມືການວິເຄາະການຄຸ້ມຄອງລະຫັດ Verilog ທີ່ສາມາດເປັນປະໂຫຍດສໍາລັບການກໍານົດວິທີການ
ດີຊຸດທົດສອບການວິນິດໄສແມ່ນກວມເອົາການອອກແບບພາຍໃຕ້ການທົດສອບ. ກວມເອົາອ່ານຢູ່ໃນ
ໄຟລ໌ການອອກແບບ Verilog ແລະ VCD, LXT2 ຫຼື FST dumpfile ຮູບແບບຈາກການດໍາເນີນການວິນິດໄສແລະ
ສ້າງໄຟລ໌ຖານຂໍ້ມູນທີ່ເອີ້ນວ່າ Coverage Description Database (CDD), ໂດຍໃຊ້
ຄໍາ​ສັ່ງ​ຄະ​ແນນ​. ຄໍາສັ່ງຄະແນນຂອງ Covered ສາມາດຖືກໃຊ້ເປັນທາງເລືອກເພື່ອສ້າງໄຟລ໌ CDD
ແລະໂມດູນ Verilog ສໍາລັບການນໍາໃຊ້ Covered ເປັນໂມດູນ VPI ໃນ testbench ທີ່ສາມາດໄດ້ຮັບ
ຂໍ້ມູນການຄຸ້ມຄອງໃນຂະຫນານກັບການຈໍາລອງ (ເບິ່ງ ການ ນຳ ໃຊ້ ປົກຄຸມ AS A IPV ແບບ ຈຳ ລອງ) The
ໄຟລ໌ CDD ຜົນໄດ້ຮັບສາມາດຖືກລວມເຂົ້າກັບໄຟລ໌ CDD ອື່ນໆຈາກການອອກແບບດຽວກັນເພື່ອສ້າງ
ການຄຸ້ມຄອງສະສົມ, ການນໍາໃຊ້ຄໍາສັ່ງ merge. ເມື່ອໄຟລ໌ CDD ຖືກສ້າງຂຶ້ນ, ຜູ້ໃຊ້ສາມາດເຮັດໄດ້
ໃຊ້ Covered ເພື່ອສ້າງບົດລາຍງານການຄຸ້ມຄອງທີ່ມະນຸດສາມາດອ່ານໄດ້ໃນຮູບແບບ ASCII ຫຼືໃຊ້
GUI ຂອງ Covered ເພື່ອໂຕ້ຕອບເບິ່ງຜົນໄດ້ຮັບຂອງການຄຸ້ມຄອງ, ໂດຍໃຊ້ຄໍາສັ່ງລາຍງານ. ຖ້າ
ຈຸດການຄຸ້ມຄອງທີ່ບໍ່ເປີດເຜີຍແມ່ນພົບວ່າຜູ້ໃຊ້ຕ້ອງການຍົກເວັ້ນການຄຸ້ມຄອງ, ນີ້ສາມາດ
ຈະຖືກຈັດການດ້ວຍຄໍາສັ່ງຍົກເວັ້ນຄໍາສັ່ງຫຼືພາຍໃນ GUI. ເມື່ອຫຼາຍ
ໄຟລ໌ CDD ຖືກສ້າງຂື້ນຈາກການອອກແບບດຽວກັນ, ຜູ້ໃຊ້ອາດຈະໄດ້ຮັບການຈັດອັນດັບການຄຸ້ມຄອງ
ໄຟລ໌ CDD ເຫຼົ່ານັ້ນເພື່ອກໍານົດຄໍາສັ່ງທີ່ເຫມາະສົມສໍາລັບການທົດສອບການຖົດຖອຍເຊັ່ນດຽວກັນກັບຄວາມເຂົ້າໃຈ
ເຊິ່ງໄຟລ໌ CDD ສາມາດຖືກຍົກເວັ້ນຈາກການຖົດຖອຍເນື່ອງຈາກບໍ່ສາມາດຕີໃຫມ່ໄດ້
ຈຸດຄຸ້ມຄອງ. ນອກຈາກນັ້ນ, ເປັນສ່ວນຫນຶ່ງຂອງຄໍາສັ່ງຄະແນນຂອງ Covered, ສະພາບການແຂ່ງຂັນ
ຄວາມເປັນໄປໄດ້ແມ່ນພົບເຫັນຢູ່ໃນໄຟລ໌ອອກແບບ ແລະສາມາດຖືກລະເລີຍ, ໝາຍເປັນຄຳເຕືອນ
ຫຼືຖືກໝາຍວ່າເປັນຄວາມຜິດພາດ. ໂດຍການລະບຸເງື່ອນໄຂເຊື້ອຊາດເປັນຄວາມຜິດພາດ, Covered ຍັງສາມາດຖືກນໍາໃຊ້
ເປັນຜູ້ກວດກາສະພາບການແຂ່ງຂັນ.

GLOBAL OPTIONS


ຕົວເລືອກເຫຼົ່ານີ້ຖືກຈັດໃສ່ທັນທີຫຼັງຈາກຄໍາສໍາຄັນ ການຄຸ້ມຄອງ ໃນເສັ້ນຄໍາສັ່ງ. ເຂົາເຈົ້າ
ສາມາດໃຊ້ສໍາລັບຄໍາສັ່ງໃດໆ (ຍົກເວັ້ນ -v ແລະ -h) ແລະມີຜົນກະທົບດຽວກັນໃນ
ແຕ່ລະກໍລະນີ.

-B ລົບກວນ. ລົບກວນຊື່ທີ່ລະອຽດອ່ອນການອອກແບບທັງໝົດກ່ອນທີ່ຈະອອກ
ຮູບແບບທີ່ຜູ້ໃຊ້ສາມາດອ່ານໄດ້. ທາງ​ເລືອກ​ນີ້​ແມ່ນ​ເປັນ​ປະ​ໂຫຍດ​ໃນ​ເວ​ລາ​ທີ່​ການ​ແບ່ງ​ປັນ​ຜົນ​ຜະ​ລິດ​ກັບ​
ຜູ້ພັດທະນາ Covered ສໍາລັບຈຸດປະສົງ debugging.

-D ດີບັກ. ສະແດງຂໍ້ມູນທີ່ເປັນປະໂຫຍດສໍາລັບການແກ້ໄຂບັນຫາເຄື່ອງມື. ຫມາຍເຫດ: ນີ້
ທາງເລືອກໃນປັດຈຸບັນສາມາດໃຊ້ໄດ້ພຽງແຕ່ໃນເວລາທີ່ກວມເອົາແມ່ນສ້າງຂຶ້ນດ້ວຍ --enable-debug
ທາງເລືອກການຕັ້ງຄ່າ.

-h ຊ່ວຍເຫຼືອ. ສະແດງຂໍ້ມູນການນໍາໃຊ້ນີ້.

-P [ຊື່​ເອ​ກະ​ສານ]
ໂໝດການເກັບຂໍ້ມູນ. ເປີດໃຊ້ຕົວສ້າງລະຫັດແຫຼ່ງພາຍໃນທີ່ຈະຜະລິດ a
ບົດລາຍງານ profileing ຂອງຄໍາສັ່ງ run ບໍ່ວ່າຈະເປັນທີ່ກໍານົດໄວ້ ຊື່​ເອ​ກະ​ສານ ຫຼື, ຖ້າບໍ່ມີ
ຊື່​ເອ​ກະ​ສານ ປະຈຸບັນ, ກັບໄຟລ໌ທີ່ເອີ້ນວ່າ covered.prof. ຕົວເລືອກນີ້ສາມາດໃຊ້ໄດ້ເທົ່ານັ້ນ
ຖ້າຫາກວ່າ --enable-profileing ຕົວເລືອກການຕັ້ງຄ່າຖືກລະບຸເມື່ອ Covered ແມ່ນ
ສ້າງ.

-Q ໂໝດງຽບ. ເຮັດໃຫ້ຜົນຜະລິດທັງຫມົດຖືກສະກັດກັ້ນ.

-T ໂໝດ Terse. ເຮັດໃຫ້ຜົນຜະລິດທັງຫມົດຖືກສະກັດກັ້ນດ້ວຍການຍົກເວັ້ນການເຕືອນ
ຂໍ້ຄວາມ ແລະຂໍ້ມູນສ່ວນຫົວທີ່ຖືກປົກຄຸມ.

-v ຮຸ່ນ. ສະແດງສະບັບ Covered ໃນປັດຈຸບັນ.

ສາມາດ


ຄະແນນ ວິເຄາະໄຟລ໌ Verilog ແລະ dumpfiles VCD/LXT2/FST ເພື່ອສ້າງໄຟລ໌ຖານຂໍ້ມູນທີ່ໃຊ້ສໍາລັບ
ລວມ​ແລະ​ລາຍ​ງານ​.

ລວມ ລວມສອງໄຟລ໌ຖານຂໍ້ມູນຫຼືຫຼາຍກວ່ານັ້ນເຂົ້າໄປໃນຫນຶ່ງ.

ບົດ​ລາຍ​ງານ ສ້າງບົດລາຍງານການຄຸ້ມຄອງທີ່ມະນຸດສາມາດອ່ານໄດ້ຈາກໄຟລ໌ຖານຂໍ້ມູນຫຼືເລີ່ມຕົ້ນການຄຸ້ມຄອງ
ລາຍງານ GUI.

ຈັດອັນດັບ ສ້າງບົດລາຍງານທີ່ກໍານົດຄໍາສັ່ງທີ່ເຫມາະສົມເພື່ອດໍາເນີນການ regressions ແລະກໍານົດ
ໄຟລ໌ CDD ທີ່ບໍ່ເພີ່ມຂໍ້ມູນການຄຸ້ມຄອງໃຫມ່ (ແລະດັ່ງນັ້ນ, ສາມາດຖືກຍົກເວັ້ນ
ຈາກ regressions, ຖ້າຕ້ອງການ).

ຍົກເວັ້ນ
ອະ​ນຸ​ຍາດ​ໃຫ້​ຫນຶ່ງ​ຫຼື​ຫຼາຍ​ຈຸດ​ຄຸ້ມ​ຄອງ (ການ​ລະ​ບຸ​ດ້ວຍ ID ການ​ຍົກ​ເວັ້ນ​ໃນ​ລາຍ​ງານ​
ສ້າງຂຶ້ນດ້ວຍຕົວເລືອກ -x) ເພື່ອໃຫ້ມີຄຸນສົມບັດການຍົກເວັ້ນຂອງເຂົາເຈົ້າສະຫຼັບ (ລວມເຖິງ
exclude ຫຼື exclude to include) ແລະ, ຖ້າຄຸນສົມບັດການຍົກເວັ້ນຖືກຕັ້ງໃຫ້ຍົກເວັ້ນ,
ທາງເລືອກອະນຸຍາດໃຫ້ເຫດຜົນສໍາລັບການຍົກເວັ້ນທີ່ກ່ຽວຂ້ອງກັບມັນແລະເກັບໄວ້ໃນ
ໄຟລ໌ CDD ທີ່ລະບຸໄວ້.

ຄະແນນ ຄໍາສັ່ງ


ຕົວເລືອກຕໍ່ໄປນີ້ແມ່ນຖືກຕ້ອງສໍາລັບຄໍາສັ່ງຄະແນນ:

-A ໄຂ່ ເຮັດໃຫ້ການຢືນຢັນ OVL ຖືກນໍາໃຊ້ສໍາລັບການຄຸ້ມຄອງການຢືນຢັນ. ທຸງນີ້ຕ້ອງໄດ້ຮັບການມອບໃຫ້
ຕໍ່ກັບຄໍາສັ່ງຄະແນນຖ້າ metrics coverage ຢືນຢັນແມ່ນຈໍາເປັນໃນບົດລາຍງານ
ຄໍາສັ່ງ.

-cdd ຖານຂໍ້ມູນ
ຄືກັນກັບທາງເລືອກ -o. ເປັນປະໂຫຍດເມື່ອໄຟລ໌ CDD ຖືກໃຫ້ຄະແນນແມ່ນການປ້ອນຂໍ້ມູນໃສ່ຄະແນນ
ຄໍາສັ່ງ.

-cli [ຊື່​ເອ​ກະ​ສານ]
ເຮັດໃຫ້ຕົວດີບັກແຖວຄໍາສັ່ງຖືກໃຊ້ໃນລະຫວ່າງການໃຫ້ຄະແນນ dumpfile VCD/LXT2/FST.
If ຊື່​ເອ​ກະ​ສານ ຖືກລະບຸໄວ້, ໄຟລ໌ນີ້ມີຂໍ້ມູນທີ່ບັນທຶກໄວ້ໃນການໂທທີ່ຜ່ານມາ
ເພື່ອ savehist ໃນ CLI ແລະເຮັດໃຫ້ປະຫວັດທີ່ມີຢູ່ໃນໄຟລ໌ນີ້ຖືກຫຼິ້ນຄືນ
ກ່ອນຄໍາສັ່ງ CLI. ຖ້າ ຊື່​ເອ​ກະ​ສານ ບໍ່ໄດ້ລະບຸໄວ້, ການເຕືອນ CLI ຈະ
ສາມາດໃຊ້ໄດ້ທັນທີໃນຕອນເລີ່ມຕົ້ນຂອງການຈໍາລອງ. ຕົວເລືອກນີ້ສາມາດໃຊ້ໄດ້ເທົ່ານັ້ນ
ເມື່ອ Covered ຖືກຕັ້ງຄ່າດ້ວຍ --enable-debug ທາງເລືອກ.

- ອະນຸລັກ
ຖ້າຕົວເລືອກນີ້ຖືກລະບຸ, ຕັນເຫດຜົນໃດໆທີ່ມີລະຫັດທີ່ສາມາດເຮັດໃຫ້ເກີດ
ຄວາມ​ແຕກ​ຕ່າງ​ຂອງ​ການ​ຄຸ້ມ​ຄອງ​ນໍາ​ໄປ​ສູ່​ຜົນ​ໄດ້​ຮັບ​ການ​ຄຸ້ມ​ຄອງ​ທີ່​ອາດ​ຈະ​ບໍ່​ຖືກ​ຕ້ອງ​ແມ່ນ
ເອົາອອກຈາກການພິຈາລະນາການຄຸ້ມຄອງ. ເບິ່ງຄູ່ມືຜູ້ໃຊ້ສໍາລັບຂໍ້ມູນເພີ່ມເຕີມກ່ຽວກັບສິ່ງທີ່
ປະເພດຂອງລະຫັດສາມາດນໍາໄປສູ່ຄວາມບໍ່ຖືກຕ້ອງຂອງການຄຸ້ມຄອງ.

- dumpvars [ຊື່​ເອ​ກະ​ສານ]
ຖ້າຕົວເລືອກນີ້ຖືກລະບຸໂດຍບໍ່ມີຕົວເລືອກ -vcd ຫຼື -lxt, ການອອກແບບຈະຖືກວິເຄາະ,
ໄຟລ໌ CDD ຖືກສ້າງຂື້ນແລະໄຟລ໌ໂມດູນ Verilog ລະດັບສູງສຸດທີ່ມີຊື່ ຊື່​ເອ​ກະ​ສານ (ຖ້າ​ຫາກ​ວ່າ​ນີ້
ຄ່າແມ່ນລະບຸ) ຫຼື "covered_dump.v" (ຖ້າ ຊື່​ເອ​ກະ​ສານ ບໍ່​ໄດ້​ລະ​ບຸ​ໄວ້​) ແມ່ນ​ການ​ສ້າງ​ຕັ້ງ​.
ໄຟລ໌ນີ້ຖືກນໍາໃຊ້ໃນການລວບລວມ simulator ເພື່ອສ້າງ dumpfile ທີ່ເປັນ
ເຫມາະສໍາລັບການໄດ້ຮັບການຄຸ້ມຄອງສໍາລັບໄຟລ໌ CDD ທີ່ລະບຸໄວ້. ຖ້າທັງ -vcd ຫຼື
-lxt ທາງເລືອກແມ່ນຖືກກໍານົດ, ທາງເລືອກນີ້ບໍ່ມີຜົນ. ເບິ່ງຄູ່ມືຜູ້ໃຊ້ສໍາລັບ
ຂໍ້ມູນເພີ່ມເຕີມກ່ຽວກັບວິທີການນໍາໃຊ້ທາງເລືອກນີ້.

-D ນິຍາມຊື່
ກໍານົດຊື່ທີ່ລະບຸໄວ້ເປັນ 1.

-D define_name=ຄ່າ
ກໍານົດຊື່ທີ່ລະບຸໄວ້ໃນຄ່າທີ່ລະບຸ.

-e block_name
ຊື່​ຂອງ​ໂມ​ດູນ​, ວຽກ​ງານ​, ການ​ທໍາ​ງານ​ຫຼື​ຊື່​ການ​ເລີ່ມ​ຕົ້ນ / end block ທີ່​ຈະ​ບໍ່​ໄດ້​ຄະ​ແນນ​. ສາເຫດທັງໝົດ
ບລັອກຍ່ອຍໃນຕົ້ນໄມ້ Verilog ພາຍໃຕ້ບລັອກນີ້ເພື່ອບໍ່ໃຫ້ຄະແນນ.

-ເອ ບໍ່ລວມທຸກສິ່ງກີດຂວາງສະເໝີຈາກການພິຈາລະນາສໍາລັບການຄຸ້ມຄອງ.

-ec ຍົກເວັ້ນການມອບໝາຍຢ່າງຕໍ່ເນື່ອງທັງໝົດຈາກການຖືກພິຈາລະນາເພື່ອການຄຸ້ມຄອງ.

-ອີ ບໍ່ລວມທຸກຕັນເບື້ອງຕົ້ນຈາກການພິຈາລະນາສໍາລັບການຄຸ້ມຄອງ.

-ຖ້າ ບໍ່ລວມທຸກທ່ອນສຸດທ້າຍຈາກການພິຈາລະນາສໍາລັບການຄຸ້ມຄອງ.

-ep [ຊື່]
ບໍ່ລວມລະຫັດທັງໝົດທີ່ພົບລະຫວ່າງ '// coverage off' ແລະ '// coverage on' pragmas
ຝັງຢູ່ໃນການອອກແບບ. ຖ້າ ຊື່ ຖືກກໍານົດ, ຄໍາສໍາຄັນໃນ pragma ຈະ
ຖືກປ່ຽນເປັນຊື່ນັ້ນແທນທີ່ຈະເປັນ "ການຄຸ້ມຄອງ", ອະນຸຍາດໃຫ້ຜູ້ໃຊ້
ປ່ຽນແປງລັກສະນະຂອງ pragma ຖ້າມັນຂັດກັບເຄື່ອງມືອື່ນໆ.

-F module_name=[in_expr,]out_expr
ຊີ້ໃຫ້ເຫັນເຖິງຕົວວິເຄາະບ່ອນທີ່ຈະຊອກຫາ FSM ທີ່ຕັ້ງຢູ່ໃນໂມດູນ module_name ທີ່
ມີການສະແດງອອກຂອງລັດ input ເອີ້ນວ່າ in_expr ແລະອອກການສະແດງອອກຂອງລັດເອີ້ນວ່າ
out_exprທີ່ຢູ່ ຖ້າຫາກວ່າ in_expr ບໍ່​ໄດ້​ລະ​ບຸ​ໄວ້​, out_expr ຖືກນໍາໃຊ້ເປັນທັງວັດສະດຸປ້ອນແລະ
ການສະແດງອອກຂອງລັດອອກ.

-f ຊື່​ເອ​ກະ​ສານ
ຊື່ຂອງໄຟລ໌ທີ່ປະກອບດ້ວຍອາກິວເມັນເພີ່ມເຕີມເພື່ອວິເຄາະ.

-fst ຊື່​ເອ​ກະ​ສານ
ຊື່ຂອງ FST dumpfile ເພື່ອອອກແບບຄະແນນດ້ວຍ. ຖ້າ -vcd, -lxt ຫຼືທາງເລືອກນີ້ບໍ່ແມ່ນ
ຖືກນໍາໃຊ້, Covered ພຽງແຕ່ຈະສ້າງໄຟລ໌ CDD ເບື້ອງຕົ້ນຈາກການອອກແບບແລະຈະບໍ່
ພະຍາຍາມໃຫ້ຄະແນນການອອກແບບ.

-g [module_name=](1|2|3)
ອະ​ນຸ​ຍາດ​ໃຫ້​ຜູ້​ໃຊ້​ຈໍາ​ກັດ​ການ parser ກັບ​ການ​ຜະ​ລິດ​ສະ​ເພາະ​ຂອງ Verilog ໄດ້​
ມາດຕະຖານສໍາລັບໂມດູນສະເພາະຫຼືການອອກແບບທັງຫມົດ, ບ່ອນທີ່ 1=Verilog-1995,
2=Verilog-2001, 3=SystemVerilog. ຖ້າ module_name= ຖືກກໍານົດ, parser ໃຊ້ the
ກໍານົດມາດຕະຖານ Verilog ສໍາລັບໂມດູນນັ້ນເທົ່ານັ້ນ, ອະນຸຍາດໃຫ້ສ່ວນທີ່ເຫຼືອຂອງການອອກແບບ
ໃຊ້ມາດຕະຖານທົ່ວໂລກ. ໂດຍຄ່າເລີ່ມຕົ້ນ, ມາດຕະຖານທົ່ວໂລກຖືກຕັ້ງເປັນອັນຫຼ້າສຸດ
ສະບັບ (3). ທາງ​ເລືອກ​ນີ້​ສາ​ມາດ​ໄດ້​ຮັບ​ການ​ລະ​ບຸ​ຫຼາຍ​ກ​່​ວາ​ຫນຶ່ງ​ຄັ້ງ​ສໍາ​ລັບ​ການ​ໂທ​ທີ່​ໄດ້​ຮັບ​ການ​
ຄໍາ​ສັ່ງ​ຄະ​ແນນ​; ແນວໃດກໍ່ຕາມ, ຖ້າຕົວເລືອກ -g ລະບຸຫຼາຍກວ່າມູນຄ່າທົ່ວໂລກ (ເຊັ່ນ:
ໂດຍບໍ່ມີການ ໂມດູນ= prefix), ພຽງແຕ່ຄ່າທາງເລືອກສຸດທ້າຍຈະຖືກນໍາໃຊ້.

-h ສະແດງຂໍ້ມູນການຊ່ວຍເຫຼືອນີ້.

-I ລະບົບ
ໄດເລກະທໍລີເພື່ອຊອກຫາໄຟລ໌ Verilog ລວມ.

-i instance_name
Verilog hierarchical ອ້າງອິງເຖິງໂມດູນທີ່ຢູ່ເທິງສຸດຂອງຕົ້ນໄມ້ທີ່ຈະເປັນ
ໄດ້ຄະແນນ. ທາງເລືອກນີ້ແມ່ນມີຄວາມຈໍາເປັນຖ້າໂມດູນເພື່ອກວດສອບການຄຸ້ມຄອງບໍ່ແມ່ນລະດັບສູງສຸດ
ໂມດູນໃນການອອກແບບ. ຖ້າບໍ່ລະບຸ, -t ມູນຄ່າແມ່ນຖືກນໍາໃຊ້.

-lxt ຊື່​ເອ​ກະ​ສານ
ຊື່ຂອງ dumpfile LXT2 ເພື່ອອອກແບບຄະແນນດ້ວຍ. ຖ້າ -vcd, -fst ຫຼືທາງເລືອກນີ້ບໍ່ແມ່ນ
ຖືກນໍາໃຊ້, Covered ພຽງແຕ່ຈະສ້າງໄຟລ໌ CDD ເບື້ອງຕົ້ນຈາກການອອກແບບແລະຈະບໍ່
ພະຍາຍາມໃຫ້ຄະແນນການອອກແບບ.

-m ຂໍ້ຄວາມ
ອະນຸຍາດໃຫ້ຜູ້ໃຊ້ລະບຸຂໍ້ມູນກ່ຽວກັບໄຟລ໌ CDD ນີ້. ຂໍ້ມູນນີ້ສາມາດ
ເປັນອັນໃດກໍໄດ້ (ຂໍ້ຄວາມທີ່ມີຊ່ອງຫວ່າງຄວນຖືກອ້ອມຮອບດ້ວຍວົງຢືມສອງເທົ່າ
marks), ແຕ່ອາດຈະປະກອບມີບາງສິ່ງບາງຢ່າງກ່ຽວກັບການໂຕ້ຖຽງ simulation ເພື່ອງ່າຍຂຶ້ນ
ເຊື່ອມຕໍ່ໄຟລ໌ CDD ກັບການຈໍາລອງຂອງມັນເພື່ອຈຸດປະສົງໃນການສ້າງໄຟລ໌ CDD.

-o ຖານຂໍ້ມູນ
ຊື່ຂອງຖານຂໍ້ມູນທີ່ຈະຂຽນຂໍ້ມູນການຄຸ້ມຄອງໃຫ້. ຖ້າບໍ່ໄດ້ລະບຸ, ຜົນຜະລິດ
ຊື່ໄຟລ໌ຖານຂໍ້ມູນຈະເປັນ "cov.cdd".

-p ຊື່​ເອ​ກະ​ສານ
ລົບລ້າງຊື່ໄຟລ໌ເລີ່ມຕົ້ນທີ່ໃຊ້ເພື່ອເກັບຮັກສາຜົນຜະລິດຂອງຕົວປະມວນຜົນກ່ອນລະດັບປານກາງ.

-P parameter_scope=ຄ່າ
ປະຕິບັດ defparam ໃນພາລາມິເຕີທີ່ລະບຸດ້ວຍຄ່າ.

-rS ເມື່ອການກວດສອບສະພາບເຊື້ອຊາດຖືກລະເມີດ, ຕັນທາງເຫດຜົນທີ່ຖືກລະເມີດຈະຖືກໂຍກຍ້າຍ
ຈາກ​ການ​ພິ​ຈາ​ລະ​ນາ​ການ​ຄຸ້ມ​ຄອງ​ແລະ​ຜົນ​ຜະ​ລິດ​ທັງ​ຫມົດ​ແມ່ນ​ສະ​ກັດ​ກັ້ນ​ກ່ຽວ​ກັບ​ການ​ເຊື້ອ​ຊາດ​
ການລະເມີດເງື່ອນໄຂ. ເບິ່ງເອກະສານຜູ້ໃຊ້ສຳລັບຂໍ້ມູນເພີ່ມເຕີມກ່ຽວກັບເຊື້ອຊາດ
ການ​ນໍາ​ໃຊ້​ການ​ກວດ​ສອບ​ສະ​ພາບ​ການ​.

-rW ເມື່ອການກວດສອບສະພາບເຊື້ອຊາດຖືກລະເມີດ, ຕັນທາງເຫດຜົນທີ່ຖືກລະເມີດຈະຖືກໂຍກຍ້າຍ
ຈາກການພິຈາລະນາການຄຸ້ມຄອງ ແລະການລະເມີດເງື່ອນໄຂເຊື້ອຊາດແມ່ນຜົນໄດ້ຮັບ. ນີ້​ແມ່ນ
ພຶດຕິກຳເລີ່ມຕົ້ນສຳລັບການຈັດການສະພາບເຊື້ອຊາດ. ເບິ່ງເອກະສານຜູ້ໃຊ້ສຳລັບຂໍ້ມູນເພີ່ມເຕີມ
ຂໍ້​ມູນ​ກ່ຽວ​ກັບ​ການ​ກວດ​ສອບ​ສະ​ພາບ​ການ​ເຊື້ອ​ຊາດ​ການ​ນໍາ​ໃຊ້​.

-rE ເມື່ອການກວດສອບສະພາບການແຂ່ງຂັນຖືກລະເມີດ, ເຫດຜົນແມ່ນຜົນໄດ້ຮັບແລະການໃຫ້ຄະແນນສິ້ນສຸດລົງ
ທັນທີ. ເບິ່ງເອກະສານຜູ້ໃຊ້ສຳລັບຂໍ້ມູນເພີ່ມເຕີມກ່ຽວກັບສະພາບເຊື້ອຊາດ
ການ​ກວດ​ສອບ​ການ​ນໍາ​ໃຊ້​.

-rI[=ໂມດູນ ຊື່]
If ໂມດູນ ຊື່ ບໍ່ໄດ້ລະບຸໄວ້, ການກວດສອບສະພາບເຊື້ອຊາດແມ່ນຂ້າມໄປທັງໝົດ
ການ​ອອກ​ແບບ​ທັງ​ຫມົດ​. ຖ້າ ໂມດູນ ຊື່ ຖືກລະບຸໄວ້, ການກວດສອບສະພາບເຊື້ອຊາດແມ່ນຂ້າມໄປ
ສໍາລັບໂມດູນທີ່ກໍານົດໄວ້. ເບິ່ງເອກະສານຜູ້ໃຊ້ສຳລັບຂໍ້ມູນເພີ່ມເຕີມກ່ຽວກັບເຊື້ອຊາດ
ການ​ນໍາ​ໃຊ້​ການ​ກວດ​ສອບ​ສະ​ພາບ​ການ​.

-rP[=ຊື່])
ໃຊ້ pragmas ທີ່ຝັງໄວ້ເພື່ອບໍ່ສົນໃຈລະຫັດທີ່ແນ່ນອນຈາກການກວດສອບສະພາບເຊື້ອຊາດ
ການພິຈາລະນາ (ຖ້າ ຊື່ ຖືກກໍານົດວ່າມັນຖືກນໍາໃຊ້ເປັນຄໍາສໍາຄັນ pragma). ເບິ່ງຜູ້ໃຊ້
ເອກະສານສໍາລັບຂໍ້ມູນເພີ່ມເຕີມກ່ຽວກັບການນໍາໃຊ້ການກວດສອບສະພາບເຊື້ອຊາດ.

-S ຜົນໄດ້ຮັບສະຖິຕິການຈໍາລອງຫຼັງຈາກການຈໍາລອງສໍາເລັດ. ຂໍ້ມູນນີ້ແມ່ນ
ໃນປັດຈຸບັນເປັນປະໂຫຍດພຽງແຕ່ສໍາລັບນັກພັດທະນາຂອງ Covered.

-t ລະດັບສູງສຸດ ໂມດູນ
ລະບຸຊື່ໂມດູນຂອງໂມດູນເທິງສຸດທີ່ຈະຖືກວັດແທກ. ໃຫ້ສັງເກດວ່າ
ໂມດູນນີ້ບໍ່ຈໍາເປັນຕ້ອງເປັນໂມດູນສູງສຸດໃນ simulator. ພາກສະຫນາມນີ້
ແມ່ນຕ້ອງການສໍາລັບການໂທຫາຄໍາສັ່ງຄະແນນທັງຫມົດ.

-top_ts ໄລຍະເວລາ
ຕົວເລືອກນີ້ສາມາດໃຊ້ໄດ້ພຽງແຕ່ເມື່ອຕົວເລືອກ -vpi ຫຼື -dumpvars ໄດ້ຖືກລະບຸ.
ຕົວເລືອກນີ້ອະນຸຍາດໃຫ້ຜູ້ໃຊ້ສາມາດລະບຸໄລຍະເວລາສໍາລັບໂມດູນ Verilog ທີ່ສ້າງຂຶ້ນ
ສ້າງດ້ວຍຕົວເລືອກ -vpi/-dumpvars. ຖ້າຕົວເລືອກນີ້ບໍ່ໄດ້ຖືກລະບຸ, ບໍ່ແມ່ນ
timescale ຈະຖືກສ້າງຂຶ້ນສໍາລັບໂມດູນທີ່ສ້າງຂຶ້ນ. ມູນຄ່າຂອງ ໄລຍະເວລາ is
ລະບຸໄວ້ດັ່ງນີ້:

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

ຖ້າຕ້ອງການຊ່ອງຫວ່າງລະຫວ່າງຄ່າຕ່າງໆ, ວາງເນື້ອຫາທັງໝົດຂອງ
ໄລຍະເວລາ ໃນວົງຢືມຄູ່.

-ts ຈໍານວນ
ເມື່ອການໃຫ້ຄະແນນເກີດຂຶ້ນ, ທາງເລືອກນີ້ອະນຸຍາດໃຫ້ຜູ້ໃຊ້ເບິ່ງວ່າເຄື່ອງຈໍາລອງມີຢູ່ໄກປານໃດ
ມີຄວາມຄືບໜ້າໂດຍການວາງເວລາປັດຈຸບັນໄປສູ່ຜົນຜະລິດມາດຕະຖານ. ມູນຄ່າຂອງ
ຈໍານວນ ລະບຸວ່າຈໍານວນເວລາທີ່ອະນຸຍາດໃຫ້ຈໍາລອງກ່ອນທີ່ຈະອອກ
ຊ່ວງເວລາປະຈຸບັນ (ສົ່ງຜົນໃຫ້ການໂທອອກໜ້ອຍລົງ).

-T (ນາທີ|ພິມ|ສູງສຸດ)
ລະບຸຄ່າທີ່ຈະໃຊ້ເມື່ອພົບກັບການສະແດງຜົນການຊັກຊ້າໃນຮູບແບບ:
ຕ່ຳສຸດ: ພິມ: ສູງສຸດ. ຖ້າຕົວເລືອກນີ້ບໍ່ໄດ້ຖືກລະບຸ, 'ພິມ' ເລືອກແມ່ນຖືກນໍາໃຊ້ໂດຍຄ່າເລີ່ມຕົ້ນ.

-v ຊື່​ເອ​ກະ​ສານ
ຊື່ຂອງໄຟລ໌ Verilog ສະເພາະທີ່ຈະໃຫ້ຄະແນນ.

-vcd ຊື່​ເອ​ກະ​ສານ
ຊື່ຂອງ VCD dumpfile ເພື່ອອອກແບບຄະແນນດ້ວຍ. ຖ້າ -lxt, -fst ຫຼືທາງເລືອກນີ້ບໍ່ແມ່ນ
ຖືກນໍາໃຊ້, Covered ພຽງແຕ່ຈະສ້າງໄຟລ໌ CDD ເບື້ອງຕົ້ນຈາກການອອກແບບແລະຈະບໍ່
ພະຍາຍາມໃຫ້ຄະແນນການອອກແບບ.

-vpi [ຊື່​ເອ​ກະ​ສານ]
ຖ້າຕົວເລືອກນີ້ຖືກລະບຸໂດຍບໍ່ມີຕົວເລືອກ -vcd, -lxt ຫຼື -fst, ການອອກແບບແມ່ນ
parseed, ໄຟລ໌ CDD ຖືກສ້າງຂື້ນແລະໄຟລ໌ໂມດູນ Verilog ລະດັບສູງສຸດທີ່ມີຊື່ ຊື່​ເອ​ກະ​ສານ
(ຖ້າຄ່ານີ້ຖືກລະບຸ) ຫຼື "covered_vpi.v" (ຖ້າ ຊື່​ເອ​ກະ​ສານ ບໍ່ໄດ້ລະບຸ) ແມ່ນ
ສ້າງພ້ອມກັບໄຟລ໌ຕາຕະລາງ PLI ທີ່ເອີ້ນວ່າ ຊື່​ເອ​ກະ​ສານ.ta b ຫຼື "covered_vpi.v.ta b".
ທັງ​ສອງ​ໄຟລ​໌​ເຫຼົ່າ​ນີ້​ໄດ້​ຖືກ​ນໍາ​ໃຊ້​ໃນ​ການ​ລວບ​ລວມ​ຂອງ simulator ການ​ນໍາ​ໃຊ້ Covered ເປັນ​
ໂມດູນ VPI. ຖ້າຕົວເລືອກ -vcd, -lxt ຫຼື -fst ຖືກລະບຸ, ຕົວເລືອກນີ້
ບໍ່ມີຜົນ.

- ບໍ່ສົນໃຈ
ສະກັດກັ້ນຜົນຜະລິດຂອງຄໍາເຕືອນໃນລະຫວ່າງການວິເຄາະລະຫັດແລະການຈໍາລອງ.

-y ລະບົບ
ໄດເລກະທໍລີເພື່ອຊອກຫາໄຟລ໌ Verilog ທີ່ບໍ່ລະບຸ.

+libext+.ສ່ວນຂະຫຍາຍ[+.ສ່ວນຂະຫຍາຍ]*+
ການຂະຫຍາຍໄຟລ໌ Verilog ເພື່ອອະນຸຍາດໃຫ້ເຮັດຄະແນນ.

ລວມ ຄໍາສັ່ງ


ຕົວເລືອກຕໍ່ໄປນີ້ແມ່ນຖືກຕ້ອງສໍາລັບຄໍາສັ່ງ merge:

-d ຊື່​ເອ​ກະ​ສານ
ໄດເລກະທໍລີເພື່ອຊອກຫາໄຟລ໌ CDD ທີ່ຈະລວມເອົາ. ທາງເລືອກນີ້ແມ່ນໃຊ້ຮ່ວມກັນ
ກັບ -ຕໍ່ໄປ ທາງເລືອກທີ່ກໍານົດການຂະຫຍາຍໄຟລ໌ທີ່ຈະໃຊ້ສໍາລັບການກໍານົດ
ໄຟລ໌ໃດຢູ່ໃນໄດເລກະທໍລີແມ່ນໄຟລ໌ CDD.

-R (ຄັ້ງທໍາອິດ|ສຸດທ້າຍ|ທັງຫມົດ|ໃຫມ່|ອາຍຸ)
ລະບຸວິທີການຈັດການການແກ້ໄຂເຫດຜົນການຍົກເວັ້ນ. ຖ້າໄຟລ໌ CDD ສອງຫຼືຫຼາຍກວ່ານັ້ນ
ຖືກລວມເຂົ້າກັນມີເຫດຜົນການຍົກເວັ້ນທີ່ລະບຸໄວ້ສໍາລັບຈຸດການຄຸ້ມຄອງດຽວກັນ, ໄດ້
ເຫດຜົນການຍົກເວັ້ນຕ້ອງໄດ້ຮັບການແກ້ໄຂ (ເວັ້ນເສຍແຕ່ວ່າມັນເປັນຄ່າສະຕຣິງດຽວກັນ). ຖ້າ
ທາງ​ເລືອກ​ນີ້​ບໍ່​ໄດ້​ລະ​ບຸ​ໄວ້​ແລະ​ມີ​ຂໍ້​ຂັດ​ແຍ່ງ​ໄດ້​ຖືກ​ພົບ​ເຫັນ​, Covered ຈະ​ໂຕ້​ຕອບ​
ຮ້ອງຂໍການປ້ອນຂໍ້ມູນສໍາລັບການຍົກເວັ້ນແຕ່ລະຄົນກ່ຽວກັບວິທີຈັດການກັບມັນ. ຖ້າທາງເລືອກນີ້ແມ່ນ
ລະບຸໄວ້, ມັນບອກ Covered ວິທີການຈັດການກັບຂໍ້ຂັດແຍ່ງເຫດຜົນການຍົກເວັ້ນທັງໝົດ. ໄດ້
ຄ່າມີດັ່ງນີ້:.br

ຄັ້ງທໍາອິດ - ໄຟລ໌ CDD ທີ່ມີເຫດຜົນການຍົກເວັ້ນທໍາອິດແມ່ນຖືກນໍາໃຊ້.

ສຸດທ້າຍ - ໄຟລ໌ CDD ທີ່ມີເຫດຜົນການຍົກເວັ້ນສຸດທ້າຍແມ່ນຖືກນໍາໃຊ້.

ທັງຫມົດ - ເຫດຜົນການຍົກເວັ້ນທັງຫມົດຖືກນໍາໃຊ້ (ປະກອບ).

ໃຫມ່ - ໃຊ້ເຫດຜົນການຍົກເວັ້ນອັນໃໝ່ສຸດທີ່ລະບຸໄວ້.

ອາຍຸ - ໃຊ້ເຫດຜົນການຍົກເວັ້ນທີ່ເກົ່າແກ່ທີ່ສຸດທີ່ລະບຸໄວ້.

-ຕໍ່ໄປ ການຂະຫຍາຍ
ການ​ນໍາ​ໃຊ້​ຮ່ວມ​ກັບ​ -d ທາງເລືອກ. ຖ້າບໍ່ມີ -ຕໍ່ໄປ ທາງ​ເລືອກ​ແມ່ນ​ໄດ້​ລະ​ບຸ​ໄວ້​ໃນ​
command-line, ຄ່າເລີ່ມຕົ້ນຂອງ '.cdd' ຖືກໃຊ້. ໃຫ້ສັງເກດວ່າໄລຍະເວລາ (.) ຄວນ
ໄດ້​ລະ​ບຸ​ໄວ້​.

-f ຊື່​ເອ​ກະ​ສານ
ຊື່ຂອງໄຟລ໌ທີ່ປະກອບດ້ວຍອາກິວເມັນເພີ່ມເຕີມເພື່ອວິເຄາະ.

-h ສະແດງຂໍ້ມູນການຊ່ວຍເຫຼືອນີ້.

-m ຂໍ້ຄວາມ
ອະນຸຍາດໃຫ້ຜູ້ໃຊ້ລະບຸຂໍ້ມູນກ່ຽວກັບໄຟລ໌ CDD ນີ້. ຂໍ້ມູນນີ້ສາມາດ
ເປັນອັນໃດກໍໄດ້ (ຂໍ້ຄວາມທີ່ມີຊ່ອງຫວ່າງຄວນຖືກອ້ອມຮອບດ້ວຍວົງຢືມສອງເທົ່າ
ເຄື່ອງຫມາຍ).

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

ລາຍວຽກ ຄໍາສັ່ງ


ຕົວເລືອກຕໍ່ໄປນີ້ແມ່ນຖືກຕ້ອງກັບຄໍາສັ່ງລາຍງານ:

-b ຖ້າຜົນອອກຕາມເຫດຜົນ verbose ປະສົມໄດ້ຖືກລາຍງານແລະການສະແດງອອກເປັນ vector
ການດໍາເນີນງານ, ທາງເລືອກນີ້ outputs ຂໍ້ມູນການຄຸ້ມຄອງບົນພື້ນຖານ bitwise.

-c If -v ຖືກລະບຸໄວ້, ສະແດງການວັດແທກທີ່ກວມເອົາເທົ່ານັ້ນ. ຄ່າເລີ່ມຕົ້ນແມ່ນການສະແດງແບບເປີດເຜີຍ
ຂໍ້ມູນເທົ່ານັ້ນ.

-d (s|d|v)
ລະດັບຂອງລາຍລະອຽດທີ່ຈະສະຫນອງໃນຂໍ້ມູນລາຍງານການຄຸ້ມຄອງ (s = summary, d =
ລາຍລະອຽດ, v = verbose). ຄ່າເລີ່ມຕົ້ນແມ່ນສະຫຼຸບ.

-e ສົ່ງຈຸດຄຸ້ມຄອງທັງໝົດທີ່ຍົກເວັ້ນໄປໃສ່ເອກະສານລາຍງານພ້ອມກັບການລະບຸ
ເຫດຜົນການຍົກເວັ້ນຖ້າຫາກວ່າ -d d or -d v ທາງ​ເລືອກ​ແມ່ນ​ໄດ້​ລະ​ບຸ​ໄວ້​.

-f ຊື່​ເອ​ກະ​ສານ
ຊື່ຂອງໄຟລ໌ທີ່ປະກອບດ້ວຍອາກິວເມັນເພີ່ມເຕີມເພື່ອວິເຄາະ.

-h ສະແດງຂໍ້ມູນການຊ່ວຍເຫຼືອນີ້.

-i ໃຫ້ຂໍ້ມູນການຄຸ້ມຄອງສໍາລັບຕົວຢ່າງແທນທີ່ຈະເປັນໂມດູນ.

-m [l][t][c][f][r][a][m]
ປະເພດຂອງການວັດແທກທີ່ຈະລາຍງານ. l=line, t=toggle, c=combinational logic, f=FSM state
ແລະການຫັນປ່ຽນຂອງລັດ, r = ເງື່ອນໄຂເຊື້ອຊາດ, a = ການຢືນຢັນ, m = ຄວາມຈໍາ. ຄ່າເລີ່ມຕົ້ນແມ່ນ ltcf.

-o ຊື່​ເອ​ກະ​ສານ
ໄຟລ​໌​ທີ່​ຈະ​ອອກ​ຂໍ້​ມູນ​ລາຍ​ງານ​ໃຫ້​. ຄ່າເລີ່ມຕົ້ນແມ່ນຜົນຜະລິດມາດຕະຖານ.

-s ສະກັດກັ້ນໂມດູນ/ຕົວຢ່າງທີ່ບໍ່ມີຂໍ້ມູນການຄຸ້ມຄອງຈາກການສົ່ງອອກ
ຕໍ່ກັບບົດລາຍງານ. ໃຊ້ເພື່ອຊ່ວຍກໍາຈັດຂໍ້ມູນທີ່ບໍ່ມີຄວາມຫມາຍທີ່ອາດເກີດຂຶ້ນຈາກ
ລາຍງານ

-v ເຊົາສະໜັບສະໜູນ. ແທນທີ່ດ້ວຍ '-dd' ຫຼື '-d v'.

ເບິ່ງ ເລີ່ມຕົ້ນການໂຕ້ຕອບ GUI ສໍາລັບການລາຍງານການຄຸ້ມຄອງແບບໂຕ້ຕອບ.

-w (ຈໍານວນ)
ລະບຸຄວາມກວ້າງເສັ້ນສູງສຸດ (ເປັນຕົວອັກສອນ) ທີ່ສາມາດໃຊ້ເພື່ອສົ່ງອອກ Verilog
ຂໍ້ມູນ. ຖ້າຕົວເລືອກນີ້ບໍ່ໄດ້ຖືກລະບຸ, ລະຫັດ Verilog ທັງຫມົດໃນບົດລາຍງານຈະ
ຮັກສາຮູບແບບດຽວກັນຕາມທີ່ໄດ້ລະບຸໄວ້ໃນລະຫັດ Verilog ເດີມ. ຖ້ານີ້
ທາງ​ເລືອກ​ແມ່ນ​ໄດ້​ລະ​ບຸ​ໄວ້​, ລະ​ຫັດ Verilog ຈະ​ໄດ້​ຮັບ​ການ​ຈັດ​ຮູບ​ແບບ​ເພື່ອ​ນໍາ​ໃຊ້​ຫຼາຍ​ຂອງ​ປະ​ຈຸ​ບັນ​
ເສັ້ນເທົ່າທີ່ເປັນໄປໄດ້, ຫໍ່ຂໍ້ຄວາມເມື່ອເສັ້ນຮອດຄວາມກວ້າງຂອງເສັ້ນສູງສຸດ. ໄດ້
ຄວາມກວ້າງເສັ້ນສູງສຸດເລີ່ມຕົ້ນແມ່ນ 115 ຕົວອັກສອນ (ຄ່ານີ້ຖືກໃຊ້ຖ້າບໍ່ມີຕົວເລກ
ລະບຸດ້ວຍຕົວເລືອກ -w). ຖ້າຕົວເລກຖືກລະບຸດ້ວຍຕົວເລືອກ -w, ນີ້
ຄ່າແມ່ນໃຊ້ສໍາລັບຄວາມກວ້າງເສັ້ນສູງສຸດ.

-x ສົ່ງອອກ ID ການຍົກເວັ້ນຂອງທຸກຈຸດຄຸ້ມຄອງທີ່ເປີດເຜີຍ ແລະຍົກເວັ້ນພາຍໃນ
ວົງເລັບກ່ອນຜົນຜະລິດ verbose ທີ່ກ່ຽວຂ້ອງຂອງຈຸດຄຸ້ມຄອງ. ໄດ້
ID ການຍົກເວັ້ນສາມາດຖືກໃຊ້ເພື່ອຍົກເວັ້ນ/ລວມເອົາຈຸດຄຸ້ມຄອງໂດຍຜ່ານການຍົກເວັ້ນ
ຄໍາສັ່ງ.

RANK ຄໍາສັ່ງ


ຕົວເລືອກຕໍ່ໄປນີ້ແມ່ນຖືກຕ້ອງກັບຄໍາສັ່ງອັນດັບ:

-d ຊື່​ເອ​ກະ​ສານ
ໄດເລກະທໍລີເພື່ອຊອກຫາໄຟລ໌ CDD ທີ່ຈະລວມເອົາ. ທາງເລືອກນີ້ແມ່ນໃຊ້ຮ່ວມກັນ
ກັບ -ຕໍ່ໄປ ທາງເລືອກທີ່ກໍານົດການຂະຫຍາຍໄຟລ໌ທີ່ຈະໃຊ້ສໍາລັບການກໍານົດ
ໄຟລ໌ໃດຢູ່ໃນໄດເລກະທໍລີແມ່ນໄຟລ໌ CDD.

- ຄວາມ​ເລິກ​ ຈໍານວນ
ລະບຸຈໍານວນໄຟລ໌ CDD ຕໍາ່ສຸດທີ່ຕ້ອງຕີແຕ່ລະຈຸດຄຸ້ມຄອງ. ໄດ້
ມູນຄ່າຂອງ ຈໍານວນ ຄວນຈະໃຫຍ່ກວ່າສູນ. ຄ່າເລີ່ມຕົ້ນແມ່ນ 1.

-ຕໍ່ໄປ ການຂະຫຍາຍ
ການ​ນໍາ​ໃຊ້​ຮ່ວມ​ກັບ​ -d ທາງເລືອກ. ຖ້າບໍ່ມີ -ຕໍ່ໄປ ທາງ​ເລືອກ​ແມ່ນ​ໄດ້​ລະ​ບຸ​ໄວ້​ໃນ​
command-line, ຄ່າເລີ່ມຕົ້ນຂອງ '.cdd' ຖືກໃຊ້. ໃຫ້ສັງເກດວ່າໄລຍະເວລາ (.) ຄວນ
ໄດ້​ລະ​ບຸ​ໄວ້​.

-f ຊື່​ເອ​ກະ​ສານ
ຊື່ຂອງໄຟລ໌ທີ່ປະກອບດ້ວຍອາກິວເມັນເພີ່ມເຕີມເພື່ອວິເຄາະ.

-h ສະແດງຂໍ້ມູນການຊ່ວຍເຫຼືອສໍາລັບຄໍາສັ່ງອັນດັບ.

-names ເທົ່ານັ້ນ
ຖ້າລະບຸ, ຜົນໄດ້ຮັບພຽງແຕ່ຊື່ໄຟລ໌ CDD ທີ່ຈໍາເປັນທີ່ຕ້ອງການດໍາເນີນການໃນ
ສັ່ງ​ໃຫ້​ເຂົາ​ເຈົ້າ​ຈໍາ​ເປັນ​ຕ້ອງ​ໄດ້​ຮັບ​ການ​ດໍາ​ເນີນ​ການ​. ຖ້າຕົວເລືອກນີ້ບໍ່ໄດ້ຖືກຕັ້ງ, ຜົນຜະລິດແບບລາຍງານແມ່ນ
ສະໜອງຂໍ້ມູນເພີ່ມເຕີມ. ຕົວເລືອກນີ້ຫມາຍຄວາມວ່າຈະເປັນປະໂຫຍດໃນສະຄິບ
ທີ່ຕ້ອງການພຽງແຕ່ຊື່ໄຟລ໌ CDD ດໍາເນີນການເປັນຜົນຜະລິດ.

-o ຊື່​ເອ​ກະ​ສານ
ຊື່ຂອງໄຟລ໌ທີ່ຈະສົ່ງຂໍ້ມູນການຈັດອັນດັບໄປຫາ. ຄ່າເລີ່ມຕົ້ນແມ່ນຜົນຜະລິດມາດຕະຖານ.

-required-cdd ຊື່​ເອ​ກະ​ສານ
ຊື່ຂອງ CDD ທີ່ຄວນຈະຖືວ່າເປັນ CDD ທີ່ຕ້ອງການເພື່ອຈັດອັນດັບ (ເຊັ່ນ, ມັນບໍ່ສາມາດເປັນ
ຍົກເວັ້ນດ້ວຍເຫດຜົນໃດກໍ່ຕາມ).

- ບັນ​ຊີ​ລາຍ​ຊື່​ທີ່​ຕ້ອງ​ການ​ ຊື່​ເອ​ກະ​ສານ
ຊື່ຂອງໄຟລ໌ທີ່ມີບັນຊີລາຍຊື່ຂອງ CDDs ທີ່ຄວນຈະພິຈາລະນາ CDDs ທີ່ຕ້ອງການ
ອັນດັບ. ຊື່ໄຟລ໌ຄວນຖືກແຍກອອກດ້ວຍຍະຫວ່າງ ຫຼືຕົວອັກສອນແຖວໃໝ່
ພາຍໃນໄຟລ໌.

-v ເຮັດໃຫ້ຜົນໄດ້ຮັບ verbose ຈະຖືກສະແດງເມື່ອຄໍາສັ່ງອັນດັບຖືກແລ່ນ. ມັນຜົນໄດ້ຮັບ
ຂໍ້ມູນການວິນິດໄສກ່ຽວກັບແຕ່ລະໄລຍະທີ່ແຕກຕ່າງກັນຂອງລະບົບການຈັດອັນດັບ
ລວມທັງເວລາແລ່ນ, ຈໍານວນໄຟລ໌ CDD ລວມ / ບໍ່ລວມແລະຈໍານວນການຄຸ້ມຄອງ
ຈຸດທີ່ຖືກຕີໂດຍ CDDs ທີ່ຖືກຈັດອັນດັບໃນແຕ່ລະໄລຍະ. ຂໍ້ມູນນີ້ແມ່ນຫມາຍຄວາມວ່າ
ເປັນປະໂຫຍດສໍາລັບຜູ້ທີ່ສົນໃຈໃນລະບົບການຈັດອັນດັບແລະການປະຕິບັດຂອງມັນ.

- ຫນັກ​ແຫນ້ນ​ຢືນ​ຢັນ​ ຈໍານວນ
ລະບຸການໃຫ້ນໍ້າໜັກທີ່ສົມທຽບສຳລັບການຄຸ້ມຄອງການຢືນຢັນທີ່ໃຊ້ໃນການຈັດອັນດັບທີ່ບໍ່ຊໍ້າກັນ
ຈຸດຄຸ້ມຄອງ. ມູນຄ່າຂອງ ຈໍານວນ ແມ່ນທຽບກັບຄ່າທີ່ໃຊ້ໃນ
- ນໍ້າໜັກສະຫຼັບ, - ນ້ໍາຫນັກ - ຄວາມຈໍາ, - ນໍ້າໜັກຫວີ, - ນ້ໍາຫນັກ - fsm ແລະ - ເສັ້ນ​ນ​້​ໍາ​ຫນັກ​ ຈັດອັນດັບ
ຕົວເລືອກຄໍາສັ່ງ.

- ນໍ້າໜັກຫວີ ຈໍານວນ
ລະບຸການໃຫ້ນໍ້າໜັກທີ່ສົມທຽບສຳລັບການຄຸ້ມຄອງຕາມເຫດຜົນລວມທີ່ໃຊ້ໃນການຈັດອັນດັບ
ຈຸດການຄຸ້ມຄອງທີ່ບໍ່ເປັນເອກະລັກ. ມູນຄ່າຂອງ ຈໍານວນ ແມ່ນທຽບກັບຄ່າທີ່ໃຊ້ໃນ
ໄດ້ - ນໍ້າໜັກສະຫຼັບ, - ນ້ໍາຫນັກ - ຄວາມຈໍາ, - ຫນັກ​ແຫນ້ນ​ຢືນ​ຢັນ​, - ນ້ໍາຫນັກ - fsm ແລະ - ເສັ້ນ​ນ​້​ໍາ​ຫນັກ​
ອັນດັບຕົວເລືອກຄໍາສັ່ງ.

- ນ້ໍາຫນັກ - fsm ຈໍານວນ
ລະບຸນໍ້າໜັກທີ່ສົມທຽບສຳລັບສະຖານະ FSM ແລະການຄຸ້ມຄອງການຫັນປ່ຽນຂອງລັດທີ່ໃຊ້
ຈັດອັນດັບຈຸດຄຸ້ມຄອງທີ່ບໍ່ເປັນເອກະລັກ. ມູນຄ່າຂອງ ຈໍານວນ ແມ່ນກ່ຽວຂ້ອງກັບຄຸນຄ່າ
ໃຊ້ໃນ - ນໍ້າໜັກສະຫຼັບ, - ນ້ໍາຫນັກ - ຄວາມຈໍາ, - ນໍ້າໜັກຫວີ, - ຫນັກ​ແຫນ້ນ​ຢືນ​ຢັນ​ ແລະ
- ເສັ້ນ​ນ​້​ໍາ​ຫນັກ​ ອັນດັບຕົວເລືອກຄໍາສັ່ງ.

- ເສັ້ນ​ນ​້​ໍາ​ຫນັກ​ ຈໍານວນ
ລະບຸການໃຫ້ນໍ້າໜັກທີ່ສົມທຽບກັນສໍາລັບການຄຸ້ມຄອງແຖວທີ່ໃຊ້ເພື່ອຈັດອັນດັບການປົກຄຸມທີ່ບໍ່ຊໍ້າກັນ
ຈຸດ. ມູນຄ່າຂອງ ຈໍານວນ ແມ່ນທຽບກັບຄ່າທີ່ໃຊ້ໃນ - ນໍ້າໜັກສະຫຼັບ,
- ນ້ໍາຫນັກ - ຄວາມຈໍາ, - ນໍ້າໜັກຫວີ, - ນ້ໍາຫນັກ - fsm ແລະ - ຫນັກ​ແຫນ້ນ​ຢືນ​ຢັນ​ ອັນດັບຕົວເລືອກຄໍາສັ່ງ.

- ນ້ໍາຫນັກ - ຄວາມຈໍາ ຈໍານວນ
ລະບຸນໍ້າໜັກທີ່ສົມທຽບສຳລັບຄວາມຊົງຈຳທີ່ໃຊ້ເພື່ອຈັດອັນດັບຄວາມຄຸ້ມຄອງທີ່ບໍ່ຊໍ້າກັນ
ຈຸດ. ມູນຄ່າຂອງ ຈໍານວນ ແມ່ນທຽບກັບຄ່າທີ່ໃຊ້ໃນ - ນໍ້າໜັກສະຫຼັບ,
- ເສັ້ນ​ນ​້​ໍາ​ຫນັກ​, - ນໍ້າໜັກຫວີ, - ນ້ໍາຫນັກ - fsm ແລະ - ຫນັກ​ແຫນ້ນ​ຢືນ​ຢັນ​ ອັນດັບຕົວເລືອກຄໍາສັ່ງ.

- ນໍ້າໜັກສະຫຼັບ ຈໍານວນ
ລະບຸການໃຫ້ນໍ້າໜັກທີ່ສົມທຽບສຳລັບການປົກປິດປິດລັບທີ່ໃຊ້ເພື່ອຈັດອັນດັບການຄຸ້ມຄອງທີ່ບໍ່ຊໍ້າກັນ
ຈຸດ. ມູນຄ່າຂອງ ຈໍານວນ ແມ່ນທຽບກັບຄ່າທີ່ໃຊ້ໃນ - ນ້ໍາຫນັກ - ຄວາມຈໍາ,
- ເສັ້ນ​ນ​້​ໍາ​ຫນັກ​, - ນໍ້າໜັກຫວີ, - ນ້ໍາຫນັກ - fsm ແລະ - ຫນັກ​ແຫນ້ນ​ຢືນ​ຢັນ​ ອັນດັບຕົວເລືອກຄໍາສັ່ງ.

ຍົກເວັ້ນ ຄໍາສັ່ງ


ຕົວເລືອກຕໍ່ໄປນີ້ແມ່ນຖືກຕ້ອງກັບຄໍາສັ່ງຍົກເວັ້ນ:

-f ຊື່​ເອ​ກະ​ສານ
ລະບຸຊື່ຂອງໄຟລ໌ທີ່ມີຕົວເລືອກເພີ່ມເຕີມຕໍ່ກັບຄໍາສັ່ງຍົກເວັ້ນ.
ທາງ​ເລືອກ​ນີ້​ອາດ​ຈະ​ໄດ້​ຮັບ​ການ​ລະ​ບຸ​ຈໍາ​ນວນ​ຫຼາຍ​ເທົ່າ​ທີ່​ຈໍາ​ເປັນ​ສໍາ​ລັບ​ການ​ໂທ​ດຽວ​ກັບ​
ບໍ່ລວມຄໍາສັ່ງ.

-h ສ້າງຂໍ້ມູນການນໍາໃຊ້ສໍາລັບຄໍາສັ່ງຍົກເວັ້ນ.

-m ອະນຸຍາດໃຫ້ຂໍ້ຄວາມການຍົກເວັ້ນທີ່ກ່ຽວຂ້ອງກັບຈຸດການຄຸ້ມຄອງໃດໆທີ່ຈະໄປ
ຈາກລັດລວມໄປຫາລັດທີ່ຖືກຍົກເວັ້ນ. ສໍາລັບແຕ່ລະຈຸດການຄຸ້ມຄອງທີ່ພົບ
ຄວາມຕ້ອງການນີ້, ຜູ້ໃຊ້ຈະຖືກກະຕຸ້ນໃຫ້ໃສ່ເຫດຜົນ. ເຫດຜົນອາດຈະເປັນ
ຄວາມ​ຍາວ​ແລະ​ຈໍາ​ນວນ​ຂອງ​ສາຍ​ໃດ​ຫນຶ່ງ​; ແນວໃດກໍ່ຕາມ, ລັກສະນະການຈັດຮູບແບບທັງໝົດ (ເຊັ່ນ:
newlines, tabs, extra spaces, ແລະ​ອື່ນໆ) ຈະ​ໄດ້​ຮັບ​ການ​ໂຍກ​ຍ້າຍ​ອອກ​ແລະ​ທົດ​ແທນ​ທີ່​ມີ​ດຽວ
space ເມື່ອມັນຖືກສະແດງຕໍ່ມາ. ເພື່ອສິ້ນສຸດການປ້ອນຂໍ້ມູນຂອງຂໍ້ຄວາມ, ກົດປຸ່ມກັບຄືນ,
ໃສ່ໄລຍະເວລາດຽວ (.) ຕົວອັກສອນແລະກົດກັບຄືນອີກເທື່ອຫນຶ່ງ. ໄລຍະເວລາສຸດທ້າຍ
ຕົວອັກສອນຈະບໍ່ເປັນສ່ວນຫນຶ່ງຂອງຂໍ້ຄວາມຍົກເວັ້ນ.

-p ເຮັດໃຫ້ຈຸດຄຸ້ມຄອງທີ່ລະບຸໄວ້ທັງໝົດເພື່ອພິມສະຖານະການຍົກເວັ້ນປັດຈຸບັນ ແລະ
ເຫດຜົນການຍົກເວັ້ນ (ຖ້າມີອັນໃດອັນໜຶ່ງສໍາລັບຈຸດຄຸ້ມຄອງທີ່ຍົກເວັ້ນ) ເປັນມາດຕະຖານ
ຜົນຜະລິດ. ຖ້າຕົວເລືອກນີ້ຖືກລະບຸ, the -m ທາງເລືອກຈະຖືກລະເລີຍ.

ການ ນຳ ໃຊ້ ປົກຄຸມ AS A IPV ແບບ ຈຳ ລອງ


ນອກເຫນືອຈາກການໃຊ້ຄໍາສັ່ງຄະແນນຂອງ Covered ເພື່ອວິເຄາະໄຟລ໌ VCD, LXT2 ຫຼື FST ເປັນບົດຄັດຫຍໍ້
ຂໍ້ມູນການຄຸ້ມຄອງ, Covered ຍັງອາດຈະຖືກນໍາໃຊ້ເປັນໂມດູນ VPI ພາຍໃນ simulator ເປັນ
ສະກັດຂໍ້ມູນນີ້. ຂໍ້ດີຂອງການໃຊ້ Covered ເປັນ VPI ຫຼາຍກວ່າເຄື່ອງອ່ານ dumpfile
ປະ​ກອບ​ມີ​ດັ່ງ​ຕໍ່​ໄປ​ນີ້​. ຫນ້າທໍາອິດ, ໄຟລ໌ VCD ສາມາດມີຂະຫນາດໃຫຍ່ທີ່ສຸດ, ໂດຍສະເພາະສໍາລັບເວລາດົນນານ
ການຈໍາລອງ, ການນໍາໃຊ້ພື້ນທີ່ດິດທີ່ມີຄຸນຄ່າ. ອັນທີສອງ, ຖ້າທ່ານກໍາລັງໃຊ້ simulator ນັ້ນ
dumps ໄຟລ໌ໃນຮູບແບບທີ່ແຕກຕ່າງກັນກ່ວາ VCD, LXT2 ຫຼື FST ແລະທ່ານຕ້ອງການທີ່ຈະປ່ຽນ dump ເຫຼົ່ານີ້
ປະ​ເພດ​ໄຟລ​໌​ຫນຶ່ງ​ຂອງ​ສະ​ບັບ​ເຫຼົ່າ​ນີ້​, ຄ່າ​ໃຊ້​ຈ່າຍ​ຂອງ​ພື້ນ​ທີ່​ແຜ່ນ​ແລະ​ເວ​ລາ​ສາ​ມາດ​ເຮັດ​ໃຫ້​ການ​ສ້າງ​
dumpfiles ທີ່ Covered ຕ້ອງການ undesirable. ນອກຈາກນັ້ນ, ເຖິງແມ່ນວ່າການນໍາໃຊ້ Covered ເປັນ VPI
ໂມດູນຈະເຮັດໃຫ້ຄວາມໄວການຈໍາລອງຂອງທ່ານຊ້າລົງ, ມັນເປັນໄປໄດ້ທີ່ສຸດທີ່ຈະໃຊ້ເວລາທັງຫມົດ
ການຈໍາລອງການອອກແບບຂອງທ່ານແລະໃຫ້ຄະແນນການອອກແບບໃນຂັ້ນຕອນຫນຶ່ງຈະສັ້ນກວ່າການເຮັດໃນ
ສອງຂັ້ນຕອນ. ດັ່ງນັ້ນ, ຜົນປະໂຫຍດການຕັ້ງຄ່າຂອງ Covered ສາມາດສ້າງຫ້ອງສະຫມຸດທີ່ກຽມພ້ອມ VPI ສໍາລັບ
simulators ຟຣີແລະການຄ້າຕໍ່ໄປນີ້ (Icarus Verilog, CVER ແລະ VCS).

ເພື່ອສ້າງໄຟລ໌ຫ້ອງສະໝຸດທີ່ພ້ອມ VPI ໂດຍອັດຕະໂນມັດເມື່ອສ້າງ Covered ຈາກແຫຼ່ງ,
ພຽງແຕ່ລະບຸຫນຶ່ງຫຼືຫຼາຍອັນຕໍ່ໄປນີ້ໃນເວລາທີ່ແລ່ນ "ຕັ້ງຄ່າ" utility ໃນ
base Covered directory: --with-iv= , --with-vcs=
ເສັ້ນທາງ>, --with-cver= . ຫຼັງຈາກ Covered ໄດ້ຖືກຕັ້ງຄ່າແລ້ວ, ພຽງແຕ່ພິມ
'ເຮັດ' ແລະ 'ເຮັດການຕິດຕັ້ງ'. ນີ້ຈະຕິດຕັ້ງໄຟລ໌ຫ້ອງສະໝຸດທີ່ພ້ອມ VPI ໃນ
ການຕິດຕັ້ງໄດເລກະທໍລີ libexec (ຕາມຄ່າເລີ່ມຕົ້ນເສັ້ນທາງນີ້ຈະເປັນ /usr/local/libexec).

ກ່ອນທີ່ທ່ານຈະພ້ອມທີ່ຈະລວບລວມການອອກແບບ, ກ່ອນອື່ນ ໝົດ ທ່ານຕ້ອງສ້າງໄຟລ໌ CDD, ລະດັບສູງສຸດ
ໄຟລ໌ Verilog, ແລະໄຟລ໌ຕາຕະລາງ PLI (ໄຟລ໌ສຸດທ້າຍແມ່ນຈໍາເປັນສໍາລັບ VCS compiler).
ນີ້ແມ່ນເຮັດໄດ້ໂດຍການລະບຸ -vpi (ຊື່​ເອ​ກະ​ສານ) ທາງເລືອກໃນຄໍາສັ່ງຄະແນນ Covered. ຖ້າບໍ່ມີ
ຊື່ໄຟລ໌ຖືກລະບຸຫຼັງຈາກ -vpi, ໄຟລ໌ covered_vpi.v ແລະ covered_vpi.ta b ຈະເປັນ.
ສ້າງພ້ອມກັບໄຟລ໌ການຄຸ້ມຄອງທີ່ສ້າງຂຶ້ນ. ໃຫ້ສັງເກດວ່າຂັ້ນຕອນນີ້ພຽງແຕ່ຕ້ອງການ
ປະຕິບັດຄັ້ງດຽວເວັ້ນເສຍແຕ່ວ່າໄຟລ໌ການອອກແບບມີການປ່ຽນແປງ. ໃນປັດຈຸບັນທ່ານມີຄວາມພ້ອມທີ່ຈະລວບລວມ
ເຄື່ອງຈຳລອງ.

ຖ້າທ່ານກໍາລັງລວບລວມການຈໍາລອງ Icarus Verilog, ພຽງແຕ່ເພີ່ມ '-m
/usr/local/libexec/covered.vpi covered_vpi.v' ໄປຫາເສັ້ນຄໍາສັ່ງ 'iverilog'. ຄັ້ງດຽວ
ການລວບລວມແມ່ນສໍາເລັດ, ດໍາເນີນການໄຟລ໌ທີ່ສາມາດປະຕິບັດໄດ້ທີ່ສ້າງຂຶ້ນຕາມທີ່ເຈົ້າມັກ.

ຖ້າທ່ານກໍາລັງລວບລວມການຈໍາລອງ CVER, ພຽງແຕ່ເພີ່ມ
'+loadvpi=/usr/local/libexec/covered.cver.so:vpi_compat_bootstrap covered_vpi.v' ໄປທີ່
'cver' ເສັ້ນຄໍາສັ່ງ.

ຖ້າທ່ານກໍາລັງລວບລວມການຈໍາລອງ VCS, ພຽງແຕ່ເພີ່ມ '+vpi -load
/usr/local/libexec/covered.vcs.so:covered_register covered_vpi.v' ໄປຫາ 'vcs'
ເສັ້ນຄໍາສັ່ງ. ເມື່ອການລວບລວມສໍາເລັດແລ້ວ, ດໍາເນີນການໄຟລ໌ທີ່ສາມາດປະຕິບັດໄດ້ທີ່ສ້າງຂຶ້ນຕາມທີ່ທ່ານ
ຕາມປົກກະຕິຈະ.

ຖ້າທ່ານກໍາລັງລວບລວມການຈໍາລອງ NC-Verilog, ປ່ຽນໄປຫາຄໍາສັ່ງ irun ຂອງ NC-Verilog ເພື່ອໂຫລດ.
ວັດຖຸທີ່ໃຊ້ຮ່ວມກັນທີ່ມີການຄຸ້ມຄອງ: '-loadvpi /usr/local/libexec/covered.ncv.so:covered_register'
ແລະເປີດໃຊ້ການເຂົ້າເຖິງທັງຫມົດດ້ວຍ '-access +rwc'. ທ່ານສາມາດ hardcode ການໂທຫາ $covered_sim
RTL ຂອງ​ທ່ານ​ຫຼື​ທ່ານ​ສາ​ມາດ​ດໍາ​ເນີນ​ການ​ມັນ​ແບບ​ເຄື່ອນ​ໄຫວ​ໂດຍ​ການ​ນໍາ​ໃຊ້ CLI​, ໂດຍ​ການ​ເພີ່ມ -input input.tcl
ປ່ຽນເປັນ irun. ບ່ອນທີ່ໄຟລ໌ input.tcl ມີລັກສະນະດັ່ງຕໍ່ໄປນີ້ແລະ tb.dut ແມ່ນ
ຕົວຢ່າງການຄຸ້ມຄອງ:
call -systf {$covered_sim} {"scored.cdd"} tb.dut
ແລ່ນ

ມີສອງ plusargs ທີ່ສາມາດສົ່ງໄປຫາ executable ທີ່ສ້າງຂຶ້ນໃນເວລາທີ່ມັນດໍາເນີນການນັ້ນ
Covered ຈະ parse. '+covered_cdd= ' ທາງ​ເລືອກ​ຈະ​ເຮັດ​ໃຫ້ Covered ກັບ​ຜົນ​ຜະ​ລິດ​ໄດ້​
ໃຫ້ຄະແນນເນື້ອໃນການອອກແບບໃສ່ໄຟລ໌ CDD ທີ່ລະບຸໄວ້ໂດຍ . ນີ້ອະນຸຍາດໃຫ້ແລ່ນຫຼາຍ
ຂອງ simulator ເພື່ອສ້າງໄຟລ໌ CDD ທີ່ແຕກຕ່າງກັນຫຼາຍໂດຍບໍ່ຈໍາເປັນຕ້ອງ recompile ກັບ
ເກີດຂຶ້ນ. ຕົວເລືອກ '+covered_debug' ຈະເຮັດໃຫ້ Covered ຖິ້ມຜົນຜະລິດຫຼາຍເກີນໄປ
ກ່ຽວກັບສະຖານະເວລາແລ່ນພາຍໃນຂອງມັນໃນລະຫວ່າງການຈໍາລອງ. ຜົນຜະລິດນີ້ຈະຖືກສ້າງຂື້ນເທົ່ານັ້ນ
ຖ້າ Covered ຖືກຕັ້ງຄ່າດ້ວຍຕົວເລືອກ --enable-debug. ທາງເລືອກ plusarg ນີ້ບໍ່ຄວນ
ຖືກນໍາໃຊ້ໂດຍຜູ້ໃຊ້ປົກກະຕິຍ້ອນວ່າມັນມີຈຸດປະສົງຕົ້ນຕໍເພື່ອຊ່ວຍນັກພັດທະນາຂອງ Covered in
ການດີບັກ.

AUTHORS


Trevor Williamsphase1geo@gmail.com>

ໃຊ້ການຄຸ້ມຄອງອອນໄລນ໌ໂດຍໃຊ້ບໍລິການ onworks.net


ເຊີບເວີ ແລະສະຖານີເຮັດວຽກຟຣີ

ດາວໂຫຼດແອັບ Windows ແລະ Linux

  • 1
    ຜູ້ດາວໂຫລດຮູບພາບ
    ຜູ້ດາວໂຫລດຮູບພາບ
    ລວບລວມແລະດາວໂຫລດຮູບພາບໂດຍໃຊ້
    Selenium ໃຊ້ python3 ແລະ PyQt5.
    ສະຫນັບສະຫນູນເຄື່ອງຈັກຊອກຫາ: Google, Bing,
    Baidu. ການປ້ອນຂໍ້ມູນຄໍາຫລັກຈາກແປ້ນພິມ
    ຫຼື​ການ​ປ້ອນ​ຂໍ້​ມູນ​ຈາກ ...
    ດາວ​ໂຫຼດ​ຮູບ​ພາບ​ດາວ​ໂຫຼດ​
  • 2
    ອັບປີ
    ອັບປີ
    Uppy ດຶງເອົາໄຟລ໌ຢູ່ໃນທ້ອງຖິ່ນແລະຈາກ
    ສະຖານທີ່ຫ່າງໄກສອກຫຼີກເຊັ່ນ Dropbox ຫຼື Instagram.
    ດ້ວຍ​ການ​ເຊື່ອມ​ໂຍງ​ຢ່າງ​ບໍ່​ຢຸດ​ຢັ້ງ,
    ຄວາມຫນ້າເຊື່ອຖືແລະຄວາມງ່າຍຂອງການນໍາໃຊ້, Uppy ແມ່ນ
    ແທ້ໆຂອງເຈົ້າ...
    ດາວໂຫລດ Uppy
  • 3
    ປີກ 3D
    ປີກ 3D
    Wings 3D ເປັນ subdivision ແບບພິເສດ
    ຕົວແບບທີ່ມີທັງທີ່ມີປະສິດທິພາບແລະງ່າຍດາຍ
    ການນໍາໃຊ້ (ການດົນໃຈໂດຍ Nendo ແລະ Mirai ຈາກ
    Izware). ປີກມີການໂຕ້ຕອບງ່າຍດາຍ.
    ຖືກຕ້ອງ...
    ດາວໂຫລດ Wings 3D
  • 4
    Eclipse Tomcat Plugin
    Eclipse Tomcat Plugin
    Eclipse Tomcat Plugin ໃຫ້
    ການປະສົມປະສານງ່າຍດາຍຂອງ servlet tomcat
    container ສໍາລັບການພັດທະນາຂອງ java
    ຄໍາຮ້ອງສະຫມັກເວັບໄຊຕ໌. ທ່ານສາມາດເຂົ້າຮ່ວມກັບພວກເຮົາສໍາລັບ
    ສົນທະນາ...
    ດາວໂຫລດ Eclipse Tomcat Plugin
  • 5
    Webstorrent Desktop
    Webstorrent Desktop
    WebTorrent Desktop ແມ່ນສໍາລັບການຖ່າຍທອດ
    torrents ໃນ Mac, Windows ຫຼື Linux. ມັນ
    ເຊື່ອມຕໍ່ກັບທັງ BitTorrent ແລະ
    ມິດສະຫາຍ WebTorrent. ໃນປັດຈຸບັນບໍ່ມີ
    ຈໍາ​ເປັນ​ຕ້ອງ​ລໍ​ຖ້າ ...
    ດາວໂຫລດ WebTorrent Desktop
  • 6
    Arduino ASCOM Focuser Pro2 DIY
    Arduino ASCOM Focuser Pro2 DIY
    myFocuserPro2 ເປັນ ASCOM - INDI -
    LINUX - WINDOWS telescope focuser with a
    ລະດັບຂະຫນາດໃຫຍ່ຂອງທາງເລືອກ. 230,000+ ໄຟລ໌
    ດາວໂຫຼດ. ຈຸດສຸມທີ່ນິຍົມທີ່ສຸດ
    ໂຄງການ. ...
    ດາວໂຫລດ Arduino ASCOM Focuser Pro2 DIY
  • 7
    pspp4windows
    pspp4windows
    PSPP ແມ່ນໂຄງການສໍາລັບສະຖິຕິ
    ການວິເຄາະຂໍ້ມູນຕົວຢ່າງ. ມັນເປັນຟຣີ
    ການທົດແທນໂຄງການທີ່ເປັນເຈົ້າຂອງ
    SPSS. PSPP ມີທັງຂໍ້ຄວາມທີ່ອີງໃສ່ແລະ
    ຮູບພາບພວກເຮົາ ...
    ດາວໂຫລດ pspp4windows
  • ເພີ່ມເຕີມ »

Linux ຄຳ ສັ່ງ

Ad