تایید مبتنی بر اثبات سیستم های گالس چندزمانه
- سال انتشار: 1401
- محل انتشار: هجدهمین کنفرانس ملی علوم و مهندسی کامپیوتر و فناوری اطلاعات
- کد COI اختصاصی: CECCONF18_044
- زبان مقاله: فارسی
- تعداد مشاهده: 326
نویسندگان
دانشگاه آزاد اسلامی واحد ایرانشهر
دانشگاه آزاد اسلامی واحد ایرانشهر
چکیده
تجهیزات استاندارد EDA ABV در تحت تاثیر تایید سیستم های دامنه چندزمانه بر روی تراشه ها (ACD SOC)، سیستم هایاسنکرون و (GALS) شناخته می شوند. این مقاله روشی را برای تایید عملکرد اسنکروه خطی چند زمانه در چنین سیستم هایی بااستفاده از PSL و تجهیزات ABV استاندارده شرح می دهد. ما STG (نمودار انتقال سیگنال) را که به عنوان شکل رایج نشان دادنرفتار اسنکرون به دستور PSL تغییر می دهیم و ابزارهای ABV استاندار را مورد استفاده قرار می دهیم و به طور رسمی به اثبات مواردتایید شده کامل می پردازیم.الگوریتم مطرح شده ASE (استخراج توالی اتوماتیک) در ارتباط با مدل MCD SoC اعمال می گردد کهاز شبکه بر روی تراشه به منظور ارتباطات اسنکرون بین قدر مطلق استفاده می کند.کلیدواژه ها
؛،GALS ،SoC ،MCD ،ABV، منطق اسنکرونمقالات مرتبط جدید
- تحلیل چالشها و راهکارهای تقویت ارتباط دانشگاه و صنعت: با تمرکز بر حلقههای مفقوده
- بازخوانی نقش دانشگاه و صنعت در توسعه ملی: از موانع تا راهکارها
- نشانگر تشخیصی جدید در ژن C-myc به عنوان کیت غیر تهاجمی تشخیص سرطان دهان
- برنامه ریزی منابع تجدید پذیر با درنظر گرفتن برنامه ریزی توسعه انتقال و تولید منابع توان راکتیو
- برنامه ریزی همزمان توسعه انتقال و منابع تولید توان راکتیو با استفاده از یک الگوریتم تکاملی بهبود یافته
اطلاعات بیشتر در مورد COI
COI مخفف عبارت CIVILICA Object Identifier به معنی شناسه سیویلیکا برای اسناد است. COI کدی است که مطابق محل انتشار، به مقالات کنفرانسها و ژورنالهای داخل کشور به هنگام نمایه سازی بر روی پایگاه استنادی سیویلیکا اختصاص می یابد.
کد COI به مفهوم کد ملی اسناد نمایه شده در سیویلیکا است و کدی یکتا و ثابت است و به همین دلیل همواره قابلیت استناد و پیگیری دارد.