นี่คือคำสั่งสมมติที่สามารถเรียกใช้ในผู้ให้บริการโฮสต์ฟรีของ OnWorks โดยใช้เวิร์กสเตชันออนไลน์ฟรีของเรา เช่น Ubuntu Online, Fedora Online, โปรแกรมจำลองออนไลน์ของ Windows หรือโปรแกรมจำลองออนไลน์ของ MAC OS
โครงการ:
ชื่อ
อะซิมุท - เครื่องมือจำลองสำหรับคำอธิบายฮาร์ดแวร์
เรื่องย่อ
อะซิมุท [ตัวเลือก] [รูท_ไฟล์] [รูปแบบ_ไฟล์] [ผลลัพธ์_ไฟล์]
DESCRIPTION
อะซิมุท เป็นเครื่องมือจำลองเชิงตรรกะสำหรับคำอธิบายฮาร์ดแวร์ มันรวบรวมและโหลด a
คำอธิบายฮาร์ดแวร์ฉบับสมบูรณ์ที่เขียนด้วย VHDL (วงจรรวมความเร็วสูงมาก
ฮาร์ดแวร์คำอธิบายภาษา). คำอธิบายฮาร์ดแวร์อาจเป็นโครงสร้าง (ลำดับชั้นของ
กรณี) หรือพฤติกรรม รองรับเฉพาะชุดย่อยของ VHDL คำอธิบายที่ไม่
จับคู่ชุดย่อยนี้ทำให้เกิดข้อผิดพลาดทางไวยากรณ์ระหว่างการคอมไพล์ ดู วีดีโอ(5) สำหรับรายละเอียด
ข้อมูลเกี่ยวกับชุดย่อยที่รองรับของ VHDL
เมื่อโหลดคำอธิบายฮาร์ดแวร์แล้ว อะซิมุท มองหาคำอธิบายรูปแบบการจำลอง
ไฟล์. ไฟล์นี้จะถูกเขียนใน ลูบ รูปแบบ. ไฟล์ถูกคอมไพล์ โหลด และเชื่อมโยงแล้ว
พร้อมคำอธิบายฮาร์ดแวร์ จากนั้น การจำลองก็เริ่มต้นขึ้น เมื่อรูปแบบเป็น
ประมวลผลไฟล์ผลลัพธ์ใน ลูบ มีการผลิตรูปแบบ
หากมีการร้องขอการบันทึกในไฟล์คำอธิบายรูปแบบ (ดู ลูบ (5)), อะซิมุท
สร้างไฟล์บันทึกที่แสดงสถานะของคำอธิบายที่ส่วนท้ายของ
การจำลองรูปแบบสุดท้าย ไฟล์บันทึกชื่อ รูท_ไฟล์.sav โดยที่ รูท_ไฟล์ is
ชื่อของคำอธิบาย
ไฟล์บันทึกสามารถใช้ในลำดับการจำลองในภายหลังเพื่อเริ่มต้นสถานะของ
(เหมือนกัน) คำอธิบายฮาร์ดแวร์ก่อนเริ่มการจำลอง โดยใช้กลไกนี้ขนาดใหญ่
ลำดับของรูปแบบสามารถแบ่งได้เป็นลำดับเล็กๆ หลายๆ ลำดับ โดยแต่ละลำดับเริ่มต้นขึ้น
คำอธิบายฮาร์ดแวร์พร้อมไฟล์บันทึกเป็นผลมาจากลำดับก่อนหน้า
อะซิมุท อ่านพารามิเตอร์หลายตัวจากตัวแปรสภาพแวดล้อม :
MBK_CATA_LIB รายการไดเร็กทอรีที่มีไฟล์คำอธิบายและรูปแบบ (โดยใช้
ไวยากรณ์ $PATH) เส้นทางเริ่มต้นคือไดเร็กทอรีปัจจุบัน (ดู มาบุญครอง(พ.ศ. 1)).
MBK_WORK_LIB ระบุไดเร็กทอรีการทำงานปัจจุบัน ไดเรกทอรีการทำงาน
ระบุตำแหน่งที่ไฟล์เอาต์พุตทั้งหมดถูกเขียน
มาบุญครอง_CATAL_NAME ระบุไฟล์ที่แสดงรายการไฟล์คำอธิบายพฤติกรรม
ไฟล์นี้ใช้เพื่อแยกเซลล์ของคำอธิบายโครงสร้าง (ดู
มาบุญครอง(ฮิต))
มาบุญครอง_IN_LO นามสกุลไฟล์สำหรับเอนทิตีโครงสร้าง (ดู มาบุญครอง(ฮิต))
VH_BEHSFX รายการนามสกุลไฟล์สำหรับเอนทิตีเชิงพฤติกรรม (โดยใช้ไวยากรณ์ $PATH)
นามสกุลไฟล์เริ่มต้นคือ วีบีอี.
VH_PATSFX รายการนามสกุลไฟล์สำหรับเอนทิตีคำอธิบายรูปแบบ (โดยใช้ $PATH
วากยสัมพันธ์) นามสกุลไฟล์เริ่มต้นคือ ลูบ.
VH_DLYSFX รายการนามสกุลไฟล์สำหรับเอนทิตีคำอธิบายความล่าช้า (โดยใช้ $PATH
วากยสัมพันธ์) นามสกุลไฟล์เริ่มต้นคือ ช้า.
VH_MAXERR จำนวนข้อผิดพลาดสูงสุดที่อนุญาตในระหว่างขั้นตอนการจำลอง ถ้า
จำนวนข้อผิดพลาดที่เกิดขึ้นระหว่างการจำลองถึง VH_MAXERR อะซิมุท
หยุดการจำลองเมื่อสิ้นสุดการประมวลผลรูปแบบปัจจุบัน
รูปแบบที่เป็นไปตามรูปแบบปัจจุบันยังคงไม่ประมวลผลและ are
ทำซ้ำในไฟล์ผลลัพธ์ ค่าเริ่มต้นของ VH_MAXERR คือ 10
รูท_ไฟล์ เป็นชื่อของคำอธิบาย
ตามค่าเริ่มต้น อะซิมุท มองหาคำอธิบายโครงสร้าง มันใช้ มาบุญครอง_IN_LO สิ่งแวดล้อม
ตัวแปรเพื่อระบุทั้งรูปแบบและนามสกุลของไฟล์คำอธิบายโครงสร้าง
ในการโหลดไฟล์โครงสร้าง VHDL มาบุญครอง_IN_LO ต้องตั้งค่าเป็น VST.
ในการโหลดคำอธิบายพฤติกรรมที่บริสุทธิ์ -b ต้องระบุตัวเลือก ในกรณีเช่นนี้ อะซิมุท
โหลดไฟล์คำอธิบายโฟลว์ข้อมูล VHDL NS VH_BEHSFX ตัวแปรสภาพแวดล้อมให้
ส่วนขยายที่จะใช้
รูปแบบ_ไฟล์ เป็นชื่อเอนทิตีของคำอธิบายรูปแบบ ไฟล์ที่มีสิ่งนี้
นิติบุคคลจะต้องตั้งชื่อ pattern_file.ext ที่นี่มี ต่อ เป็นหนึ่งในนามสกุลที่ระบุใน
VH_PATSFX.
ผลลัพธ์_ไฟล์ เป็นไฟล์ผลลัพธ์ที่สร้างโดย อะซิมุท. ไฟล์ผลลัพธ์คือรูปแบบ
ไฟล์คำอธิบายที่มีนามสกุลตามที่ระบุโดย VH_PATSFX.
OPTIONS
-b พิจารณา รูท_ไฟล์ คำอธิบายเป็นคำอธิบายพฤติกรรม
- แบ็คดีเลย์ [นาที, สูงสุด พิมพ์] ล่าช้า_file
ใช้ไฟล์ Delay_file.ext สำหรับ backannotation ล่าช้าโดยที่ ต่อ เป็นหนึ่งใน
นามสกุลที่ระบุใน VH_DLYSFX.
-bdd ใช้ BDD (ไดอะแกรมการตัดสินใจแบบไบนารี) เพื่อแสดงนิพจน์ โดยใช้
ตัวเลือกนี้ทำให้การจำลองเร็วขึ้นสองเท่าแต่เพิ่มขึ้น
ความต้องการหน่วยความจำ
-c รันเฉพาะขั้นตอนการคอมไพล์
- คะแนน core_file เมื่อเกิดข้อผิดพลาดครั้งแรก ให้ดัมพ์สถานะของวงจรในทั้งสองอย่าง
ไฟล์ ascii (นามสกุล .cor) และไฟล์บันทึกไบนารี (นามสกุล .sav)
ซึ่งสามารถใช้เป็นไฟล์เริ่มต้นในเซสชันต่อไปได้ ถ้า
- เบื่อ มีการระบุตัวเลือกไฟล์รูปแบบด้วย
-dbg [sbpldc] เรียกดีบักเกอร์ (การใช้งานของนักพัฒนา)
-ความล่าช้าเริ่มต้น (-วว) เฉพาะความล่าช้าที่เป็นโมฆะ (ไม่มีส่วนหลังในไฟล์ VHDL) เท่านั้นที่จะถูกเปลี่ยน if
มีการระบุความล่าช้าที่มีคำอธิบายประกอบหรือความล่าช้าคงที่
- ความล่าช้าคงที่ ความคุ้มค่า (-fd มูลค่า)
ความล่าช้าของคำอธิบายทั้งหมดได้รับการแก้ไขเป็น ความคุ้มค่า.
-h แสดงไฟล์ช่วยเหลือนี้
-i ความคุ้มค่า เริ่มต้นสัญญาณทั้งหมดของคำอธิบายด้วย ความคุ้มค่า. ความคุ้มค่า ได้ 0
หรือ 1
-i บันทึกไฟล์ อ่านไฟล์บันทึกและใช้เพื่อเริ่มต้นสถานะของคำอธิบาย
ก่อนประมวลผลรูปแบบแรก (ชื่อไฟล์ไม่สามารถเป็น 1 หรือ 0)
- ตรวจสอบ อินสแตนซ์_name
สร้างไฟล์รูปแบบที่สอดคล้องกับอินเทอร์เฟซของอินสแตนซ์
ระบุโดย ชื่ออินสแตนซ์
-l n พิมพ์มากที่สุด n ตัวอักษรสำหรับป้ายรูปแบบ ค่าเริ่มต้นสำหรับ n
คือ 15
- เบื่อ ไม่สร้างไฟล์ผลลัพธ์
-p n โหลดสูงสุด n รูปแบบจากไฟล์รูปแบบอินพุตในแต่ละครั้ง ใช้สิ่งนี้
ฟีเจอร์ลดการจัดสรรหน่วยความจำเมื่อมีรูปแบบจำนวนมาก
ที่จะจำลอง นอกจากนี้หลังจาก n รูปแบบได้รับการประมวลผล
ผลการจำลองจะถูกพิมพ์ลงในไฟล์รูปแบบผลลัพธ์ NS
ค่าเริ่มต้นสำหรับ n คือ 0 ซึ่งทำให้โหลดไฟล์รูปแบบทั้งหมด
-t ติดตามสัญญาณเมื่อสร้าง BDD (การใช้งานของนักพัฒนา)
-ขนส่ง ใช้แบบจำลองการขนส่งล่าช้า (ค่าเริ่มต้นคือเฉื่อย)
-ซีโรเดล (-zd) ความล่าช้าทั้งหมดของคำอธิบาย VHDL ควรจะเป็นความล่าช้าที่เป็นโมฆะ
ตัวอย่าง
asimut -b -i init_add adder_32 adder_patterns res_add
จำลองคำอธิบายพฤติกรรมที่เก็บไว้ในไฟล์ชื่อ 'adder_32.vbe โดยใช้รูปแบบ
ไฟล์ `adder_patterns.pat' ผลการจำลองถูกเขียนลงใน 'res_add.pat' และ the
คำอธิบายเริ่มต้นด้วยค่าที่มีอยู่ใน 'init_add.sav'
วินิจฉัย
การลงทะเบียนการเริ่มต้นในไฟล์รูปแบบช่วยให้สามารถเปลี่ยนค่าของการลงทะเบียนเป็น
ค่าที่รู้จัก อย่างไรก็ตาม การใช้คุณสมบัตินี้เพื่อเริ่มต้นการลงทะเบียนก่อนดำเนินการ
ไม่แนะนำรูปแบบแรก ค่าลงทะเบียน (กำหนดโดยการกำหนดค่าเริ่มต้น
คำสั่ง) อาจถูกเขียนทับได้เนื่องจากคำอธิบายไม่มีสถานะที่สอดคล้องกันก่อนคำแรก
ลวดลาย
ใช้ asmut ออนไลน์โดยใช้บริการ onworks.net
