تایید مبتنی بر اثبات سیستم های گالس چندزمانه
- سال انتشار: 1401
- محل انتشار: هجدهمین کنفرانس ملی علوم و مهندسی کامپیوتر و فناوری اطلاعات
- کد COI اختصاصی: CECCONF18_044
- زبان مقاله: فارسی
- تعداد مشاهده: 350
نویسندگان
دانشگاه آزاد اسلامی واحد ایرانشهر
دانشگاه آزاد اسلامی واحد ایرانشهر
چکیده
تجهیزات استاندارد EDA ABV در تحت تاثیر تایید سیستم های دامنه چندزمانه بر روی تراشه ها (ACD SOC)، سیستم هایاسنکرون و (GALS) شناخته می شوند. این مقاله روشی را برای تایید عملکرد اسنکروه خطی چند زمانه در چنین سیستم هایی بااستفاده از PSL و تجهیزات ABV استاندارده شرح می دهد. ما STG (نمودار انتقال سیگنال) را که به عنوان شکل رایج نشان دادنرفتار اسنکرون به دستور PSL تغییر می دهیم و ابزارهای ABV استاندار را مورد استفاده قرار می دهیم و به طور رسمی به اثبات مواردتایید شده کامل می پردازیم.الگوریتم مطرح شده ASE (استخراج توالی اتوماتیک) در ارتباط با مدل MCD SoC اعمال می گردد کهاز شبکه بر روی تراشه به منظور ارتباطات اسنکرون بین قدر مطلق استفاده می کند.کلیدواژه ها
؛،GALS ،SoC ،MCD ،ABV، منطق اسنکرونمقالات مرتبط جدید
- The Building Energy and Energy Consumption Optimization Using Modern Methods
- تحلیل مکانی بهره برداری از پنلهای خورشیدی به منظور شیرین سازی آب با تاکید بر پارامترهای محیطی با استفاده از روش AHP و داده های دورسنجی مطالعه موردی استان سمنان
- ارزیابی لزجت و مدلسازی رفتار نانوسیالات هیبریدی در سیستمهای روان کاری خودرو
- A Comparative Mechanistic Review of Retinol in Anti-Aging Skincare
- Smart vs. Standard Mattresses for Pressure Ulcer Prevention in ICU: a systematic review and Meta-Analysis
اطلاعات بیشتر در مورد COI
COI مخفف عبارت CIVILICA Object Identifier به معنی شناسه سیویلیکا برای اسناد است. COI کدی است که مطابق محل انتشار، به مقالات کنفرانسها و ژورنالهای داخل کشور به هنگام نمایه سازی بر روی پایگاه استنادی سیویلیکا اختصاص می یابد.
کد COI به مفهوم کد ملی اسناد نمایه شده در سیویلیکا است و کدی یکتا و ثابت است و به همین دلیل همواره قابلیت استناد و پیگیری دارد.