فاطمه زمزم - گروه برق، دانشگاه آزاد اسلامی، شهرری ، ایران
زهره اخوان حجازی - گروه کامپیوتر، دانشگاه آزاد اسلامی کاشان، ایران

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

مدارهای کوانتومی، مدارهای برگشت پذیر، بهینه سازی، مدار SyRec، if