رساله های دکتری

1. طراحی شتاب دهنده ی شبکه های عصبی عمیق مبتنی بر نورون های ریز برنامه پذیر
   علی رضا نحوی 1403
2. نگرش های قابلیت اطمینان ترکیبی در سامانه های نهفته با تمرکز بر عناصر محاسباتی
   نوشین نصرتی 1403
3. کاهش سالخوردگی ناشی از BTI با کمک بازپیکربندی در FPGAها
   محمد ابراهیمی 1398
4. " محدود کردن اثر نوسانات پویا در تراشه در سطوح مختلف"
   سمیه صادقی کهن 1397
5. درستی سنجی پردازنده های مدرن با قابلیت توان پویا
   سیدرضا شرفی نژاد 1397
6. الگوهای طراحی و تبدیل مدلها درمعماری مدل محور سامانه های هوشمند بر تراشه
   محمدرضا جمالی قهدریجانی 1396
7. به کارگیری عیب یابی پیش از ساخت جهت تسهیل عیب یابی پس از ساخت
   فاطمه رفان 1396
8. کاهش توان مصرفی ناشی از انتقال اطلاعات بین بلوکهای عملیاتی درNOCها
   محسن صانعی 1396
9. بهینه سازی آزمون در تراشه های چند پردازنده ای
   آرزو کامران 1396
10. درستی سنجی مبتنی بر ادعا در سطح سیستم
    سید حسن صحفی 1396
11. ارائه‌ی مدلی جهت کاربردهای طراحی و آزمون در سطوح مختلف انتزاع
    حسین صباغیان بیدگلی 1396
12. روشهایی برای آزمون مدار و تصحیح خطا به صورت هم روال در سطوح مختلف تجرید
    نغمه کریمی 1396