هذا هو الأمر asimut الذي يمكن تشغيله في موفر الاستضافة المجاني OnWorks باستخدام إحدى محطات العمل المجانية المتعددة عبر الإنترنت مثل Ubuntu Online أو Fedora Online أو محاكي Windows عبر الإنترنت أو محاكي MAC OS عبر الإنترنت
برنامج:
اسم
اسيموت - أداة محاكاة لأوصاف الأجهزة
موجز
اسيموت [خيارات] [ملف_الجذر] [ملف_النمط] [result_file]
الوصف
اسيموت هي أداة محاكاة منطقية لأوصاف الأجهزة. يقوم بتجميع وتحميل ملف
وصف كامل للأجهزة مكتوب بلغة VHDL (دوائر متكاملة عالية السرعة جدًا
لغة وصف الأجهزة). قد يكون وصف الأجهزة هيكليًا (تسلسل هرمي
الحالات) أو السلوكية. يتم دعم مجموعة فرعية فقط من VHDL. الأوصاف التي لا
مطابقة هذه المجموعة الفرعية تسبب خطأ في بناء الجملة أثناء الترجمة. يرى vhdl5 للحصول على التفاصيل
معلومات حول المجموعة الفرعية المدعومة من VHDL.
بمجرد تحميل وصف الأجهزة، اسيموت يبحث عن وصف نمط المحاكاة
ملف. يجب كتابة هذا الملف بات شكل. يتم تجميع الملف وتحميله وربطه
مع وصف الأجهزة. وبعد ذلك، تبدأ عملية المحاكاة. عندما تكون الأنماط
تمت معالجتها، ملف نتيجة في بات يتم إنتاج التنسيق.
إذا تم طلب إجراء حفظ في ملف وصف النمط (انظر بات 5), اسيموت
ينشئ أيضًا ملف حفظ يمثل حالة الوصف في نهاية الملف
محاكاة النمط الأخير. تم تسمية ملف الحفظ root_file.ساف، حيث root_file is
اسم الوصف.
يمكن استخدام ملف الحفظ في تسلسل محاكاة لاحق لتهيئة حالة الملف
(نفس) وصف الأجهزة قبل بدء المحاكاة. باستخدام هذه الآلية، كبير
يمكن تقسيم تسلسل الأنماط إلى عدة تسلسلات صغيرة، كل منها قيد التهيئة
وصف الجهاز مع ملف الحفظ نتج عن التسلسل السابق.
اسيموت يقرأ عدة معلمات من متغيرات البيئة:
MBK_CATA_LIB قائمة الدلائل التي تحتوي على ملفات الوصف والنمط (باستخدام
بناء جملة $PATH). المسار الافتراضي هو الدليل الحالي (انظر MBK(1)).
MBK_WORK_LIB يحدد دليل العمل الحالي. دليل العمل
يحدد المكان الذي تتم فيه كتابة جميع ملفات الإخراج.
MBK_CATAL_NAME يشير إلى الملف الذي تم إدراج ملفات الوصف السلوكي فيه.
يستخدم هذا الملف لأوراق الخلايا ذات الوصف الهيكلي
MBK(1))
MBK_IN_LO امتداد الملف للكيان الهيكلي. (ارى MBK(1))
VH_BEHSFX قائمة امتدادات الملفات للكيانات السلوكية (باستخدام بناء جملة $PATH).
امتداد الملف الافتراضي هو vbe.
VH_PATSFX قائمة امتدادات الملفات لكيانات وصف النمط (باستخدام $PATH
بناء الجملة). امتداد الملف الافتراضي هو بات.
VH_DLYSFX قائمة امتدادات الملفات لكيانات وصف التأخير (باستخدام $PATH
بناء الجملة). امتداد الملف الافتراضي هو دلي.
VH_MAXERR الحد الأقصى لعدد الأخطاء المسموح بها خلال مرحلة المحاكاة. إذا
يصل عدد الأخطاء التي حدثت أثناء المحاكاة إلى VH_MAXERR، اسيموت
يوقف المحاكاة في نهاية معالجة النمط الحالي.
تظل الأنماط التي تتبع النمط الحالي غير معالجة وهي كذلك
مستنسخة في ملف النتيجة. القيمة الافتراضية ل VH_MAXERR هو 10.
root_file هو اسم الوصف.
افتراضيا اسيموت يبحث عن وصف هيكلي. يستخدم MBK_IN_LO بيئة
المتغيرات لتحديد كل من تنسيق وامتداد ملفات الوصف الهيكلي.
لتحميل ملفات VHDL الهيكلية MBK_IN_LO يجب ضبطه على VST.
لتحميل وصف سلوكي خالص -b يجب تحديد الخيار. في مثل هذه الحالة اسيموت
يقوم بتحميل ملف وصف VHDL لتدفق البيانات. ال VH_BEHSFX متغير البيئة يعطي
الامتدادات التي سيتم استخدامها.
ملف_نمط هو اسم الكيان لوصف النمط. الملف الذي يحتوي على هذا
يجب تسمية الكيان Pattern_file.ext ، حيث تحويلة هو أحد الامتدادات المحددة في
VH_PATSFX.
result_file هو ملف النتيجة التي تنتجها اسيموت. الملف الناتج هو نمط
ملف الوصف بالملحق المحدد بواسطة VH_PATSFX.
OPTIONS
-b النظر في root_file الوصف كوصف سلوكي
-تأخر خلفي [دقيقة، كحد أقصى، اكتب] تأخير_ملف
استخدام الملف Delay_file.ext للتأخير التعليق التوضيحي، حيث تحويلة هي واحدة من
الامتداد المحدد في VH_DLYSFX.
-bdd استخدم BDDs (مخطط القرار الثنائي) لتمثيل التعبيرات. استخدام
هذا الخيار يجعل المحاكاة أسرع مرتين ولكنها تزيد
متطلبات الذاكرة
-c تشغيل مرحلة التجميع فقط
-النواة core_file عند حدوث الخطأ الأول، قم بتفريغ حالة الدائرة في كليهما
ملف ascii (ملحق .cor) وملف حفظ ثنائي (ملحق .sav)
والتي يمكن استخدامها كملف تهيئة في جلسة أخرى. إذا
-نورس يتم تحديد الخيار ويتم إنتاج ملف النمط أيضًا.
-دبج[سببلدك] استدعاء مصحح الأخطاء (استخدام المطور)
-التأخير الافتراضي (-د) يتم تغيير التأخيرات الفارغة فقط (لا توجد جملة بعد في ملف VHDL) إذا
يتم تحديد التأخيرات ذات التعليقات التوضيحية أو التأخيرات الثابتة.
- تأخير ثابت قيمنا (-فد القيمة)
يتم إصلاح كافة التأخير في الوصف ل قيمنا.
-h عرض ملف المساعدة هذا
-i قيمنا تهيئة كافة إشارات الوصف مع قيمنا. القيم يمكن أن يكون 0
أو 1
-i احفظ الملف اقرأ ملف الحفظ واستخدمه لتهيئة حالة الوصف
قبل معالجة النموذج الأول (لا يمكن أن يكون اسم الملف 1 أو 0)
-فحص اسم المثيل
إنتاج ملف نمط يتوافق مع واجهة المثيل
التي حددتها اسم المثيل
-l n طباعة على الأكثر n أحرف لتسميات النمط. القيمة الافتراضية ل n
هو 15.
-نورس لا تولد ملف النتيجة
-p n تحميل على الأكثر n أنماط من ملف نمط الإدخال في كل مرة. باستخدام هذا
تعمل الميزة على تقليل تخصيص الذاكرة عند وجود عدد كبير من الأنماط
ليتم محاكاتها. وبالإضافة إلى ذلك بعد n تمت معالجة الأنماط،
تتم طباعة نتيجة المحاكاة في ملف نمط النتيجة. ال
القيمة الافتراضية لـ n هو 0 مما يجعل ملف النمط بأكمله يتم تحميله.
-t تتبع الإشارات عند إنشاء BDDs (استخدام المطور).
-ينقل استخدم نموذج تأخير النقل (الافتراضي هو بالقصور الذاتي).
-تأخير الصفر (-زد) من المفترض أن تكون كافة التأخيرات الخاصة بوصف VHDL عبارة عن تأخيرات فارغة.
مثال
asimut -b -i init_add adder_32 adder_patterns res_add
يحاكي الوصف السلوكي الموجود في الملف المسمى "adder_32.vbe" باستخدام النمط
ملف "adder_patterns.pat". تتم كتابة نتائج المحاكاة في "res_add.pat" وملف
تتم تهيئة الوصف بالقيم الموجودة في "init_add.sav".
DIAGNOSTICS
تسمح عمليات تهيئة السجل في ملف النمط بتغيير قيمة السجل إلى
قيمة معروفة. ومع ذلك، فإن استخدام هذه الميزة لتهيئة السجل قبل تنفيذ الأمر
لا ينصح بالنمط الأول. قيمة السجلات (المحددة بواسطة ملف التهيئة
بيان) يمكن الكتابة فوقه لأن الوصف ليس له حالة متماسكة قبل الأول
.
استخدم asimut عبر الإنترنت باستخدام خدمات onworks.net