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

سال انتشار: 1401
محل انتشار: هجدهمین کنفرانس ملی علوم و مهندسی کامپیوتر و فناوری اطلاعات
کد COI اختصاصی: CECCONF18_044
زبان مقاله: فارسی
تعداد مشاهده: 333

نویسندگان

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

چکیده

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

کلیدواژه ها

؛،GALS ،SoC ،MCD ،ABV، منطق اسنکرون

مقالات مرتبط جدید

اطلاعات بیشتر در مورد COI

COI مخفف عبارت CIVILICA Object Identifier به معنی شناسه سیویلیکا برای اسناد است. COI کدی است که مطابق محل انتشار، به مقالات کنفرانسها و ژورنالهای داخل کشور به هنگام نمایه سازی بر روی پایگاه استنادی سیویلیکا اختصاص می یابد.

کد COI به مفهوم کد ملی اسناد نمایه شده در سیویلیکا است و کدی یکتا و ثابت است و به همین دلیل همواره قابلیت استناد و پیگیری دارد.