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

خرید این محصول

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

اثبات بر مبنای جهاز های چندزمانه GALS.  

چکیده 

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

توصیف کننده اشکوبه‌ها و موضوعات.

الگوریتم بسیار

الگو ، اثبات.

خرید این محصول