هذا هو الأمر fsp الذي يمكن تشغيله في مزود الاستضافة المجانية OnWorks باستخدام إحدى محطات العمل المجانية المتعددة عبر الإنترنت مثل Ubuntu Online أو Fedora Online أو محاكي Windows عبر الإنترنت أو محاكي MAC OS عبر الإنترنت
برنامج:
اسم
fsp - إثبات رسمي بين وصفين من ولايات ميكرونيزيا الموحدة
موجز
منتدى ساو باولو [-V] شكل 1 شكل 2 file1 file2
الوصف
صُممت لتعمل وفقًا لأوصاف ولايات ميكرونيزيا الموحدة ، منتدى ساو باولو يدعم نفس المجموعة الفرعية من VHDL مثل syf (لمزيد من المعلومات
انظر المعلومات حول هذه المجموعة الفرعية SYF(1) و FSM(5)). منتدى ساو باولو يستخدم ثنائي مخفض الترتيب
تمثيل مخططات القرار وحساب ناتج أوصاف ولايات ميكرونيزيا الموحدة.
بعد هذه الخطوة ، تستكشف منتج FSM الناتج وتثبت التكافؤ رسميًا
بين أوصاف ولايات ميكرونيزيا الموحدة الأولية. يجب أن يكون لهذين الوصفين نفس الشيء
واجهة (كيان VHDL).
البيئة المتغيرات
MBK_WORK_LIB يعطي المسار لأوصاف ولايات ميكرونيزيا الموحدة. القيمة الافتراضية هي الحالية
الدليل.
MBK_CATA_LIB يعطي بعض المسارات المساعدة لأوصاف ولايات ميكرونيزيا الموحدة. النظام الأساسي
الدليل الحالي.
OPTIONS
-V يضبط الوضع المطول على. يتم عرض كل خطوة من خطوات الإثبات الرسمي على المعيار
الناتج.
مثال
fsp fsm fsm digi2
استخدم fsp عبر الإنترنت باستخدام خدمات onworks.net