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

ໂຄງການ:

NAME

asimut - ເຄື່ອງ​ມື​ຈໍາ​ລອງ​ສໍາ​ລັບ​ການ​ອະ​ທິ​ບາຍ​ຮາດ​ແວ​

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

asimut [ທາງເລືອກ] [root_file] [pattern_file] [ຜົນໄດ້ຮັບ_ໄຟລ໌]

ລາຍລະອຽດ

asimut ເປັນເຄື່ອງມືຈໍາລອງຢ່າງມີເຫດຜົນສໍາລັບການອະທິບາຍຮາດແວ. ມັນລວບລວມແລະໂຫຼດ a
ລາຍລະອຽດຮາດແວທີ່ສົມບູນຂຽນໄວ້ໃນ VHDL (ວົງຈອນປະສົມປະສານຄວາມໄວສູງຫຼາຍ
ພາສາຄໍາອະທິບາຍຮາດແວ). ລາຍ​ລະ​ອຽດ​ຂອງ​ຮາດ​ແວ​ອາດ​ຈະ​ເປັນ​ໂຄງ​ສ້າງ (ເປັນ​ລໍາ​ດັບ​ຂອງ
ຕົວຢ່າງ) ຫຼືພຶດຕິກໍາ. ຮອງຮັບພຽງແຕ່ຊຸດຍ່ອຍຂອງ VHDL. ຄໍາອະທິບາຍທີ່ບໍ່ມີ
ກົງກັບຊຸດຍ່ອຍນີ້ເຮັດໃຫ້ syntax ຜິດພາດໃນລະຫວ່າງການລວບລວມ. ເບິ່ງ vhdl(5​) ສໍາລັບລາຍລະອຽດ
ຂໍ້ມູນກ່ຽວກັບຊຸດຍ່ອຍທີ່ຮອງຮັບຂອງ VHDL.

ເມື່ອລາຍລະອຽດຮາດແວຖືກໂຫລດ, asimut ຊອກຫາຄໍາອະທິບາຍຮູບແບບການຈໍາລອງ
ໄຟລ໌. ໄຟລ໌ນີ້ຈະຖືກຂຽນໄວ້ໃນ pat ຮູບແບບ. ໄຟລ໌ໄດ້ຖືກລວບລວມ, ໂຫລດແລະເຊື່ອມຕໍ່
ກັບຄໍາອະທິບາຍຮາດແວ. ຫຼັງຈາກນັ້ນ, ການຈໍາລອງແມ່ນເລີ່ມຕົ້ນ. ເມື່ອມີຮູບແບບ
ປະມວນຜົນ, ໄຟລ໌ຜົນໄດ້ຮັບໃນ pat ຮູບແບບແມ່ນຜະລິດ.

ຖ້າມີການຮ້ອງຂໍການດໍາເນີນການບັນທຶກໃນໄຟລ໌ຄໍາອະທິບາຍຮູບແບບ (ເບິ່ງ pat (5​)), asimut
ສ້າງໄຟລ໌ບັນທຶກທີ່ເປັນຕົວແທນຂອງສະຖານະຂອງຄໍາອະທິບາຍໃນຕອນທ້າຍຂອງ
ການຈໍາລອງຂອງຮູບແບບສຸດທ້າຍ. ໄຟລ໌ບັນທຶກມີຊື່ root_file.sav, ບ່ອນໃດ root_file is
ຊື່ຂອງຄໍາອະທິບາຍ.

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

asimut ອ່ານຕົວແປຫຼາຍຢ່າງຈາກຕົວແປສະພາບແວດລ້ອມ:

MBK_CATA_LIB ບັນຊີລາຍຊື່ຂອງໄດເລກະທໍລີທີ່ມີຄໍາອະທິບາຍແລະຮູບແບບໄຟລ໌ (ການນໍາໃຊ້
syntax $PATH). ເສັ້ນທາງເລີ່ມຕົ້ນແມ່ນໄດເລກະທໍລີປະຈຸບັນ (ເບິ່ງ mbk(1)).

MBK_WORK_LIB ລະບຸໄດເລກະທໍລີທີ່ເຮັດວຽກໃນປະຈຸບັນ. ໄດເລກະທໍລີທີ່ເຮັດວຽກ
ລະບຸສະຖານທີ່ບ່ອນທີ່ໄຟລ໌ຜົນຜະລິດທັງຫມົດຖືກຂຽນ.

MBK_CATAL_NAME ຊີ້ບອກໄຟລ໌ທີ່ໄຟລ໌ຄໍາອະທິບາຍພຶດຕິກໍາຢູ່ໃນລາຍການ.
ໄຟລ໌ນີ້ຖືກນໍາໃຊ້ກັບຈຸລັງໃບຂອງຄໍາອະທິບາຍໂຄງສ້າງ.(ເບິ່ງ
mbk(1))

MBK_IN_LO ນາມສະກຸນໄຟລ໌ສໍາລັບຫົວໜ່ວຍໂຄງສ້າງ. (ເບິ່ງ mbk(1))

VH_BEHSFX ບັນຊີລາຍຊື່ຂອງນາມສະກຸນໄຟລ໌ສໍາລັບນິຕິບຸກຄົນທີ່ມີພຶດຕິກໍາ (ໂດຍນໍາໃຊ້ syntax $PATH).
ສ່ວນຂະຫຍາຍໄຟລ໌ເລີ່ມຕົ້ນແມ່ນ vbe.

VH_PATSFX ບັນຊີລາຍຊື່ຂອງນາມສະກຸນໄຟລ໌ສໍາລັບຫົວໜ່ວຍຄໍາອະທິບາຍຮູບແບບ (ໂດຍໃຊ້ $PATH
syntax). ສ່ວນຂະຫຍາຍໄຟລ໌ເລີ່ມຕົ້ນແມ່ນ pat.

VH_DLYSFX ບັນຊີລາຍຊື່ຂອງນາມສະກຸນໄຟລ໌ສໍາລັບຫນ່ວຍງານຄໍາອະທິບາຍຄວາມລ່າຊ້າ (ໂດຍໃຊ້ $PATH
syntax). ສ່ວນຂະຫຍາຍໄຟລ໌ເລີ່ມຕົ້ນແມ່ນ dly.

VH_MAXERR ຈໍານວນສູງສຸດຂອງຄວາມຜິດພາດທີ່ອະນຸຍາດໃຫ້ໃນໄລຍະການຈໍາລອງ. ຖ້າ
ຈໍານວນຂໍ້ຜິດພາດທີ່ເກີດຂຶ້ນໃນລະຫວ່າງການຈໍາລອງເຖິງ VH_MAXERR, asimut
ຢຸດເຊົາການຈໍາລອງໃນຕອນທ້າຍຂອງການປຸງແຕ່ງຮູບແບບປະຈຸບັນ.
ຮູບແບບການປະຕິບັດຕາມຮູບແບບປະຈຸບັນຍັງຄົງບໍ່ໄດ້ຮັບການປຸງແຕ່ງແລະເປັນ
ຜະລິດຄືນໃນໄຟລ໌ຜົນໄດ້ຮັບ. ຄ່າເລີ່ມຕົ້ນຂອງ VH_MAXERR ແມ່ນ 10.

root_file ແມ່ນຊື່ຂອງຄໍາອະທິບາຍ.

ໂດຍຄ່າເລີ່ມຕົ້ນ asimut ຊອກຫາຄໍາອະທິບາຍໂຄງສ້າງ. ມັນໃຊ້ MBK_IN_LO ສະພາບແວດລ້ອມ
ຕົວແປເພື່ອກໍານົດທັງຮູບແບບແລະສ່ວນຂະຫຍາຍຂອງໄຟລ໌ຄໍາອະທິບາຍໂຄງສ້າງ.
ເພື່ອໂຫລດໄຟລ໌ VHDL ໂຄງສ້າງ MBK_IN_LO ຕ້ອງໄດ້ຕັ້ງເປັນ vs.

ເພື່ອໂຫລດຄໍາອະທິບາຍພຶດຕິກໍາທີ່ບໍລິສຸດ -b ທາງເລືອກຕ້ອງໄດ້ຮັບການລະບຸ. ໃນກໍລະນີດັ່ງກ່າວ asimut
ໂຫຼດໄຟລ໌ຄຳອະທິບາຍ VHDL ກະແສຂໍ້ມູນ. ໄດ້ VH_BEHSFX ຕົວແປສະພາບແວດລ້ອມໃຫ້
ສ່ວນຂະຫຍາຍທີ່ຈະໃຊ້.

pattern_file ແມ່ນຊື່ນິຕິບຸກຄົນຂອງຄໍາອະທິບາຍຮູບແບບ. ໄຟລ໌ທີ່ບັນຈຸນີ້
ນິຕິບຸກຄົນຕ້ອງມີຊື່ pattern_file.ext , ບ່ອນທີ່ ext ແມ່ນຫນຶ່ງໃນສ່ວນຂະຫຍາຍທີ່ລະບຸໄວ້ໃນ
VH_PATSFX.

result_file ແມ່ນໄຟລ໌ຜົນໄດ້ຮັບທີ່ຜະລິດໂດຍ asimut. ໄຟລ໌ຜົນໄດ້ຮັບແມ່ນຮູບແບບ
ໄຟລ໌ຄໍາອະທິບາຍທີ່ມີນາມສະກຸນທີ່ລະບຸໄວ້ໂດຍ VH_PATSFX.

OPTIONS

-b ພິຈາລະນາ root_file ຄໍາອະທິບາຍເປັນຄໍາອະທິບາຍພຶດຕິກໍາ

- ການຊັກຊ້າ [ນາທີ, ສູງສຸດ, ພິມ] delay_file
ໃຊ້ໄຟລ໌ delay_file.ext ສໍາລັບການຊັກຊ້າ backannotation, ບ່ອນທີ່ ext ແມ່ນຫນຶ່ງໃນ
ສ່ວນຂະຫຍາຍທີ່ລະບຸໄວ້ໃນ VH_DLYSFX.

-bdd ໃຊ້ BDDs (Binary Decision Diagram) ເພື່ອສະແດງການສະແດງອອກ. ການນໍາໃຊ້
ທາງເລືອກນີ້ເຮັດໃຫ້ການຈໍາລອງໄວຂຶ້ນສອງເທົ່າແຕ່ເພີ່ມຂຶ້ນ
ຄວາມຕ້ອງການຄວາມຊົງຈໍາ

-c ດໍາເນີນການພຽງແຕ່ຂັ້ນຕອນການລວບລວມ

-ຫຼັກ core_file ໃນຄວາມຜິດພາດທໍາອິດທີ່ພົບ, dump ລັດຂອງວົງຈອນໃນທັງສອງ
ໄຟລ໌ ascii (suffixed .cor) ແລະ binary save file (suffixed .sav)
ເຊິ່ງສາມາດໃຊ້ເປັນໄຟລ໌ເບື້ອງຕົ້ນໃນເຊດຊັນຕໍ່ໄປ. ຖ້າ
- ໂນເຣສ ທາງ​ເລືອກ​ແມ່ນ​ໄດ້​ລະ​ບຸ​ໄວ້​ໄຟລ​໌​ຮູບ​ແບບ​ຍັງ​ໄດ້​ຖືກ​ຜະ​ລິດ​.

-dbg[sbpldc] ໂທ​ຫາ debugger (ການ​ນໍາ​ໃຊ້​ຜູ້​ພັດ​ທະ​ນາ​)

- ການ​ຊັກ​ຊ້າ​ໃນ​ຕອນ​ຕົ້ນ​ (-ດດ) ພຽງແຕ່ການຊັກຊ້າ null (ບໍ່ມີຫຼັງຈາກປະໂຫຍກໃນໄຟລ໌ VHDL) ມີການປ່ຽນແປງຖ້າຫາກວ່າ
ມີການລະບຸຄວາມລ່າຊ້າ ຫຼືຄວາມລ່າຊ້າຄົງທີ່ທີ່ບັນທຶກໄວ້.

- ການ​ຊັກ​ຊ້າ​ ມູນຄ່າ (-fd ມູນຄ່າ)
ຄວາມລ່າຊ້າທັງໝົດຂອງຄຳອະທິບາຍຈະຖືກແກ້ໄຂ ມູນຄ່າ.

-h ສະແດງໄຟລ໌ຊ່ວຍເຫຼືອນີ້

-i ມູນຄ່າ ເລີ່ມຕົ້ນສັນຍານທັງຫມົດຂອງຄໍາອະທິບາຍດ້ວຍ ມູນຄ່າ. ມູນຄ່າ ສາມາດເປັນ 0
ຫຼື 1

-i save_file ອ່ານໄຟລ໌ບັນທຶກແລະໃຊ້ມັນເພື່ອເລີ່ມຕົ້ນສະຖານະຂອງຄໍາອະທິບາຍ
ກ່ອນທີ່ຈະປະມວນຜົນຮູບແບບທໍາອິດ (ຊື່ໄຟລ໌ບໍ່ສາມາດເປັນ 1 ຫຼື 0)

- ກວດ​ສອບ​ instance_name
ຜະລິດໄຟລ໌ຮູບແບບທີ່ສອດຄ້ອງກັບການໂຕ້ຕອບຂອງຕົວຢ່າງ
ລະບຸໂດຍ instance-name

-l n ພິມຫຼາຍທີ່ສຸດ n ຕົວອັກສອນສໍາລັບປ້າຍຮູບແບບ. ຄ່າເລີ່ມຕົ້ນສໍາລັບ n
ແມ່ນ 15.

- ໂນເຣສ ບໍ່ສ້າງໄຟລ໌ຜົນໄດ້ຮັບ

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

-t ຕິດຕາມສັນຍານໃນເວລາທີ່ເຮັດ BDDs (ການນໍາໃຊ້ຂອງນັກພັດທະນາ).

- ການ​ຂົນ​ສົ່ງ​ ໃຊ້ຮູບແບບການຊັກຊ້າການຂົນສົ່ງ (ຄ່າເລີ່ມຕົ້ນແມ່ນ inertial).

-zeodelay (-zd) ຄວາມລ່າຊ້າທັງໝົດຂອງຄຳອະທິບາຍ VHDL ຄວນຈະເປັນການຊັກຊ້າ null.

EXAMPLE

asimut -b -i init_add adder_32 adder_patterns res_add

ຈຳລອງຄຳອະທິບາຍພຶດຕິກຳທີ່ຢູ່ໃນໄຟລ໌ທີ່ມີຊື່ວ່າ 'adder_32.vbe ໂດຍໃຊ້ຮູບແບບ
ໄຟລ໌ `adder_patterns.pat'. ຜົນໄດ້ຮັບການຈໍາລອງໄດ້ຖືກຂຽນໄວ້ໃນ 'res_add.pat' ແລະ
ຄໍາອະທິບາຍແມ່ນເລີ່ມຕົ້ນດ້ວຍຄ່າທີ່ມີຢູ່ໃນ 'init_add.sav'.

ທິດສະດີວິທະຍາ

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

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