علمی‌جو
مقاله کنفرانسی سال ۱۴۰۱ فارسی

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

اصغر قادریناصر انصاری صفا

چکیده مقاله

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

کلیدواژه‌ها

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

نویسندگان

شیوه ارجاع

قادری، اصغر و انصاری صفا، ناصر،1401،تایید مبتنی بر اثبات سیستم های گالس چندزمانه،هجدهمین کنفرانس ملی علوم و مهندسی کامپیوتر و فناوری اطلاعات،بابل

ارائه‌شده در

پوستر مجموعه مقالات هجدهمین کنفرانس ملی علوم و مهندسی کامپیوتر و فناوری اطلاعات مجموعه مقالات هجدهمین کنفرانس ملی علوم و مهندسی کامپیوتر و فناوری اطلاعات4 اسفند 1401 · بابل
ادامه مسیر پژوهش

مقالات مرتبط

مقاله کنفرانسی سال ۱۴۰۱ ۲,۴۹۴ مشاهده

کاربرد ریاضیات در هوش مصنوعی و نحوه یاد گیری آن

در دنیای امروز، موضوع هوش مصنوعی و ماشین لرنینگ، به عنوان یکی از مهمترین، کاربردی ترین و ترندترین مباحث…

هوش مصنوعیریاضیاتالگوریتم
مقاله کنفرانسی سال ۱۴۰۱ ۲,۲۳۵ مشاهده

درباره کاربرد کامپیوتر در اموزش و پرورش

عوامل آموزشی نوع خاصی از سیستم های آموزش خصوصی هستند که برای کودکان، آموختن از طریق آموزش را ایجاد می کن…

عوامل آموزشیآموزش خصوصی همسالانبی ادبی
مقاله کنفرانسی سال ۱۴۰۱ ۱,۰۹۵ مشاهده

نقش هوش مصنوعی در هوشمند سازی علم پزشکی

امروزه همه چیز تحت تاثیر پیشرفت های فناوری علی الخصوص در زمینه فناوری های کامپیوتری است آنچه که انسانها…

هوش مصنوعیپزشکییادگیری ماشین
مقاله کنفرانسی سال ۱۴۰۱ ۸۸۰ مشاهده

بررسی کاربردهای شبکه ی نرم افزار محور (SDN) در زیرساخت های مدرن شبکه

شبکه ی نرم افزار محور SDN نشان دهنده یک راه کار جدید برا ی مدیریت و اتصال به شبکه هستند: روشی که توسط سا…

نرم افزارشبکهداده
مقاله کنفرانسی سال ۱۴۰۱ ۷۳۴ مشاهده

مدلسازی روش های پیش بینی لینک در تحلیل شبکه های اجتماعی

روند رو به رشد استفاده از سایت های شبکه های اجتماعی، توجه محققان را به مطالعه و تجزیه و تحلیل جنبه های م…

شبکه های اجتماعیبیش بینی لینک۱تحلیل شبکه های اجتماعی
مقاله کنفرانسی سال ۱۴۰۱ ۷۳۲ مشاهده

پاسخ دهی خودکار به پرسش های مربوط به محتوای تصاویر به زبان فارسی با استفاده از تکنیک های مبتنی بر یادگیری عمیق

امروزه پاسخ دهی خودکار به پرسش های مربوط به محتوای تصاویر سیستم پرسش و پاسخ تصویری کاربرد فراوانی دارد د…

سازوکار توجهشبکه عصبی کانولوشنیشبکه عصبی بازگشتی