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