boog - ออนไลน์ในคลาวด์

โครงการ:

ชื่อ

BooG - ผูกมัดและเพิ่มประสิทธิภาพบนเกตส์

เรื่องย่อ

เบื่อ [-hmxold] อินพุต_ไฟล์ เอาต์พุต_ไฟล์ [lax_file]

DESCRIPTION

เบื่อ เป็นตัวแมปของคำอธิบายพฤติกรรมบนไลบรารีเซลล์มาตรฐานที่กำหนดไว้ล่วงหน้าเป็น
SXLIB. เป็นขั้นตอนที่สองของการสังเคราะห์ตรรกะ: สร้างเครือข่ายเกทโดยใช้a
ไลบรารีเซลล์มาตรฐาน

อินพุต ไฟล์ ลักษณะ
คำอธิบายพฤติกรรมระดับตรรกะ (ไฟล์ .vbe) ใช้ชุดย่อย VHDL เดียวกันกับตรรกะ
จำลอง อะซิมุท, ซินธิไซเซอร์ FSM ซิฟ, ฟังก์ชัน abstractor เยเกิล และเป็นทางการ
พิสูจน์ พิสูจน์ (สำหรับข้อมูลเพิ่มเติมเกี่ยวกับชุดย่อยของ VHDL โปรดดูคู่มือ "vbe")
มีข้อจำกัดบางประการเนื่องจากการแมปฮาร์ดแวร์ แอตทริบิวต์เหล่านี้รองรับโดย .เท่านั้น
การทำแผนที่เทคโนโลยีบนไลบรารีเซลล์มาตรฐานเช่น sxlib.
สำหรับคำอธิบายสัญญาณรีจิสเตอร์ ต้องแสดงคำสั่งเงื่อนไขเพียงคำสั่งเดียว ต้องมีเสถียรภาพ
ใช้อย่างเคร่งครัดเป็นการเคลื่อนไหวเชิงลบและเข้าร่วมกับค่าการตั้งค่านาฬิกา สามารถเปิดการตั้งค่าได้
ค่าสูงหรือต่ำ แต่ก็คุ้มค่าที่จะเลือกตามฮาร์ดแวร์ลงทะเบียน
เซลล์
# ตัวอย่าง
ป้ายกำกับ: BLOCK (ไม่ใช่ ck 'STABLE and ck='1')
เริ่ม
reg <= expr ที่ได้รับการปกป้อง;
จบบล็อก;

คุณยังสามารถใส่เงื่อนไขการเปิดใช้งานการเขียนลงในการลงทะเบียนของคุณ:
ป้ายกำกับ: BLOCK (ไม่ใช่ ck 'STABLE and ck='1' and wen='1')
เริ่ม
reg <= expr ที่ได้รับการปกป้อง;
จบบล็อก;

มีการแนะนำคุณสมบัติพิเศษในชุดย่อย VHDL เพื่อให้ไม่สนใจ
คำอธิบายสำหรับเอาต์พุตภายนอกและการลงทะเบียนภายใน : สัญญาณบิตสามารถใช้ 'd'
ค่า. ค่านี้ถูกตีความว่าเป็น '0' โดยตัวจำลองตรรกะ อะซิมุท. ไม่สนใจคือ
สร้างโดยอัตโนมัติโดย ซิฟ ในไฟล์ '.vbe' ที่เป็นผลลัพธ์

เอาท์พุต ไฟล์ ลักษณะ
เซลล์ netlist มาตรฐานบริสุทธิ์ผลิตโดย เบื่อ. ไฟล์นี้มีไว้สำหรับ /fBloon/fP
ยูทิลิตี้พันธมิตรเพื่อปรับปรุงความล่าช้า RC ศักย์ไฟฟ้าใด ๆ ทำให้ชื่อของมันจากตัวเชื่อมต่อไปยัง
ตัวเชื่อมต่อ ในกรณีที่มีปัญหา มีการใส่บัฟเฟอร์เพื่อให้สอดคล้องกับข้อจำกัด VHDL นี้

หละหลวม พารามิเตอร์ ไฟล์ ลักษณะ
ไฟล์ lax เป็นเรื่องปกติกับเครื่องมือการสังเคราะห์ลอจิกอื่น ๆ และใช้สำหรับขับเคลื่อน
กระบวนการสังเคราะห์ ดู หละหลวม(5) คู่มือสำหรับรายละเอียดเพิ่มเติม

หละหลวม ใช้พารามิเตอร์จำนวนมากเพื่อเป็นแนวทางในทุกขั้นตอนของกระบวนการสังเคราะห์ บาง
มีการใช้พารามิเตอร์ทั่วโลก (เช่น การเพิ่มประสิทธิภาพ ระดับ ในขณะที่คนอื่น ๆ
ใช้เฉพาะ (โหลด ปริมาตร สำหรับการเพิ่มประสิทธิภาพ netlist เท่านั้น) ที่นี่คือ
ไฟล์ lax เริ่มต้น (ดูคู่มือผู้ใช้สำหรับข้อมูลเพิ่มเติมเกี่ยวกับไวยากรณ์ของ
ไฟล์ '.lax'):

โหมดการเพิ่มประสิทธิภาพ = 2 (พื้นที่ 50% - ล่าช้า 50%)
อิมพีแดนซ์อินพุต = 0
ความจุเอาต์พุต = 0
อินพุตล่าช้า = none
บันทึกสัญญาณเสริม = none

การทำแผนที่ สีสดสวย a มาตรฐาน เซลล์ ห้องสมุด
ทุกเซลล์ที่ปรากฏในไดเร็กทอรีที่กำหนดโดยตัวแปรสภาพแวดล้อม MBK_TARGET_LIB
สามารถใช้โดย เบื่อ เนื่องจากถูกอธิบายว่าเป็นไฟล์ '.vbe' มีข้อจำกัดบางประการ
เกี่ยวกับประเภทเซลล์ที่ใช้ ทุกเซลล์ต้องมีเอาต์พุตเดียว เซลล์จะต้อง
ลักษณะ. ข้อมูลเวลาและพื้นที่ที่ต้องการโดย เบื่อ ระบุไว้ใน
ส่วนคำสั่ง "ทั่วไป" ของไฟล์ ".vbe"

ทางเลือกที่

-h โหมดช่วยเหลือ แสดงการใช้งานที่เป็นไปได้ของ เบื่อ.

-m optim_mode
โหมดการเพิ่มประสิทธิภาพ สามารถกำหนดเป็นไฟล์ lax ได้ เป็นเพียงทางลัดในการกำหนด
บนบรรทัดคำสั่ง หมายเลขโหมดนี้มีอาร์เรย์ที่กำหนดไว้ระหว่าง 0 และ 4. มัน
ระบุวิธีการเพิ่มประสิทธิภาพที่ผู้ใช้ต้องการ ถ้า 0 ถูกเลือกวงจร
พื้นที่จะได้รับการปรับปรุง ในทางกลับกัน, 4 จะปรับปรุงความล่าช้าของวงจร 2 คือ
ค่ากลางสำหรับการเพิ่มประสิทธิภาพ

-x xsch_mode
สร้างไฟล์ '.xsc' เป็นแผนที่สีสำหรับแต่ละสัญญาณที่มีอยู่ใน
เอาต์พุต_ไฟล์ เครือข่าย ไฟล์นี้ถูกใช้โดย xsch เพื่อดูรายการเน็ต โดยเลือก
ระดับ 0 หรือ 1 สำหรับ xsch_mode คุณสามารถระบายสีเส้นทางวิกฤตหรือทั้งหมดได้ตามลำดับ
สัญญาณที่มีการสำเร็จการศึกษาล่าช้า

-o เอาต์พุต_ไฟล์
เป็นอีกวิธีหนึ่งในการแสดงให้ชัดเจน VST ชื่อไฟล์ที่ส่งออก

-l lax_file
เป็นอีกวิธีหนึ่งในการแสดงให้ชัดเจน LAX ชื่อไฟล์พารามิเตอร์

-d debug_file
สร้าง VBEDebug ไฟล์ It มา จาก ภายใน ผล ขั้นตอนวิธี ล้านคน ไม่ใช่
เกี่ยวข้อง

และพวกเรา ตัวแปร

ต้องตั้งค่าตัวแปรสภาพแวดล้อมต่อไปนี้ก่อนใช้ เบื่อ :

MBK_CATA_LIB ให้เส้นทางเสริมของไดเร็กทอรีของไฟล์อินพุต (behavioural
คำอธิบาย).

MBK_TARGET_LIB ให้พา ธ (เดี่ยว) ของไดเร็กทอรีของเซลล์มาตรฐานที่เลือก
ห้องสมุด.

มาบุญครอง_OUT_LO ให้รูปแบบผลลัพธ์ของคำอธิบายโครงสร้าง

ตัวอย่าง

คุณสามารถโทร เบื่อ ดังต่อไปนี้:
บูกอะลูอะลู

ใช้ boog ออนไลน์โดยใช้บริการ onworks.net