تایید مبتنی بر اثبات سیستم های گالس چندزمانه

سال انتشار: 1401
نوع سند: مقاله کنفرانسی
زبان: فارسی
مشاهده: 191

فایل این مقاله در 6 صفحه با فرمت PDF قابل دریافت می باشد

استخراج به نرم افزارهای پژوهشی:

لینک ثابت به این مقاله:

شناسه ملی سند علمی:

CECCONF18_044

تاریخ نمایه سازی: 27 اسفند 1401

چکیده مقاله:

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

کلیدواژه ها:

نویسندگان

اصغر قادری

دانشگاه آزاد اسلامی واحد ایرانشهر

ناصر انصاری صفا

دانشگاه آزاد اسلامی واحد ایرانشهر