alliance-genpat - ออนไลน์ใน Cloud

โครงการ:

ชื่อ

เจนพัท, ตัวสร้างไฟล์รูปแบบขั้นตอน

เรื่องย่อ

เจนพัท [-วี] [-เค] [ไฟล์]

DESCRIPTION

พลพัฒน์ เป็นชุดของ C fonctions ที่อนุญาตให้มีคำอธิบายขั้นตอนของไฟล์รูปแบบการป้อนข้อมูล
สำหรับเครื่องจำลองตรรกะ อาซิมุต. ยูนิกซ์ เจนพัท คำสั่งยอมรับไฟล์ C เป็นอินพุตและ
สร้างไฟล์คำอธิบายรูปแบบเป็นเอาต์พุต ไม่อนุญาตให้มีนามสกุล ".c" NS
ไฟล์ที่สร้างโดย เจนพัท อยู่ในรูปแบบ pat ดังนั้นจึงขอแนะนำให้ดู ลูบ(5)
ก่อนคู่มือนี้

OPTIONS

-v โหมดละเอียด

-k ช่วยให้ปฏิบัติการพร้อมกับการรวบรวม Makefile หลังจากเสร็จสิ้น

เกนพัท ไฟล์ FORMAT

จากมุมมองของผู้ใช้ เจนพัท เป็นภาษาคำอธิบายรูปแบบโดยใช้มาตรฐาน C . ทั้งหมด
สิ่งอำนวยความสะดวก (รวมถึง, กำหนด, ตัวแปร, ลูป, ...) ฟงชั่นจัดให้โดย เจนพัท จะ
ใช้ตามลำดับที่กำหนด การใช้พวกเขาในลำดับที่แตกต่างกันจะไม่ทำให้ระบบขัดข้อง แต่จะ
ส่งผลให้เกิดข้อผิดพลาดในการดำเนินการ ต่อไปนี้เป็นคำอธิบายของไฟล์อินพุต

A ลูบ ไฟล์รูปแบบสามารถแบ่งออกเป็นสองส่วน: ส่วนการประกาศและคำอธิบาย

ส่วนการประกาศคือรายการอินพุต เอาต์พุต สัญญาณภายใน และรีจิสเตอร์
ข้อมูลป้อนเข้าจะถูกบังคับให้มีค่าที่แน่นอนและต้องสังเกตข้อมูลอื่น ๆ ทั้งหมดในระหว่าง
การจำลอง

ส่วนคำอธิบายคือชุดของรูปแบบ โดยแต่ละรูปแบบจะกำหนดค่าของอินพุต
และเอาท์พุต หมายเลขรูปแบบแสดงถึงเวลาที่แน่นอนจริงสำหรับเครื่องจำลอง

ในทำนองเดียวกัน เจนพัท ไฟล์สามารถแบ่งออกเป็นสองส่วน: ส่วนการประกาศและคำอธิบาย
ฟังก์ชันที่เกี่ยวข้องกับการประกาศจะต้องถูกเรียกก่อนฟังก์ชันที่เกี่ยวข้องกับ
ส่วนคำอธิบาย

การประกาศ ส่วนหนึ่ง
สิ่งแรกที่คุณควรทำในส่วนนี้คือการตั้งชื่อไฟล์ที่ส่งออก
(ดู DEF_GENPAT(3)). จากนั้นส่วนนี้จะช่วยให้คุณประกาศอินพุต, the
ผลลัพธ์และจุดสังเกตภายใน (ดู ประกาศ(3)). นอกจากนี้ยังสามารถ
สร้างอาร์เรย์เสมือน (ดู อาร์เรย์(พ.ศ. 3)).

ลักษณะ ส่วนหนึ่ง
หลังจากประกาศสัญญาณทั้งหมดแล้ว คุณสามารถเริ่มกำหนดค่าอินพุตซึ่งก็คือ
เพื่อนำไปใช้กับอินพุตของวงจรหรือค่าเอาต์พุตที่จะ
เปรียบเทียบกับค่าที่เกิดขึ้นระหว่างการจำลอง (ดู ส่งผลกระทบ(3)). พลพัฒน์
อธิบายสิ่งเร้าตามเหตุการณ์ : อธิบายเฉพาะการเปลี่ยนสัญญาณเท่านั้น นี้
ส่วนนี้ยังช่วยให้คุณสามารถให้คำแนะนำกับเครื่องมือจำลองเพื่อบันทึก
สถานะของวงจรเมื่อสิ้นสุดการจำลอง (ดู บันทึก(3)). สิ่งสุดท้ายที่คุณ
ควรทำในส่วนนี้คือการสร้างไฟล์เอาท์พุต (ดู SAV_GENPAT(พ.ศ. 3)).

ฟังก์ชั่น

DEF_GENPAT() กำหนดชื่อไฟล์ที่ส่งออก

SAV_GENPAT() ทำให้ไฟล์เอาต์พุตถูกสร้างขึ้น

ประกาศ () ประกาศอินพุต เอาต์พุต และจุดสังเกตภายใน

อาร์เรย์() อนุญาตให้จัดกลุ่มสัญญาณประเภทเดียวกันใน "อาร์เรย์เสมือน" ใน
เพื่อบรรเทาการยักย้ายถ่ายเท

ในนั้น() เปลี่ยนค่าของการลงทะเบียนระหว่างสองรูปแบบ

ส่งผลกระทบ() กำหนดค่าให้กับสัญญาณที่หมายเลขรูปแบบที่กำหนด ค่านี้จะถูกเก็บไว้
บนสัญญาณจนกว่าจะกำหนดค่าใหม่ให้กับสัญญาณ

บันทึก() แจ้งเครื่องมือจำลองเพื่อบันทึกสถานะของวงจรเมื่อสิ้นสุด
จำลอง

ฉลาก() ให้ป้ายกำกับกับรูปแบบปัจจุบัน

GETCPAT() ส่งคืนหมายเลขของรูปแบบปัจจุบัน

ตัวอย่าง

#รวม
#รวม "genpat.h"

ถ่าน *inttostr(ทั้งหมด)
ภายใน;
{
ถ่าน *str;
str = (ถ่าน *) mbkalloc (32 * sizeof (ถ่าน));
sprintf (str "%d",entier);
ผลตอบแทน(str);
}
/*------------------------------------*/
/* สิ้นสุดคำอธิบาย */
/*------------------------------------*/

หลัก ()
{
int ฉัน;
int เจ;
int cur_vect = 0;

DEF_GENPAT("ตัวอย่าง");

/* อินเตอร์เฟซ */
DECLAR ("a", ":2", "X", IN, "3 downto 0", "" );
DECLAR ("b", ":2", "X", IN, "3 downto 0", "" );
DECLAR ("s", ":2", "X", OUT, "3 downto 0", "" );
ประกาศ ("vdd", ":2", "B", IN, "", "" );
DECLAR ("vss", ":2", "B", IN, "", "" );

LABEL ("แอดเดอร์");
ส่งผลกระทบ ("0", "vdd", "0b1");
ส่งผล ("0", "vss", "0b0");

สำหรับ (i=0; i<16; i++)
{
สำหรับ (j=0; j<16; j++)
{
ผลกระทบ (inttostr(cur_vect), "a", inttostr(i) );
ผลกระทบ (inttostr(cur_vect), "b", inttostr(j) );
cur_vect++;
}
}

SAV_GENPAT ();
}

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

พลพัฒน์ อ่านตัวแปรสภาพแวดล้อม VH_PATSFX เพื่อให้ไฟล์ผลลัพธ์มีนามสกุล

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