هذا هو أمر Alliance-genpat الذي يمكن تشغيله في موفر الاستضافة المجاني OnWorks باستخدام إحدى محطات العمل المجانية المتعددة عبر الإنترنت مثل Ubuntu Online أو Fedora Online أو محاكي Windows عبر الإنترنت أو محاكي MAC OS عبر الإنترنت
برنامج:
اسم
genpat، مولد ملف النمط الإجرائي
موجز
genpat [-الخامس] [-ك] [ملف]
الوصف
جينبات عبارة عن مجموعة من وظائف لغة C التي تسمح بالوصف الإجرائي لملف نمط الإدخال
لمحاكاة المنطق أسيموت. يونكس genpat يقبل الأمر ملف C كمدخل و
ينتج ملف وصف النمط كإخراج. لا ينبغي إعطاء الامتداد ".c". ال
ملف تم إنشاؤه بواسطة genpat بتنسيق pat، لذا يوصى بشدة برؤيته بات5
قبل هذا الدليل.
OPTIONS
-v وضع مفصل
-k يحتفظ بالملف القابل للتنفيذ مع التجميع Makefile بعد الانتهاء
جينبات FILE FORMAT
من وجهة نظر المستخدم، genpat هي لغة وصف النمط باستخدام جميع معايير C
المرافق (تشمل، تحدد، المتغيرات، الحلقة، ...). الوظائف المقدمة من genpat هي ل
استخدامها في ترتيب معين. إن استخدامها بترتيب مختلف لن يؤدي إلى تعطل النظام، ولكنه سيفعل ذلك
يؤدي إلى أخطاء في التنفيذ. فيما يلي وصف لملف الإدخال.
A بات يمكن تقسيم ملف التنسيق إلى قسمين: جزء الإعلان والوصف.
جزء الإعلان هو قائمة المدخلات والمخرجات والإشارات الداخلية والسجلات.
يجب إجبار المدخلات على قيمة معينة ويجب مراعاة جميع المدخلات الأخرى أثناء ذلك
محاكاة.
جزء الوصف عبارة عن مجموعة من الأنماط، حيث يحدد كل نمط قيمة المدخلات
والمخرجات. يمثل رقم النمط في الواقع الوقت المطلق لجهاز المحاكاة.
وبالمثل، أ genpat يمكن تقسيم الملف إلى قسمين: جزء الإعلان والوصف.
يجب استدعاء الوظائف المتعلقة بالإعلان قبل أي وظيفة تتعلق بالإعلان
جزء الوصف.
إعلان جزء
أول شيء يجب عليك فعله في هذا الجزء هو إعطاء اسم ملف الإخراج
(انظر DEF_GENPAT(3)). بعد ذلك، يسمح لك هذا الجزء بإعلان المدخلات، و
المخرجات ونقاط المراقبة الداخلية (انظر أعلن(3)). ومن الممكن أيضا أن
إنشاء مصفوفات افتراضية (انظر مجموعة مصفوفة(3)).
وصف جزء
بعد أن يتم الإعلان عن جميع الإشارات، يمكنك البدء في تحديد قيم الإدخال التي
ليتم تطبيقها على مدخلات الدائرة أو قيم الإخراج التي سيتم
مقارنة مع القيم المنتجة أثناء المحاكاة. (يرى يؤثر(3)). جينبات
يصف التحفيز حسب الحدث: يتم وصف انتقالات الإشارة فقط. هذا
يسمح لك الجزء أيضًا بإعطاء تعليمات لأداة المحاكاة لحفظ الملف
حالة الدائرة في نهاية المحاكاة. (يرى حفظ(3)). آخر شيء عليك
ما يجب فعله في هذا الجزء هو إنشاء ملف الإخراج (انظر SAV_GENPAT(3)).
وظائف
DEF_GENPAT() يحدد اسم ملف الإخراج.
SAV_GENPAT() جعل يتم إنشاء ملف الإخراج
أعلن () يعلن عن المدخلات والمخرجات ونقاط المراقبة الداخلية.
مجموعة مصفوفة() يسمح بتجميع الإشارات من نفس النوع في "مصفوفة افتراضية".
لتسهيل التلاعب بهم
فيه() يغير قيم السجلات بين نمطين.
يؤثر() يعين قيمة للإشارة، في رقم نمط معين. يتم الاحتفاظ بهذه القيمة
على الإشارة حتى يتم تعيين قيمة جديدة للإشارة.
يحفظ() يُعلم أداة المحاكاة بحفظ حالة الدائرة في نهاية
محاكاة
ملصق() يعطي تسمية للنمط الحالي
جيتكبات () إرجاع رقم النمط الحالي
أمثلة
#يشمل
#تشمل "genpat.h"
شار *inttostr(كامل)
كثافة العمليات؛
{
شار * شارع؛
str = (char *) mbkalloc (32 * sizeof (char));
sprintf (str, "%d",entier);
العودة (شارع)؛
}
/*-----------------------------*/
/*نهاية الوصف*/
/*-----------------------------*/
رئيسي ()
{
أنا
الباحث ي
int cur_vect = 0;
DEF_GENPAT("مثال");
/* واجهه المستخدم */
أعلن ("a"، ":2"، "X"، IN، "3 وصولاً إلى 0"، "" );
DECLAR ("b"، ":2"، "X"، IN، "3 وصولاً إلى 0"، "" );
أعلن ("s"، ":2"، "X"، OUT، "3 وصولا إلى 0"، "" );
أعلن ("vdd"، ":2"، "B"، IN، ""، "")؛
أعلن ("vss"، ":2"، "B"، IN، ""، "")؛
التسمية ("الأفعى")؛
تؤثر ("0"، "vdd"، "0b1")؛
تؤثر ("0"، "vss"، "0b0")؛
لـ (i=0;i<16;i++)
{
لـ (ي=0؛ ي<16؛ ي++)
{
تؤثر (inttostr(cur_vect), "a", inttostr(i) );
تؤثر (inttostr(cur_vect), "b", inttostr(j) );
cur_vect++;
}
}
SAV_GENPAT ()؛
}
البيئة المتغيرات
جينبات يقرأ متغير البيئة VH_PATSFX لمنح الملف الناتج امتدادًا.
استخدم Alliance-genpat عبر الإنترنت باستخدام خدمات onworks.net
