هذا هو الأمر lvx الذي يمكن تشغيله في مزود الاستضافة المجانية OnWorks باستخدام إحدى محطات العمل المجانية المتعددة على الإنترنت مثل Ubuntu Online أو Fedora Online أو محاكي Windows عبر الإنترنت أو محاكي MAC OS عبر الإنترنت
برنامج:
اسم
lvx - مقارنة القائمة الصافية المنطقية مقابل الممتدة
موجز
lvx شكل 1 شكل 2 اسم الملف 1 اسم الملف 2 [ -a ] [ -u ] [ -o ] [ -f ]
الوصف
lvx يقارن بين اثنين من قائمة الشبكة على مستوى البوابة أو مستوى الكتلة. الهدف هو مقارنة ملف
المواصفات net-list (logical net-list) ، المدخلات إلى أداة المكان والتوجيه ، مع
القائمة الصافية المادية (القائمة الصافية المستخرجة) التي حصل عليها أسد امريكي(1) مستخرج.
تعتبر net-list 1 هي net-list المنطقية و net-list 2 باعتبارها الشبكة المستخرجة-
قائمة.
lvx هي أداة هرمية ذات مستوى واحد:
يتم تسوية قائمتا الشبكة ، إذا كان -f الخيار موجود ، للخلايا المضمنة
في ملف الكتالوج. يشار إلى المسار إلى ملف الكتالوج في ملف
MBK_CATA_LIB(1) متغير لمكتبة الخلية وفي ملف MBK_WORK_LIB(1) متغير
مع اسم MBK_CATAL_NAME(1) لكتل المستخدم ( Catal(5)) أن لا تكون
المسطح.
لكل من net-list ، تعتبر المثيلات مربعات سوداء.
يجب أن يكون لقائمتا net-list نفس أسماء الموصلات الخارجية.
يجب أن يكون لقائمتا net-list نفس أسماء المثيلات.
يجب أن يكون لقائمتا الشبكة نفس أسماء الإشارات للإشارات غير المتصلة.
لا يمكن أن تحتوي القائمة الشبكية على ترانزستورات مباشرة.
يتم إجراء المقارنة في ثلاث خطوات:
قارن المحطات.
قارن الأمثلة.
قارن التوصيلات.
قارن بين الإشارات غير الموصولة.
في حالة حدوث خطأ أثناء الخطوة الأولى أو الثانية ، يتم عرض رسالة على الفور و
الخطوة الثالثة لن تبدأ: lvx لا يمكن مقارنة التوصيلات (الإشارات) إذا كانت المحطات الطرفية أو
الأمثلة ليست مكافئة.
• -o يسمح الخيار بطلب الموصلات إذا تم الوصول إلى الخطوات الموضحة من قبل
بنجاح. Extract_netlist ثم يتم حفظها على القرص. اسم الملف اسم الملف 2
تلحق بقيمة MBK_OUT_LO(1) متغير.
تضيف أجهزة التوجيه خلايا تغذية فارغة تلقائيًا. لا ينبغي أن تؤخذ في هذه الخلايا
حساب في المقارنة. الخلية التي تحتوي على الامتداد F السمة في ملف الكتالوج ( Catal
(5) ) بمثابة خلية تغذية ، ويتم حذفها في الذاكرة من قائمة الشبكة
حيث يظهر.
OPTIONS
-a تنشئ بعض أجهزة التوجيه تخطيطًا باستخدام موصلات مادية متعددة للطاقة والأرض
( VDD or VSS ). إذا لم تكن هذه الموصلات متصلة داخليًا ، فسيكون لديهم
أسماء مفهرسة مختلفة ( VDD1 , VDD2 الخ ...) في قائمة الشبكة المستخرجة. إنها
من الممكن إجراء تخفيض على موصلات الطاقة والأرض من قبل
المقارنة باستخدام الخيار -a. بعد الاختزال ، تحتوي كل حالة على واحد فقط
VDD موصل واحد VSS الموصل ، باعتباره الشكل الرئيسي.
-o في هذه الحالة، lvx ينتج قائمة شبكة معدلة (محفوظة بالاسم اسم الملف 2 ),
وهي نسخة من net-list 2 بموصلات مرتبة. المحطات والمثيل
يتم إعادة إدراج الموصلات بترتيب النماذج في net-list 1. الشبكة المحفوظة
القائمة مع MBK_OUT_LO(1) التنسيق ، لذلك يجب على المستخدم ضبط هذا المتغير من قبل
تشغيل lvx . إذا لم يفعل ذلك ، فسيتم استخدام القيمة الافتراضية ، وقد يتم فقد net-list 1
إذا كان اسم الملف متطابقًا وكان تنسيق الإدخال هو نفسه تنسيق الإخراج.
إذا تم استخدام الخيار -a ، فإن قائمة net-list المحفوظة هي قائمة net-list المختصرة بواحد فقط
VDD واحد VSS .
-u هذا الخيار القوة lvx للتحقق من تناسق الإشارات غير المخصصة بين ملفات
اثنان netlists.
-f يتم تسوية قائمتا الشبكة إلى الخلايا الطرفية الموجودة في ملف الكتالوج.
عادة ما تكون قائمة الشبكة المستخرجة عبارة عن قائمة صافي مسطحة ، بينما يمكن أن تكون القائمة المنطقية
قائمة شبكة هرمية.
أمثلة
بدافع logic_netlist اسمه amd2901.vst والموافق extracted_netlist as
يحتوي amd2901.al على موصلات طاقة متعددة ، وسطر الأوامر هو:
lvx vst آل amd2901 amd2901 -a
OUTPUT FILES
اسم الملف 2.xx تم حفظ عرض Netlist عندما يتم حفظ ملف -o الخيار موجود. تعتمد اللاحقة
على MBK_OUT_LO(1) متغير البيئة.
البيئة المتغيرات
MBK_CATA_LIB يحتوي على الدلائل حيث توجد مكتبات الخلية. MBK_WORK_LIB
يحتوي على مسار الدليل الخاص بدليل العمل ، وعادة ما يتم تعيينه على .
(نقطة).
MBK_OUT_LO يحتوي على التنسيق المتوقع لإخراج netlist.
MBK_CATAL_NAME يحتوي على اسم كتالوج خلية المستخدم.
استخدم lvx عبر الإنترنت باستخدام خدمات onworks.net