چکیده ندارد.

در این پایان نامه یک راهکار موثر جهت خودکارسازی روند طراحی واحد خودآزمون پذیری برای هسته های حافظه ارائه شده است . با استفاده از این روش ، تولید خودکار واحد خودآزمون پذیری بشکل کاملا"سفارشی و براساس پارامترهای حافظه تحت آزمون و الگوریتم آزمون مورد نظر انجام می پذیرد. ضمنا"روشی نیز برای ارزیابی سربار سخت افزاری ارائه شده است . به منظور اثبات ادعای کارآمد بودن راهکار ارائه شده، یک پیاده سازی نرم افزاری نیز برآن اساس انجام گرفته که نتایج بدست آمده جهت قضاوت در انتهای این گزارش آورده شده است . از مزایای این ابزار می توان کاهش زمان ارائه محصول و فراهم سازی قابلیت استفاده مجدد معماری خودآزمون پذیری را نام برد.

این پایان نامه در7 فصل تنظیم شده است دو هدف کلی را دنبال می کند: 1 - آشنایی با زبان سخت افزاری vhdl-ams ،چگونگی مدل کردن با آن، کاربردها و مشکلات استفاده از آن . 2 - طراحی و پیاده سازی یک شبیه سازی ساده برای این زبان و ارائه یک روش برای شبیه سازی کل vhdl-ams . در فصل 2 و 3 ما با مفاهیم زبان vhdl-ams آشنا می شویم . در فصل 4 به مشکلات موجود در راه استفاده از زبان در مقابل شبیه سازهای موجود در راه استفاده از زبان در مقابل شبیه سازهای موجود می پردازیم . در فصل 5 مثالهایی نوشته شده به این زبان را بررسی می کنیم و سرانجام در فصل 6 به روشهای شبیه سازی ابداع شده می پردازیم.

در این پروژه میائل مطرح برای طراحی یک فرمت میانی استاندارد که نیاز طراحان را برآورده سازد بررسی و سپس فرمت میانی chire معرفی می شود. همچنین به دلیل اهمیت و گسترش استفاده از xml در ارتباطات ، چگونگی استفاده از این امکان در chire توضیح داده خواهد شد و فرمت hdml که به این منظور به وجود آمده است ، معرفی می گردد. در قسمت پایانی این پروژه سعی شده است روشهای استخراج این فرمت از فرمت chire بررسی و الگوریتم های آن ارائه شود. این روشها بر مبنای تبدیل ساختارهای زبان به معادلات بولی به طور بازگشتی و از طریق تشخیص مسیرهای اجرای برنامه و شرط اجرای هر مسیر، استوار است .

در طراحی سیستمهای بزرگ و پیچیده روش تجزیه و تحلیل داده گرا یا شیءگرا در مقابل روش تجزیه و تحلیل الگوریتمی، نمایی ساختیافته تر و قابل کنترل بیشتر در اختیار طراح می گذارد. این مهم با تحقق مفاهیمی همچون تجرید ، مخفی سازی اطلاعات ، رعغایت ساختار سلسله مراتبی ، ماژولار و پارامتریزه بودن طرح قابل دسترسی است . vhdl به عنوان یک زبان شناخته شده توصیف سخت افزار برای تجزیه و تحلیل الگوریتمی مناسب است ، ولی برای تجزیه و تحلیل شیءگرا ضعیف است . این پایان نامه در ابتدا به طرح مفاهیم و اصول روش مدل کردن شیءگرا می پردازد، سپس به بررسی راه حلهای توسعه vhdl به سمت شیءگرایی می پردازد و در نهایت یک توسعه جدید مطرح می شود. این توسعه با حداقل تغییرات به گونه ای مطرح می شود که در عین تحقق اصول شیءگرایی vhdl را یک زبان همروند نگه دارد و ساختارهای شناخته شده آن تا حد زیادی دست نخورده باقی بماند.

در این تحقیق ، روشهایی برای ایجاد تحمل پذیری خطا در سیستم های گسترده به ویژه سیستم های چندعامله ارائه شده است. ایجاد تحمل پذیری خطا در سیستم های گسترده، امری دست یافتنی و در عین حال دشوار است.یک سیستم چندعامله به عنوان نمونه مهمی از سیستم های گسترده با بهره گیری از تکنیکهای رایج تحمل پذیری خطا می تواند قابلیت کنار آمدن با انواع متفاوتی از خطاها را پیدا کند. اما آنچه در این تحقیق مورد تاکید است استفاده از ذات چند عامله سیستمها و بهره گیری از تکنیکهایی است که برخاسته از ویژگیهای خاص سیستم های چند عامله است. در روشهای پیشنهادی حاصل از این تحقیق، در صورت بروز مشکلی برای یک یا تعدادی از عامل ها و اطلاع یافتن بقیه از این مطلب به وسیله صادر نمودن درخواست کمک، عاملهای هم تیمی او با اعمال تغییراتی متناسب در وظایف خود سعی در کمک به او می نمایند و وظیفه وی را نیز به دوش می گیرند و تا زمانی که مشکل آن عامل برطرف نشده ، به این روش از کاهش کارایی سیستم جلوگیری می کنند.البته در صورت وجود چندین عامل نیازمند به کمک ، عاملهای کمک رسان براساس الگوریتمی نسبتا بهینه که ایده اصلی آن شبیه اصول زمانبندی وظایف در سیستم های عامل است ، اقدام به انتخاب وظیفه می کنند و بدون برقراری ارتباط صریح، مناسب ترین وظیفه را از لحاظ سرعت و توان پردازشی (عملیاتی) و قابلیت اعتماد خود و نیز درجه اهمیت وظیفه مورد نظر بر عهده می گیرند و از این طریق همکاری ضمنی میان عاملهای کمک رسان برقرار می شود. البته علاوه بر موارد ذکر شده ، به وجود قابلیت های ویژه در عاملهایی که از این توانایی برخوردارند ، نیز توجه شده است که این خود بر منطقی بودن تصمیم گیری در قبال تقسیم وظیفه ها می افزاید.این همکاری با یک تصمیم گیری گسترده و طی چند فاز مختلف صورت می گیرد تا در صورت وجود چندین عامل نیازمند کمک ، در نهایت عاملهایی با اولویت بالاتر برای کمک انتخاب شوند که بیش از بقیه در کارایی کلی تیم موثرند.در تصمیم گیری انجام شده ، مهمترین هدف برآورده نمودن اهداف تحمل پذیری خطاست.