نوشته شده توسط : زپو

 کامپیوتر 5. اثبات بر مبنای سیستم های چند زمانه GALS.


اثبات بر مبنای سیستم های چندزمانه GALS. چکیده ابزارهای استاندارد EDA ABV در ارتباط با سیستم های چند زمانه تراشه ها می باشد که به نام سیستم های انسکرون و یا GALS شناخته می شوند. این مقاله روش هایی را در ارتباط با عملکرد سیستم های چند زمانه توصیف می کند که در چنین سیستم هایی از ابزارهای استاندارد PSL و ABV استتفاده می شود.ما STG (  نمودار انتقال سیگنال ها را) به عنوان یک شکل معمول برای تعیین عملکردهای اسنکرون در نظر می گیریم که در موارد مربوط به PSL ، ابزارهای استاندار ABV را مورد استفاده قرار می دهند و به این ترتیب به اثبات موارد می پردازند. الگوریتم مطرح شده ASE در ارتباط با مدل   مد نظر قرار می گیرد که شبکه ها را بر روی تراشه ها به جریان می اندازند... که این موارد در ارتباط با ارتباطات درونی اسنکرون می باشد.توصیف کننده طبقات و موضوعات.الگوریتم کلیطرح ، اثبات.

خرید و دانلود  کامپیوتر 5. اثبات بر مبنای سیستم های چند زمانه GALS.




:: برچسب‌ها: ABV , MCD , GALS , ASE , SOC , STG , سیستم های انسکرون , منطق اسنکرون , مقاله انگلیسی کامپیوتر با ترجمه فارسی , مقاله انگلیسی کامپیوتر با ترجمه , مقاله انگلیسی کامپیوتر , Assertion Based Verification , GALS Systems ,
:: بازدید از این مطلب : 36
|
امتیاز مطلب : 0
|
تعداد امتیازدهندگان : 0
|
مجموع امتیاز : 0
تاریخ انتشار : چهار شنبه 9 مرداد 1395 | نظرات ()

صفحه قبل 1 2 3 4 5 ... 6341 صفحه بعد