بخشی از پاورپوینت
اسلاید 1 :
کاربرد مدل در طراحی و توصیف VHDL مدلهای FSM، EFSMو Petri-Net
اسلاید 2 :
ماشین حالت محدود (FSM)
نمایش یک ماشین حالت محدود در حالت کلی
Guard: یک شرط گذر (یک عبارت با مقدار بولین)
Action: مشخص میکند چه خروجیای تولید میشود (در پاسخ به درست بودن شرط)
اسلاید 3 :
ماشین حالت محدود (FSM)
مثال: مدل ترموستات با سیکل هیسترزیس
اسلاید 4 :
ماشین حالت محدود (FSM)
مثال: مدل شمارنده ورود و خروج یک پارکینگ
اگر تعداد حالات خیلی زیاد شود نمایش گرافیکی آن نا مناسب میشود
اسلاید 5 :
ماشین حالته توسعه یافته
یک سری متغیر میتواند به خلاصهسازی حالتها کمک کند
اسلاید 6 :
ماشین حالت توسعه یافته
مثال: مدل ماشین حالت توسعه یافتهی شمارندهی گاراژ
اسلاید 7 :
نمونه ماشین حالته توسعه یافته
کنترل چراغ راهنمای برای خیابان در تقاطع عبور عابر
در حالت سبز میماند تا عابر پیاده درخواست دهد
اسلاید 8 :
تمرین
مدار مبدل ADC به شکل زیر با استفاده از یکDAC ساخته میشود.
تبدیل با استفاده از روش تقریب متوالی انجام میشود.
مدار کنترلر آن را طراحی کنید ابتدا FSM یا EFSM آن را رسم کنید.
اسلاید 9 :
تمرین
مدار یک تایمر 8 بیتی به شکل زیر را در نظر بگیرید:
کد VHDL معادل آن را بنویسید
اسلاید 10 :
یک بافر (میانگیر) با ظرفیت یک بایت
ورودیها شامل:
IR: Input Ready
OR: Output Ready
خروجیها شامل:
BF: Buffer Full
BE: Buffer Empty
اسلاید 11 :
یک بافر (میانگیر) با ظرفیت n بایت
ارتباط FSM های مجاور پتری نت
اسلاید 12 :
شبکه پتری
شبکه پتری را میتون ترکیبی از چند ماشین حالت در نظر گرفت.
لزوما یک حالت جاری ندارد. (وجود چند توکن)
برای مدلسازی سیستم های همروند مفید است.
قابلیت اجرا (شبیه سازی)
اجزای شبکه پتری
مکانها (که با دایره نشان داده میشود)
گذرها (که با مستطیل نشان داده میشود)
کمانها (P2T که برای اتصال مکان به گذرو T2Pکه برای اتصال گذر به مکان)
توکن (که با یک نقطه سیاه تو پر نشان داده میشود)
اسلاید 13 :
شبکه پتری
قوانین توانا شدن
تمام مکانهای ورودی حاوی توکن باشند
مکانهای خروجی ظرفیت خالی داشته باشند
قوانین آتش شدن
از تمام مکانهای ورودی توکن بر میدارد
به تمام مکانهای خروجی توکن داده میشود.
در ادامه مدل اتصال زنجیرهای ماشین های حالت چند بافر را ملاحظه میکنید
اسلاید 14 :
اتصال زنجیرهای ماشینهای حالت چند بافر
اسلاید 15 :
ارتباط آسنکرون
چرا آسنکرون
بر طرف شدن مشکل تاخیر توزیع کلاک
مصرف توان کمتر بخاطر حذف کلاک
سرعت بیشتر
ارتباط 4 فاز کامل
اسلاید 16 :
یک بافر آسنکرون با ظرفیت یک بایت
با اتصال ماشین حالت فوق عملکرد اتصال چند بافر را بررسی میکنیم
اتصال دو ماشین حالت :
اتصال یک مکان از ماشین حالت مبدا را به یک گذر از ماشین حالت مقصد
گذاشتن یک Guard function (یک شرط بولین) بر حسب یک خروجی از ماشین حالت اول
اسلاید 17 :
یک بافر آسنکرون با ظرفیت n بایت
اتصالات با کمان بدون جهت (با رنگ قرمز) رسم شده این اتصالات نه ورودی هستند نه خروجی. و تنها اثرش این است که وجود توکن در آن پیششرط شلیک است
اسلاید 18 :
اتصال مدل بافرها
در شکل روبرو اتصال مکان F به گذر e به E یک اتصال غیر ضروری است چون بجای گارد فانکشن OR=0 گذاشته شده که این شرط قبلا در حالت f تحقق پیدا کرده. بنابراین آن را حذف میکنیم و با حذف آن، گذرe به E هم حذف و مکان e در E ادغام میشود
شکل نهایی در صفحه بعد
اسلاید 19 :
بافر آسنکرون (شکل نهایی)
در شکل علاوه بر اتصال ماشین های حالت گارد فانکشن هر یک از گذر ها هم کنارش نوشته شده است.
مراحل شبیه سازی مدل پتری زیر را با حالت شروع FEEE (سمت چپی در حالت F و مابقی در حالت E)رسم کنید.
اسلاید 20 :
کانال ارتباطی بدون حافظه
تبدیل بافر حافظه دار به یک لینک بدون حافظه
مدل یک کانال ارتباطی بدون حافظه
مدل یک بافر (میانگیر) با ظرفیت یک بایت
