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