نمونه سوالات طراحی و پیاده سازی زبان های برنامه نویسی همراه جواب تشریحی

سوالات طراحی و پیاده سازی زبان های برنامه نویسی

شامل دو فرمت پی دی اف و ورد

تایپ شده

همراه پاسخ تشریحی

دانلود فایل

انواع گیت هایی که اغلب در -() -‌‌‌() -() = ()^’⋯()^’= (+ )’ = (‘ + ‘) (‘ + ‘)
— 

‌‌‌-() =(+)^’+(+)^’=[(A+B)(C+D)]^’
––() () : (و دوم باشد، مانند پیاده سازی NAND-NAND.) گفته می شود هشت مورد از این ترکیبات به فرم انحطاطی هستند زیرا به یک عملیات منفرد تبدیل می شوند. این را می توان از مداری با گیت های AND در سطح اول و گیت AND در سطح دوم مشاهده کرد. خروجی مدار صرفاً تابع AND همه متغیرهای ورودی است. هشت شکل غیر منحط باقیمانده، یک پیاده‌سازی را به شکل مجموع حاصلضرب ها یا حاصلضرب جمع ها تولید می‌کنند. هشت فرم غیر منحط به شرح زیر است:

اولین گیت فهرست شده در هر یک از فرم ها، اولین سطح پیاده-سازی را تشکیل می دهد. گیت دوم ذکر شده یک گیت واحد است که در سطح دوم قرار دارد. توجه داشته باشید که هر دو فرمی که در یک خط فهرست شده اند دوگان یکدیگر هستند.
فرم های AND-OR و OR-AND فرم های دو سطحی پایه هستند که در بخش 4.3 مورد بحث قرار گرفته اند. فرم های NAND-NAND و NOR-NOR در بخش 5.3 ارائه شد. چهار شکل باقی مانده در این بخش بررسی می شود.
پیاده سازی AND-OR-INVERT
هر دو فرم، NAND–AND و AND–NOR، معادل هستند و می‌توانند با هم در نظر گرفته شوند. هر دو تابع AND-OR-INVERT را پیاده سازی می کنند، همان طور که در شکل 27.3 نشان داده شده است. فرم AND-NOR شبیه فرم AND-OR است، اما با وارونگی انجام شده توسط حباب موجود در خروجی گیت NOR. آن، تابع زیر را پیاده سازی می کند
F= (AB +CD+E)^’

طراحی و پیاده سازی زبان های برنامه نویسی

با استفاده از نماد گرافیکی جایگزین برای گیت NOR، نمودار شکل 27.3 (ب) را به زبان های برنامه نویسی  می آوریم. توجه داشته باشید که تک متغیر E مکمل نشده است، زیرا تنها تغییر ایجاد شده در نماد گرافیکی گیت NOR است. حال حباب را از ترمینال ورودی گیت سطح دوم به ترمینال های خروجی گیت های سطح اول منتقل می کنیم. یک معکوس کننده برای تک متغیره به منظور جبران حباب مورد نیاز است. هم چنین، می توان معکوس کننده را حذف کرد، مشروط بر این که ورودی E مکمل شود. مدار شکل 27.3 (ج) یک فرم NAND-AND است و در شکل 26.3 برای پیاده سازی تابع AND-OR-INVERT نشان داده شده است.
یک پیاده سازی AND-OR به یک عبارت به صورت مجموع حاصلضرب ها نیاز دارد. پیاده سازی AND-OR-INVERT به جز برای وارونگی مشابه است، بنابراین، اگر مکمل تابع به صورت مجموع حاصلضرب-ها (با ترکیب 0 در نقشه) ساده شود، می‌توان F’ را با بخش AND–OR تابع پیاده‌سازی کرد. وقتی F از وارونگی خروجی همیشه موجود (قسمت INVERT) عبور می کند، خروجی F تابع را ایجاد می کند. یک مثال برای پیاده سازی AND-OR-INVERT متعاقبا نشان داده خواهد شد.

پیاده سازی OR–AND–INVERT
فرم های OR-NAND و NOR-OR زبان های برنامه نویسی OR-AND-INVERT را پیاده-سازی می کنند، همان طور که در شکل 28.3 نشان داده شده است. فرم OR-NAND شبیه فرم OR-AND است، به جز وارونگی انجام شده توسط حباب در گیت NAND. آن تابع زیر را پیاده سازی می-کند
F=[(A+B)(C+D)E]^’
با استفاده از نماد گرافیکی جایگزین برای گیت NAND، نمودار شکل 28.3 (ب) را به دست می آوریم. مدار موجود در شکل 28.3(ج) با حرکت دایره های کوچک از ورودی های گیت سطح دوم به خروجی گیت های سطح اول بدست می آید. مدار شکل 28.3 (ج) یک فرم NOR-OR است و در شکل 26.3 برای پیاده سازی تابع OR-AND- INVERT نشان داده شده است.
پیاده سازی OR–AND–INVERT به یک عبارت در فرم حاصلضرب جمع ها نیاز دارد. اگر مکمل تابع به آن شکل ساده شود، می‌توانیم F’ را با قسمت OR–AND تابع پیاده‌سازی کنیم. وقتی F’ از قسمت INVERT عبور می کند، مکمل F’ یا F را در خروجی به دست می آوریم.
خلاصه جدولی و مثال
جدول 2.3 روش های پیاده سازی یک تابع بولی را در هر یک از چهار شکل 2 سطحی خلاصه می کند. به دلیل بخش INVERT در هر مورد، استفاده از ساده سازی F’ (مکمل) تابع راحت است. هنگامی که F’ در یکی از این اشکال پیاده سازی می شود، سوالات طراحی و پیاده سازی زبان های برنامه نویسی  تابع را به شکل AND-OR یا OR-AND بدست می آوریم. چهار شکل 2 سطحی، این تابع را معکوس می‌کنند و یک خروجی که مکمل F’ است را می‌دهند. این خروجی نرمال F است.

* فرم (ب) به یک معکوس کننده برای یک عبارت واحد نیاز دارد.
مثال 10.3
تابع شکل 29.3 (الف) را با چهار فرم 2 سطحی فهرست شده در جدول 2.3 پیاده سازی کنید. مکمل تابع با ترکیب 0 در نقشه به صورت مجموع حاصلضرب ها ساده می شود:
F^’=x^’ y+xy^’+z
خروجی نرمال برای این تابع را می توان به صورت زیر بیان کرد
F=(x^’ y+xy^’+z)^’
که به صورت AND–OR–INVERT می باشد. پیاده سازی AND-NOR و NAND-AND در شکل 29.3 (ب) نشان داده زبان های برنامه نویسی است. توجه داشته باشید که یک گیت NAND یک ورودی یا معکوس کننده در پیاده-سازی NAND-AND مورد نیاز است، اما در مورد AND-NOR نه. اگر به جای z از متغیر ورودی z’ استفاده کنیم، معکوس کننده حذف می شود.
فرم‌های OR–AND–INVERT به یک عبارت ساده‌شده از مکمل تابع به صورت حاصلضرب جمع ها نیاز دارند. برای بدست آوردن این عبارت، ابتدا 1 ها را در نقشه ترکیب می کنیم:سپس مکمل تابع را می گیریم:

خروجی نرمال F را اکنون می توان به شکل زیر بیان کرد
F=[(x+y+z)(x^’+y^’+z)]^’
که فرم OR–AND–INVERT است. از این عبارت، می‌توانیم تابع را در فرم‌های OR-NAND و NOR-OR پیاده‌سازی کنیم، همان طور که در شکل 29.3 (ج) نشان داده شده است.
8.3 تابع OR انحصاری
OR انحصاری (XOR)، که با نماد ⊕ نشان داده می شود، یک عملیات منطقی است که عملیات بولی زیر را انجام می دهد:
x⊕y=xy^’+x^’ y
OR انحصاری برابر با 1 است اگر فقط x برابر با 1 باشد یا اگر فقط y برابر با 1 باشد (یعنی x و y مقدار متفاوت داشته باشند)، اما نه زمانی که هر دو برابر با 1 یا زمانی که هر دو برابر با 0 هستند. NOR انحصاری، که هم چنین به عنوان معادل شناخته می شود، عملیات بولی زیر را انجام می دهد:
(x⊕y)^’=xy+x^’ y^’
NOR انحصاری برابر با 1 است اگر x و y هر دو زبان های برنامه نویسی با 1 باشند یا اگر هر دو برابر با 0 باشند. NOR انحصاری را می-توان با استفاده از جدول درستی یا با دستکاری جبری به عنوان مکمل OR انحصاری نشان داد
(x⊕y)^’=(xy^’+x^’ y)^’=(x^’+y)(x+y^’)=xy+x^’ y^’
شناسه های زیر برای عملیات OR انحصاری اعمال می شود:
x⊕0=x
x⊕1=x^’
x⊕x=0
x⊕x^’=1
x⊕y^’=x^’⊕y=(x⊕y)^’
هر یک از این شناسه ها را می توان با یک جدول درستی یا با جایگزین کردن عملیات ⊕ با عبارت بولی معادل آن اثبات کرد. هم چنین، می توان نشان داد که عملیات OR انحصاری هم جابه جایی پذیر و هم شرکت پذیر است. به این معنا که،
A⊕B=B⊕A
و

این به این معنی است که دو ورودی به یک گیت OR انحصاری را می توان بدون تأثیر بر عملکرد تعویض کرد. هم چنین به این معنی است که ما می توانیم یک عملیات OR انحصاری سه متغیره را به هر ترتیبی ارزیابی کنیم و به همین دلیل سه یا چند متغیر را می توان بدون پرانتز بیان کرد. این به معنای امکان استفاده از گیت های OR انحصاری با سه یا تعداد بیش تر ورودی است. با این حال، ساخت گیت های OR سوالات طراحی و پیاده سازی زبان های برنامه نویسی چند ورودی با سخت افزار دشوار است. در واقع، حتی یک تابع دو ورودی معمولاً با انواع دیگر گیت ها ساخته می شود. یک تابع OR انحصاری دو ورودی با گیت های معمولی با استفاده از دو معکوس کننده، دو گیت AND و یک گیت OR ساخته شده است، همان طور که در شکل 30.3 (الف) نشان داده شده است. شکل 30.3 (ب) پیاده سازی ORزبان های برنامه نویسی انحصاری را با چهار گیت NAND نشان می دهد. اولین گیت NAND عملیات (xy)^’=(x^’+y) را انجام می دهد. مدار NAND دو سطحی دیگر مجموع حاصلضرب های ورودی های خود را تولید می کند:
(x^’+y^’)x+(x^’+y^’)y=xy^’+x^’ y=x⊕y

دانلود رایگان تست نمونه سوالات طراحی و پیاده سازی زبان های برنامه نویسی با پاسخ تشریحی pdf با جواب

فقط تعداد محدودی از توابع بولی را می توان بر حسب عملیات OR انحصاری بیان کرد. با این وجود، این تابع اغلب در طول طراحی سیستم های دیجیتال ظاهر می شود. به ویژه در عملیات محاسباتی و مدارهای تشخیص و تصحیح خطا مفید است.
تابع فرد
عملیات OR انحصاری با سه یا چند متغیر را می توان با جایگزین کردن نماد ⊕ با عبارت بولی معادل آن به یک تابع بولی معمولی تبدیل کرد. به طور خاص، حالت سه متغیری را می-توان به صورت زیر به یک عبارت بولی تبدیل کرد:
A⊕B⊕C= (AB^( ‘)+A^’ B)C^’+(AB+A^’ B^’)C
=AB^’ C^’+A^’ BC^’+ABC+A^’ B^’ C
=Σ(1,2,4,7)
عبارت بولی به وضوح نشان می زبان های برنامه نویسی که اگر فقط یک متغیر برابر با 1 باشد یا اگر هر سه متغیر برابر با 1 باشد، تابع سه متغیره OR انحصاری برابر با 1 است. بر خلاف حالت دو متغیره، که در آن فقط یک متغیر باید برابر 1 باشد، در مورد سه یا چند متغیره، شرط لازم این است که تعداد فرد متغیرها برابر با 1 باشد. در نتیجه، عملیات OR انحصاری چند متغیره به عنوان یک تابع فرد تعریف می شود.
تابع بولی حاصل از عملیات OR انحصاری سه متغیره به صورت مجموع منطقی چهار مینترم که مقادیر عددی دودویی آن ها 001، 010، 100 و 111 است بیان می شود. هر یک از این اعداد دودویی دارای تعداد 1های فرد هستند. چهار سوالات طراحی و پیاده سازی زبان های برنامه نویسی باقی مانده که در تابع گنجانده نشده اند 000، 011، 101 و 110 هستند و در مقادیر عددی دودویی خود دارای یک عدد زوج 1 هستند. به طور کلی، یک تابع OR انحصاری n متغیره یک تابع فرد است که به صورت مجموع منطقی 2^n/2 مینترم تعریف می شود که مقادیر عددی دودویی آن دارای تعداد 1 فرد را می توان با رسم آن در نقشه روشن کرد.

زبان های برنامه نویسی

شکل 3.31 (الف) نقشه تابع OR انحصاری سه متغیره را نشان می-دهد. چهار مینترم تابع، یک واحد از یکدیگر فاصله دارند. تابع فرد از چهار مینترم که مقادیر دودویی آن ها دارای تعداد 1 های فرد هستند مشخص می شود. مکمل یک تابع فرد یک تابع زوج است. همان طور که در شکل 31.3 (ب) نشان داده شده است، تابع زوج سه متغیره زمانی برابر با 1 است که تعداد زوجی از متغیرهای آن برابر با 1 باشد (شامل شرطی که هیچ یک از متغیرها برابر با 1 نباشد).
همان طور که در شکل 32.3 (الف) نشان داده شده است، تابع فرد سه ورودی با استفاده از گیت های OR انحصاری دو ورودی پیاده-سازی می شود. مکمل یک تابع فرد با جایگزینی گیت خروجی با یک گیت NOR انحصاری، همان طور که در شکل 32.3 (ب) نشان داده شده است، به دست می آید.
اکنون عملیات OR انحصاری چهار متغیره را در نظر بگیرید. با زبان های برنامه نویسی  جبری، می توانیم مجموع مینترم های این تابع را به دست آوریم:
A⊕B⊕C⊕D= (AB^’+A^’ B)⊕(CD^’+C^’ D)
= (AB^( ‘)+A^’ B)(CD+C^’ D^’)+(AB+A^’ B^’)(CD^’+C^’ D)
=Σ(1,2,4,7,8,11,13,14)

16 مینترم برای یک تابع بولی چهار متغیره وجود دارد. نیمی از مینترم ها دارای مقادیر عددی دودویی با عدد فرد 1 هستند. نیمه دیگر مینترم ها دارای مقادیر عددی دودویی با عدد زوج 1 هستند. در رسم تابع در نقشه، مقدار عددی دودویی برای یک جمله از اعداد سطر و ستون مربعی که نشان دهنده مینترم است، تعیین می شود. نقشه شکل 33.3 (الف) دیاگرامی از تابع چهار متغیره OR انحصاری است. این یک تابع فرد است زیرا مقادیر دودویی همه مینترم ها دارای تعداد 1 های فرد هستند. مکمل یک تابع فرد یک تابع زوج است. همان طور که در شکل 33.3 (ب) نشان داده شده است، تابع زوج چهار متغیره زمانی برابر با 1 است که تعداد زوجی از متغیرهای آن برابر با 1 باشد.
تولید و بررسی توازن
توابع OR انحصاری در سیستم هایی که نیاز به کدهای تشخیص و تصحیح خطا دارند بسیار مفید هستند. همان طور که در بخش 1.6 بحث شد، یک بیت توازن برای تشخیص خطاها در طول انتقال اطلاعات دودویی استفاده می شود. زبان های برنامه نویسی  توازن یک بیت اضافی همراه با یک سوالات طراحی و پیاده سازی زبان های برنامه نویسی دودویی است تا عدد 1 را زوج یا فرد کند. پیام، از جمله بیت توازن، ارسال می شود و سپس در انتهای دریافت برای خطا بررسی می شود. اگر توازن بررسی شده با مورد ارسال شده مطابقت نداشته باشد، خطا شناسایی می شود. مداری که بیت توازن را در فرستنده تولید می کند، مولد توازن نامیده می شود. مداری که توازن را در گیرنده بررسی می کند، بررسی کننده توازن نامیده می شود.
به عنوان مثال، یک پیام سه بیتی را در نظر بگیرید که همراه با یک بیت توازن زوج ارسال شود. جدول 3.3 جدول درستی را برای مولد توازن نشان می دهد. سه بیت x، y و z پیام را تشکیل می دهند و ورودی مدار هستند. بیت توازن P خروجی است. برای توازن زوج، بیت P باید تولید شود تا تعداد کل 1ها (شامل P ) زوج شود. از جدول درستی، می بینیم که P یک تابع فرد را تشکیل می دهد، زیرا برای آن مینترم هایی که مقادیر عددی آن ها دارای تعداد 1 های فرد است، برابر با 1 است. بنابراین، P را می توان به عنوان یک تابع OR انحصاری سه متغیره بیان کرد:
P=x⊕y⊕z

دیاگرام منطقی برای مولد توازن در شکل 34.3 (الف) نشان داده شده است.
سه بیت در پیام، همراه با بیت توازن، به مقصد خود منتقل می-شوند، جایی که به مدار بررسی توازن اعمال می شوند تا خطاهای احتمالی در انتقال را بررسی کنند. از آن جایی که اطلاعات با توازن زوج ارسال شده است، چهار بیت دریافتی باید دارای زبان های برنامه نویسی 1های زوج باشند. اگر چهار بیت دریافتی دارای تعداد 1های فرد باشند، در حین انتقال خطایی رخ می دهد که نشان می-دهد جزوه برنامه نویسی شبکه یک بیت در طول انتقال تغییر کرده است. خروجی بررسی کننده توازن که با C نشان داده می شود، در صورت بروز خطا برابر با 1 خواهد بود، یعنی اگر چهار بیت دریافتی دارای تعداد 1های فرد باشند. جدول 4.3 جدول درستی برای بررسی کننده توازن زوج است. از آن می بینیم که تابع C از هشت مینترم با مقادیر عددی دودویی با تعداد 1های فرد تشکیل شده است. جدول مربوط به نقشه شکل 33.3 (الف) است که یک تابع فرد را نشان می دهد. بررسی کننده توازن را می توان با گیت های OR انحصاری پیاده سازی کرد:
C=x⊕y⊕_Z⊕P

دیاگرام منطقی بررسی کننده توازن در شکل 34.3 (ب) نشان داده شده است.
شایان ذکر است که اگر ورودی P به منطق 0 وصل شده باشد و خروجی با P مشخص شده باشد، مولد توازن را می توان با مدار شکل 34.3 (ب) پیاده سازی کرد. این به این دلیل است که z⊕0=z باعث می شود مقدار z بدون تغییر از گیت عبور کند. مزیت این استراتژی این است که می توان از یک مدار هم برای تولید توازن و هم برای بررسی توازن استفاده کرد.
از مثال فوق واضح است که زبان های برنامه نویسی تولید و بررسی توازن همیشه یک تابع خروجی دارند که شامل نیمی از مینترم‌هایی است که مقادیر عددی آن‌ها دارای تعداد 1های زوج یا فرد است. در نتیجه، آن ها را می توان با گیت های OR انحصاری پیاده سازی کرد. تابعی با تعداد 1های زوج مکمل یک تابع فرد است. آن با گیت های OR انحصاری پیاده سازی می شود، با این تفاوت که گیت مرتبط با خروجی باید یک NOR انحصاری باشد تا مکمل مورد نیاز را فراهم کند.
9.3 زبان توصیف سخت افزار
روش های دستی برای طراحی مدارهای منطقی تنها زمانی امکان پذیر است که مدار کوچک باشد. برای هر چیز دیگری (یعنی یک مدار عملی)، طراحان از ابزارهای طراحی مبتنی بر کامپیوتر استفاده می کنند. همراه با روش ساخت صحیح، ابزارهای طراحی مبتنی بر کامپیوتر از خلاقیت و تلاش یک زبان های برنامه نویسی بهره می‌برند و خطر تولید یک طرح معیوب را کاهش می‌دهند. ساخت مدارهای مجتمع اولیه بسیار پرهزینه و زمان بر است، بنابراین تمام ابزارهای طراحی مدرن برای توصیف، طراحی و آزمایش مدار در نرم افزار قبل از تولید، به زبان توصیف سخت افزاری متکی هستند.
زبان توصیف سخت افزار (HDL) یک زبان مبتنی بر کامپیوتر است که سخت افزار سیستم های دیجیتال را به صورت متنی توصیف می-کند. این زبان شبیه یک زبان برنامه نویسی کامپیوتری معمولی مانند C است، اما به طور خاص برای توصیف ساختارهای سخت افزاری و رفتار مدارهای منطقی طراحی شده است. می توان از آن برای نمایش نمودارهای منطقی، جداول درستی، عبارات بولی و انتزاعات پیچیده رفتار یک سیستم دیجیتال استفاده کرد. یک راه برای درک HDL مشاهده این است که رابطه بین سیگنال هایی که ورودی مدار هستند و سیگنال هایی که خروجی مدار هستند را توصیف می کند. به عنوان مثال، یک توصیف HDL از یک گیت AND توضیح می دهد که چگونه مقدار منطقی خروجی گیت توسط مقادیر منطقی ورودی های آن تعیین می شود.
به عنوان یک زبان مستندسازی، HDL برای نمایش و مستندسازی سیستم‌های دیجیتال به شکلی استفاده می‌شود که هم توسط انسان و هم توسط رایانه قابل خواندن باشد و به عنوان یک زبان تبادل بین طراحان مناسب است. محتوای زبان را می توان به راحتی ذخیره، بازیابی، ویرایش و انتقال داد و توسط نرم افزار کامپیوتری به شیوه ای کارآمد پردازش کرد.
HDLها در چندین مرحله اصلی در زبان های برنامه نویسی طراحی یک مدار مجتمع استفاده می‌شوند: ورود طراحی، شبیه‌سازی یا تأیید عملکرد، سنتز منطقی، تأیید زمان و شبیه‌سازی خطا.
ورودی طراحی، یک توصیف مبتنی بر HDL از عملکردی که قرار است در سخت افزار پیاده سازی شود ایجاد می کند. زبان های برنامه نویسی به HDL، توصیف می تواند به اشکال مختلفی باشد: معادلات منطقی بولی، جداول درستی، فهرست شبکه ای از گیت های به هم پیوسته، یا یک مدل رفتاری انتزاعی. مدل HDL هم چنین ممکن است پارتیشنی از یک مدار بزرگ تر را به واحدهای عملکردی کوچکتر به هم پیوسته و متقابل نشان دهد.
شبیه سازی منطقی، رفتار یک سیستم دیجیتال را با استفاده از کامپیوتر نشان می دهد. یک شبیه‌ساز، توصیف HDL را تفسیر می‌کند و یا خروجی قابل خواندن تولید می‌کند، مانند ترتیب زمانی از مقادیر سیگنال ورودی و خروجی، یا شکل موج سیگنال‌ها را نمایش می‌دهد. شبیه سازی مدار پیش بینی می کند که سخت افزار قبل از این که واقعا ساخته شود چگونه رفتار خواهد کرد. شبیه سازی، خطاهای عملکردی یک طراحی را بدون نیاز به ایجاد و راه اندازی فیزیکی مدار تشخیص می دهد. خطاهایی که در طول شبیه سازی شناسایی می شوند را می توان با اصلاح عبارات HDL مناسب تصحیح کرد. محرک (یعنی مقادیر منطقی ورودی های یک مدار) که عملکرد طرح را آزمایش می کند، میز تست نامیده می شود. بنابراین، برای شبیه سازی یک سیستم دیجیتال، ابتدا طرح در HDL توضیح داده می شود و سپس با شبیه سازی طرح و بررسی آن با یک میز تست، که در HDL نیز نوشته شده است، تایید می شود. یک رویکرد جایگزین و پیچیده‌تر به روش‌های ریاضی رسمی برای اثبات درستی یک مدار از نظر عملکردی متکی است. ما به طور انحصاری بر روی شبیه سازی تمرکز خواهیم کرد.
سنتز منطقی فرآیند استخراج لیستی از اجزای فیزیکی و اتصالات آن ها (به نام Netlist) از مدل یک سیستم دیجیتال توصیف شده در HDL است. Netlist را می توان برای ساخت یک مدار مجتمع یا برای چیدمان یک برد مدار چاپی با همتایان سخت افزاری گیت ها در لیست استفاده کرد. ترکیب منطقی شبیه به کامپایل یک برنامه در یک زبان سطح بالای معمولی است. تفاوت این است که، به جای تولید یک کد شی، سنتز منطقی یک پایگاه داده تولید می کند که عناصر و ساختار یک مدار را توصیف می کند. پایگاه داده نحوه ساخت یک مدار مجتمع فیزیکی را مشخص می کند که عملکرد توصیف شده توسط عبارات بیان شده در HDL را در سیلیکون پیاده سازی می کند. سنتز منطقی زبان های برنامه نویسی بر رویه‌های دقیق رسمی است که مدارهای دیجیتال را پیاده‌سازی می‌کند و به بخشی از طراحی دیجیتال که ‌‌‌‌‌‌-‌‌‌‌‌