دانش رسان |
مرکز علم و دانش کشور مقاله روشی جدید برای وارسی رسمی پردازنده های ابرعددی
در حال بارگذاری
توجه : به همراه فایل word این محصول فایل پاورپوینت (PowerPoint) و اسلاید های آن به صورت هدیه ارائه خواهد شد
مقاله روشی جدید برای وارسی رسمی پردازنده های ابرعددی دارای ۷ صفحه می باشد و دارای تنظیمات در microsoft word می باشد و آماده پرینت یا چاپ است
فایل ورد مقاله روشی جدید برای وارسی رسمی پردازنده های ابرعددی کاملا فرمت بندی و تنظیم شده در استاندارد دانشگاه و مراکز دولتی می باشد.
توجه : در صورت مشاهده بهم ریختگی احتمالی در متون زیر ،دلیل ان کپی کردن این مطالب از داخل فایل ورد می باشد و در فایل اصلی مقاله روشی جدید برای وارسی رسمی پردازنده های ابرعددی،به هیچ وجه بهم ریختگی وجود ندارد
بخشی از متن مقاله روشی جدید برای وارسی رسمی پردازنده های ابرعددی :
تعداد صفحات:۷
چکیده:
وارسی پردازنده ها را می توان به دو روش انجام داد: روش شبیه سازی و روش رسمی. روش شبیه سازی یک اثبات کلی نیست چرا که فقط به ازای ورودیهای امتحان شده به ما ضمانت درستی طراحی را می دهد. استفاده از روشهای رسمی به دلیل کلیت و اثبات ریاضی صحت عملکرد، درچند سال اخیر بسیار متداول شده است. این روش به شیوه های مختلف اعمال می شود. یکی از متداولترین این شیوه ها، روش model checking است که دارای حالت خودکاری بیشتر است. در این مقاله، ابتدا روشهای وارسی رسمی پردازنده هایابر عددی رابررسی کرده و سپس روش جدیدی مبتنی بر model checkingمعرفی نموده، پردازنده DLX با دو خط لوله را با این روش وارسی خواهیم کرد.
- در صورتی که به هر دلیلی موفق به دانلود فایل مورد نظر نشدید با ما تماس بگیرید.
