Logic gate — bir yoki bir nechta ikkilik kirish ustida mantiqiy amal bajarib, ikkilik chiqish hosil qiladigan raqamli elektron elementdir. 0 va 1 fizik qurilmada kuchlanish diapazonlari bilan ifodalanadi. Gate’lar protsessor, xotira, boshqaruvchi va raqamli aloqa sxemalarining kombinatsion hamda ketma-ket mantiqiy bloklarini quradi.
Asosiy amallar
AND gate barcha kirishlar 1 bo‘lgandagina 1 chiqaradi. OR kamida bitta kirish 1 bo‘lsa 1 beradi. NOT bitta kirishni teskarilaydi. XOR kirishlar turlicha bo‘lganda 1, XNOR esa ular teng bo‘lganda 1 chiqaradi. NAND va NOR mos ravishda AND hamda OR natijasining inkoridir.
Gate xatti-harakati truth table bilan aniq tasvirlanadi. Ikki kirishli gate uchun to‘rtta kombinatsiya mavjud. Boolean algebra bir xil funksiyani turli ifodalar bilan yozish, sxemani soddalashtirish va ekvivalentligini isbotlash imkonini beradi.
Universal gate’lar
NAND yoki NORning o‘zi universal hisoblanadi: yetarli sonli shunday gate yordamida istalgan Boolean funksiyani qurish mumkin. Bu ishlab chiqarishda bir xil turdagi elementlardan foydalanishni osonlashtiradi. Amaliy chip kutubxonasi baribir tezlik, quvvat va maydon muvozanati uchun turli murakkab cell’larni taklif qiladi.
Half adder XOR orqali yig‘indi bitini, AND orqali carry bitini hosil qiladi. Full adder ikki operand va kiruvchi carryni qo‘shadi. Ko‘p bitli adderlar shu bloklardan tuziladi; carry tarqalish usuli sxemaning maksimal tezligiga ta’sir qiladi.
Fizik xususiyatlar
Ideal mantiqda chiqish darhol o‘zgaradi, real gate’da propagation delay mavjud. Bir yo‘ldagi gate’lar kechikishi kritik pathni belgilaydi va sinxron sxemaning maksimal clock chastotasini cheklaydi. Rise time, fall time, fan-out va yuk sig‘imi ham signal sifatiga ta’sir qiladi.
Noise margin kuchlanishdagi shovqinga qaramay 0 va 1ni to‘g‘ri ajratish zaxirasidir. CMOS gate statik holatda nisbatan kam quvvat sarflaydi, lekin o‘tish vaqtida capacitance zaryadlanishi sabab dinamik quvvat ishlatadi. Juda tez switching issiqlik va energiya talabini oshiradi.
Kombinatsion va ketma-ket mantiq
Kombinatsion sxema chiqishi faqat joriy kirishlarga bog‘liq. Multiplexer, decoder, comparator va arithmetic logic unit shunday bloklardir. Ketma-ket sxemada esa oldingi holat ham muhim; latch va flip-flop bitni saqlaydi, register va state machine shu asosda quriladi.
Asinxron kirish clock chegarasiga yaqin o‘zgarsa flip-flop metastable holatga tushishi mumkin. Synchronizer zanjiri ehtimolni kamaytiradi, ammo uni mutlaq nol qilmaydi. Shu sabab clock domain crossing alohida dizayn va verifikatsiya talab qiladi.
Loyihalash va tekshirish
Hardware description language mantiqni yuqori darajada ifodalaydi, synthesis vositasi esa uni gate netlistga aylantiradi. Simulation funksional natijani, static timing analysis kechikish talablarini tekshiradi. Formal equivalence optimallashtirilgan netlistning boshlang‘ich model bilan bir xil mantiqiy funksiya bajarishini tasdiqlashi mumkin.
Glitch va hazard
Boolean jihatdan to‘g‘ri kombinatsion sxema propagation delay farqi sabab kirish o‘zgarganda qisqa noto‘g‘ri pulse chiqarishi mumkin. Bu hodisa logic hazard yoki glitch deb ataladi. Chiqish faqat keyingi clock qirrasida ushlansa pulse zararsiz qolishi mumkin, ammo u asynchronous control yoki clock signaliga borsa xavfli. Karnaugh map orqali redundant term qo‘shish, yo‘llarni muvozanatlash yoki chiqishni register qilish hazardni kamaytiradi. Power tahlilida glitchlar keraksiz switching va dinamik energiya sarfini ham oshirishi hisobga olinadi.
Bog‘liq tushunchalar
Boolean algebra, Truth table, Flip-flop, Combinational logic, CMOS, Arithmetic logic unit