ນີ້ແມ່ນຄໍາສັ່ງທີ່ກວມເອົາທີ່ສາມາດດໍາເນີນການໄດ້ໃນ 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 Williams[email protected]>
ໃຊ້ການຄຸ້ມຄອງອອນໄລນ໌ໂດຍໃຊ້ບໍລິການ onworks.net