این دستور fsp است که می تواند در ارائه دهنده هاست رایگان OnWorks با استفاده از یکی از چندین ایستگاه کاری آنلاین رایگان ما مانند Ubuntu Online، Fedora Online، شبیه ساز آنلاین ویندوز یا شبیه ساز آنلاین MAC OS اجرا شود.
برنامه:
نام
fsp - اثبات رسمی بین دو توصیف FSM
خلاصه
FSP [-V] قالب 1 قالب 2 file1 file2
شرح
ساخته شده برای اجرا بر روی توضیحات FSM، FSP از همان زیرمجموعه VHDL مانند syf پشتیبانی می کند (برای اطلاعات بیشتر
اطلاعات مربوط به این زیر مجموعه را ببینید SYF(1) و FSM(5). FSP از یک باینری مرتب شده کاهش یافته استفاده می کند
نمودارهای تصمیم گیری، محصول دو توصیف FSM را نشان می دهد و محاسبه می کند.
پس از این مرحله، محصول FSM حاصل را بررسی می کند و به طور رسمی معادل بودن را ثابت می کند
بین دو توصیف اولیه FSM. این دو توصیف باید یکسان باشند
رابط (واحد VHDL).
محیط زیست متغیرها
MBK_WORK_LIB مسیر توضیحات FSM را نشان می دهد. مقدار پیش فرض جریان است
دایرکتوری.
MBK_CATA_LIB برخی از مسیرهای کمکی برای توضیحات FSM ارائه می دهد. مقدار پیش فرض است
دایرکتوری فعلی
OPTIONS
-V حالت پرحرف را روشن می کند. هر مرحله از اثبات رسمی بر روی استاندارد نمایش داده می شود
خروجی.
مثال
fsp fsm fsm digi digi2
با استفاده از خدمات onworks.net از fsp آنلاین استفاده کنید