DIGITÁLIS TECHNIKA I Logikai feladat-oknak hívjuk azokat a feladatokat, amelyeknek a megoldása során véges számú feltételek közül valamely feltételek teljesüléséhez egyértelmüen hozzá kell rendelni a véges számú következmények közül egy valamilyen előírás szerint egy következményt. Csak két egymástól különböző jelértékeket engedélyezve, N számú bemeneti jelértéket feltételezve 2N számú bemeneti jelérték együttes lehetséges ( ismétléses variáció). Gyakorlatban 2N számú bemenet kombinációról beszélünk! Logikai hálózat: olyan logikai döntést hozó berendezés, amely az egyes feltételek teljesülését jelző bemeneti jelértékek hatására létrehozza feladatnak megfelelő kimeneti jelértékeket oly módon, hogy a feladatban leírt Feltétel-Következmény teljesüljön. Logikai rendszer-nek nevezzük a logikai hálózatoknak egy adott feladat megoldása céljából együttműködő összességét. Közömbös bemeneti kombináció: kimeneti kombinációt hozhat létre. előírt logikai feladat szempontjából tetszőleges Nem teljesen határozott (specifikált) logikai feladatoknak nevezzük a közömbös bemeneti kombinációkat tartalmazó logikai feladatokat. Logikai érték-nek nevezzük, a két lehetséges jelértéket elvonatkoztatva a fizikai paraméterértékektől. (, ; H,L ; igaz,hamis )
Boole-algebra: A logikai változó-k logikai értékeket helyettesítenek, és szintén csak két értéket vehetnek fel. Ezeket L-nek vagy -nak, ill. H-nak vagy -nek nevezzük. Logikai alapműveletek: Konjunkció (szorzás) : = = = = y= 2 ; y=2 Diszjunkció (összeadás) : += += += += y= + 2 Negáció (tagadás, invertálás, komplementálás ): y = =, Logikai azonosságok: A = A+=A A = A A A = A+= A+A= A A = A A+A=A = De Morgan azonosságok: A+B = A B A B = A + B kommutatív tulajdonság: asszociatív tulajdonság: A B=B A A+ B = B + A (A B) C = A (B C) = A B C (A + B) + C = A + (B + C) = A + B + C
disztributív tulajdonság: A(B+C) = AB + AC A + BC = (A + B)(A + C) abszorpciós tulajdonság: A(A+B) = A A + AB = A Logikai függvény: kimeneti(függő) ill. bemeneti(független) logikai változók függvény kapcsolata pl.: F(ABC) = AB + ABC + C Logikai függvények kanonikus alakjai Logikai függvények diszjunktív kanonikus alakja: A B C F minden egyes szorzat olyan függetlenváltozó-kombinációt tartalmaz, amelyhez tartozó függvényérték= minden egyes szorzatban az összes függetlenváltozó szerepel ponált, vagy negált formában pl.: F(ABC) = ABC + ABC + ABC + ABC + ABC minterm fogalma: olyan logikai szorzat, amelyben az összes függetlenváltozó szerepel ponált, vagy negált formában m37 = ABC pl.: F(ABC) = ABC + ABC + ABC + ABC + ABC F(ABC) = m3 + m32 + m34 + m35 + m37 4 F(ABC) = Σ(,2,4,5,7 )
Logikai függvények konjunktív kanonikus alakja: A B C F logikai összegek logikai szorzata; a logikai összegek azokból a függetlenváltozókombinációból képezhetők, amelyhez tartozó függvényérték= minden egyes összegben az összes függetlenváltozó szerepel ponált, vagy negált formában materm fogalma: olyan logikai összeg, amelyben az összes függetlenváltozó szerepel ponált, vagy negált formában M37 = A+B+C pl.: F(ABC) = ABC + ABC + ABC > F(ABC) = m3 + m33 + m36 F(ABC) = F(ABC) = ABC + ABC + ABC = (A+B+C)(A+B+C)(A+B+C) F(ABC) = M37 M34 M3 4 F(ABC) = Π(,4,7)
Logikai függvények egyszerűsítése Algebrai egyszerűsítés szomszédos minterm-nek nevezzük azokat a mintermeket, amelyekben csak egy logikai változó szerepel az egyik mintermben ponáltan, a másikban negáltan, a többi logikai változó azonos. A szomszédos mintermek összevonhatók. 4 4 m = ABCD és m 4 = ABCD szomszédos, mert 4 4 m + m 4 = ABCD + ABCD = ACD(B + B) = ACD Feladat: egyszerűsítsük a következő logikai függvényt! F(ABC) = ABC + ABC + ABC + ABC + ABC + ABC átrendezve: F(ABC) = ABC + ABC + ABC + ABC + ABC + ABC F(ABC) = AB(C + C) + AB(C + C) + AC(B + B) F(ABC) = AB + AB + AC F(ABC) = A(B + B) + AC F(ABC) = A + AC disztributív azonosság miatt F(ABC) = (A + A )( A + C ) = A + C
Karnaugh-tábla 3 és 4 logikaiváltozós Karnaugh-tábla
5 logikaiváltozós Karnaugh-tábla
Quin-McCluskey számjegyes minimalizálás Két minterm akkor szomszédos, ha az egyiknek megfelelő bináris szám eggyel és csakis eggyel több -et tartalmazzon mint a másik. A mintermeknek megfelelő bináris számokban szereplő -ek számát a mintermek(termek) bináris súlyá-nak nevezzük. Legyen pl.: m42 és m46 egy 4 változó logikai függvény két minterme 4 4 m 2 : ABCD m 6 : ABCD követelmény: szomszédos mintermek alsó indeeinek különbsége 2 egész számú hatványainak kell lennie m46 ; m42 6-2=22 2 követelmény: 4 m 2 : ABCD 4 m 4 : ABCD nem szomszédos!! m44 ; m42 4-2=2 szomszédos mintermek bináris súlyainak különbségének -nek kell lennie 3 követelmény: 4 m7 m49 : ABCD : ABCD nem szomszédos!! m49 ; m47 9-7=2 szomszédos mintermek a nagyobb bináris súlyúnak a decimális indeének is nagyobbnak kell lennie Quin-McCluskey minimalizálási módszer szerint két minterm akkor szomszédos, ha egyszerre mind a három követelmény teljesül!
Közömbös bemeneti kombinációt tartalmazó logikai függvények egyszerüsítése: Feladat: minimalizáljuk az alábbi logikai függvényt. 4 F(ABCD) = Σ[( 2,3,5,3,5 ) + (,,7,4 )] F(ABCD) = ABCD + ABCD + ABCD + ABCD + ABCD Ha a logikai függvény tovább már nem egyszerűsíthető, azaz nem vonhatók össze további mintermek, vagy termek, akkor a logikai függvényben szereplő szorzatokat, termeket, prímimplikáns-oknak nevezzük.
Szimmetrikus logikai függvények -nek nevezzük azokat a logikai függvényeket, amelyek a független változók tetszőleges páronkénti felcserélése esetén változatlanok maradnak. Szimmetria szám: Minden szimmetrikus logikai függvényhez megadható legalább egy olyan pozitív egész szám, hogy a logikai függvényértéket hány változó értéke állítja elő. pl.: 3 változós logikai függvényre F(A,B,C) = ABC + ABC + ABC + ABC F(A,B,C) = BAC + BAC + BAC + BAC F(A,B,C) = ABC + ABC + ABC + ABC = S3,3 (A,B,C) pl.: 4 változós logikai függvényre F(A,B,C,D) = ABCD + ABCD + ABCD + ABCD + ABCD + ABCD + ABCD + ABCD + ABCD + ABCD F(A,B,C,D) = S42,3 (A,B,C,D) Egy n változós szimmetrikus logikai függvény negáltja szintén szimmetrikus. S42,3 (A,B,C,D) = S4,,4 (A,B,C,D)
Logikai függvények realizálása: Y=A Y=AB Y=AB = A+B Y=A+B Y=A+B = AB Y=AB+AB Y=AB+AB F(A,B)=A+B logikai függvény előállítása NAND kapuval F(A,B)=AB logikai függvény előállítása NOR kapuval
Feladat: az alábbi logikai függvény megvalósítása. 4 F(ABCD) = Σ(,3,4,6,8,9,,2 ) Megoldás: 4 F(A,B,C,D) = Σ(,3,4,6,8,9,,2 ) = m4+ m43+ m44+ m46+ m48+ m49+ m4+ m42 F(A,B,C,D) = ABCD+ABCD+ABCD+ABCD+ABCD+ABCD+ABCD+ABCD F(A,B,C,D) = BD + ABD + ACD
Kombinációs hálózat: Aszinkron sorrendi (szekvenciális ) hálózat: Szinkron sorrendi (szekvenciális) hálózat: Mealy-modell: fz (X,y) => Z Moore-modell: fz (y) => Z Aszinkron sorrendi hálózat jellemzői: a, stabil állapotok elérése miatt általában a szekunder változók száma nagyobb mint a szinkron sorrendi hálózatok esetében b, sebességét csak az alkatrészek működési sebessége, és a jelkésleltetés korlátozza c, megépíthetők visszacsatolt kombinációs hálózattal Sszinkron sorrendi hálózat jellemzői: a, nincs stabil, ill. instabil állapot értelmezve, emiatt általában a szekunder változók száma kisebb mint az aszinkron s.h. esetén, emiatt logikai tervezésük egyszerübb b, sebességét az órajel frekvenciája határozza meg, ezért lassúbbak c, bemeneti, és kimeneti kombinációk változására szinkronizációs feltételeknek kell teljesülniük d, a logikai megvalósítás során biztosítani kell a szinkronizációs feltételeket
Aszinkron sorrendi hálózat állapottáblája: A példában szereplő X4 bemeneti kombináció esetén nincs stabil állapot! Szinkron sorrendi hálózat állapottáblája: Elemi sorrendi hálózatok Az elemi sorrendi hálózatok Moore-model szerint működnek, mert az egy szekunder változójuk egyben a kimeneti változójuk is. Ezért az elemi sorrendi hálózatokat kétállapotú billenő elemeknek, vagy flip-flop-oknak nevezik. Leképezésük: fz(y) => Z = y
R-S f-f. S (Set) bemenetre adott logikai érték a kimenetet ( azaz a szekunder változót ) értekre állítja, az R (Reset) bemenetre adott logikai érték a kimenetet értékre állítja. Az RS = bemeneti kombináció nem deffiniált. Az R-S f-f definíciója alapján kitöltött Karnaugh-tábla, és állapotgráf R-S f-f stabil állapotai: R-S f-f logikai függvénye: Elvégezve a lehetséges összevonásokat: Z = y = S + Ry R-S f-f realizálása visszacsatolt kombinációs hálózattal:
J-K f-f. Működése megegyezik az R-S f-f működésével azzal a különbséggel, hogy a JK = bemeneti kombináció definiált. A JK bemenetre adott kombináció hatására a f-f megváltoztatja a mindenkori kimeneti állapotát. A J-K f-f definíciója alapján kitöltött Karnaugh-tábla, és állapotgráf A J-K f-f JK = bemeneti kombináció hatására nem tud létrejönni stabil állapot, ezért csak szinkron üzemmódban tud működni. Elvégezve az összevonásokat, és felírva az Y=f(J,K,y) logikai függvényt, J-K f-f logikai függvénye: Y = Jy + JK + Ky J-K f-f realizálása visszacsatolt kombinációs hálózattal:
D-G f-f. ( latch ) D (Data) bemenetre adott logikai érték megjelenik a kimeneten, ha a G (Gate-kapu) bemeneten logikai érték van. ( G = alatt Y = D ). G= alatt a D bemenettől függetlenül megtartja az utolsó G= pillanatban fennálló értéket. ( D = alatt Y = y ). A D-G f-f definíciója alapján kitöltött Karnaugh-tábla, és állapotgráf D-G f-f stabil állapotai: Elvégezve a lehetséges összevonásokat: A D-G f-f logikai függvénye: Y = DG + yg + yd Működhet aszinkron, vagy szinkron üzemmódban D-G f-f realizálása visszacsatolt kombinációs hálózattal:
T f-f A T f-f-ot a J-K f-f-ból származtatjuk úgy, hogy J,K-t összekötjük és T-vel jelüljük. Vagyis a J-K f-f-ra csak, vagy bemeneti kombinációt engedünk. A J-K f-f definíciója alapján kitöltött Karnaugh-tábla, és állapotgráf T f-f logikai függvénye: Y=Ty+Ty ( kizáró VAGY kapcsolat ) T f-f realizálása visszacsatolt kombinációs hálózattal:
D f-f A D f-f egy egy bemenetű szinkron sorrendi hálózat. A kimenet azt az állapotot veszi fel, ami az órajel impulzus fellépésekor a D bemeneten éppen fennáll. Ezt az állapotot megtartja a következő órajel impulzus fellépéséig. A D f-f definíciója alapján kitöltött Karnaugh-tábla, és állapotgráf D f-f logikai függvénye: Y=D D f-f realizálása visszacsatolt kombinációs hálózattal:
Élvezérelt és Master-Slave f-f-ok Pl.: élvezérelt D f-f realizálása pl.: R-S Master-Slave f-f realizálása törlő és beíró bemenettel
Digitális áramkörcsaládok: ( irodalom: Hainzmann-Varga-Zoltai ELEKTRONIKUS ÁRAMKÖRÖK ) TTL TTL-S TTL-LS TTL-ALS ( Transistor-Transistor Logic ) ( Schottky-TTL ) ( Low power Schottky-TTL ) ( Advenced Low power Schottky-TTL ) HC HCT ( Direct-Coupled Transistor Logic ) ( Resistor-Transistor Logic ) ( Diode-Transistor Logic ) ( Emitter-Coupled Logic ) ( Complementery Metal Oid Semiconductor ) ( High speed CMOS ) ( High speed CMOS TTL compatible input) DCTL RTL DTL ECL CMOS Digitális áramkörök specifikációs adatai: ( irodalom: Hainzmann-Varga-Zoltai ELEKTRONIKUS ÁRAMKÖRÖK ) működési jellemzők működés funkcionális leírása statikus jellemzők logikai szintek terhelhetőség működési sebesség jellemzők jelterjedési idő működési sebesség működés környezeti feltételei határadatok konstrukciós adatok dc adatok ac adatok tp, tphl, tplh tpd = (tphl + tplh)/2 absolute maimum tokméret. lábkiosztás Megbízható működést, a legkedvezőtlenebb működési feltételek ( worst-case) esetén specifikált jellemzők figyelembevételével lehet biztosítani. Digitális áramkörök típikus építőelemei: a, b, c, d, e, f, g, h, i, j, k, kapuk, inverterek meghajtók komparátorok kódolók,dekódolók flip-flop-ok multipleerek, demultipleerek analóg kapcsolók számlálók multivibrátorok regiszterek (shift regiszterek) összeadók - gates, inverters - buffers, drivers - comparators - encoders, decoders - flip-flops - multipleers, demultipleers - analog switches - counters - multivibrators - registers - arithmetic functions / 74HC, 74HC4 / 74HC25, 74HC244 / 74HC688 / 74HC47, 74HC38 / 74HC73, 74HC74 / 74HC5 / 74HC466 / 74HC393 / 74HC23 / 74HC66, 74HC595 / 74HC8, 74HC283
Logikai áramkörök: DTL logikai áramkör felépítése: TTL áramkörök felépítése: CMOS inverter áramkörök felépítése: ECL logikai áramkör felépítése: Schottky-TTL áramkör felépítése CMOS NAND kapu felépítése: Fan-out fogalma: Kimeneti terhelhetőség, bemenetek maimális száma. CMOS NOR kapu felépítése: azaz egy kimenetre kapcsolható
TTL-ALS áramkör DTLZ áramkör DTL áramkör RTL áramkörök DCTL áramkörök Bemeneti-kimeneti jelszintek +5V-os tápfeszültség esetén TTL áramkörök esetén: UOHma UOHmin UOLma UOLma = 5,V = 2,4V =,4V =,V UIHma UIHmin UILma UILmin = = = = 5,V 2,V,8V,V
Különböző flip-flop-ok megvalósítása más flip-flop-ok felhasználásával RS ff megvalósítása DG ff felhasználásával
JK ff megvalósítása D ff felhasználásával
Digitális funkcionális eszközök Frekvenciaosztók: Aszinkron bináris FEL/LE számláló
Aszinkron frekvenciaosztók: 2*N + ODIV5 ODIV3
Aszinkron (N) számláló. megoldás: pl.: -es számláló ff-ok meghatározása (m): 2m N N bináris szám '' értékeinek meghatározása és ezek ÉS kapcsolata fenti ÉS kapcsolat kimenetét az N bináris szám '' kimenei ff-jainak 'PRESET' bemeneteire kell kötni 2. megoldás: m ff-ok meghatározása (m): 2 N N bináris szám '' értékeinek meghatározása és ezek ÉS kapcsolata fenti ÉS kapcsolat kimenetét és az órajelet - a biztos törlés miatt - egy RS-ff-on keresztül a ff-ok 'CLR' bemeneteire kell kötni.
Szinkron számlálók: előre(felfelé) számláló n-edik fokozata akkor billenjen, ha az összes előző fokozat kimenete '' hátra(lefelé) számláló n-edik fokozata akkor billenjen, ha az összes előző fokozat kimenete '' az első fokozatnak minden esetben billennie kell Szinkron számlálók párhuzamos átvitellel: párhuzamos átvitel miatt a számlálási frekvencia nagy N fokozatú számláló esetén N- bemenetű ÉS kapu szükséges pl.: szinkron 4 bites (6-os) számláló soros átvitel nélkül, és soros átviteli lehetőséggel
Szinkron számlálók soros kapcsolása: Szinkronszámlálók soros átvitellel: soros átvitel miatt a számlálási frekvencia csökken csak kétbemenetű ÉS kapu szükséges pl.: szinkron 4 bites soros átviteli (6-os) előreszámláló, és előre/hátra számláló
Gyűrűs számlálók: a, b, c, a, b, c, közönséges gyűrűs számláló / N tárolóval kialakított moduló N-es számláló Akkor működnek helyesen, ha induláskor egy kezdeti értéket kapnak Möbius ( vagy Johnson ) számláló / N tárolóval kialakított moduló 2*N-es számláló közönséges gyűrűs számláló felépítése önbeálló gyűrűs számláló felépítése Johnson számláló felépítése
Regiszterek: A tárolt bitek száma a tároló elemek számával azonos. Szinkron, és aszinkron törlésű léptető, vagy shiftregiszterek
Univerzális regiszter: A tárolt bitek száma a tároló elemek számával azonos. Minden tároló elemre a bemenetét vezérlő áramkört meg kell ismételní. Kódoló, dekódoló áramkörök: Kódoló: valamely kód átalakítása egy adott összefüggés szerint egy más kóddá pl.: az N-ből bin, ill BCD kód, GRAY-bináris kódoló, BCD-bináris kódoló, stb pl.: az az N-ből bináris kódoló esetén az N db bemeneti állapotban mindig csak egy db -es van, ezért a képzett (m) bites kódszó szélessége az a legkisebb m szám, ahol 2m N. Az az N-ből kódolás esetén más kóddá ( pl.: BCD ) is át lehet alakítani. Dekódoló: a kódoló forditottja: a dekódoló egység valamely kódból előállítja az az N-ből kódot pl.: az N-ből bináris kódoló és dekódoló realizálása
BIN-GRAY kódoló, és dekódoló:
Prioritásos kódolók igazságtáblája: X X2 X3 X4 X5 X6 X7 X8 X9 X D C B A Multipleerek, demultipleerek Multipleerek vagy kiválasztó egység: kimenetén azt a bemeneti jelet választja ki, amelynek címe a címbemeneteken szerepel. Demultipleer a multipleer fordítottja,: azaz az egyetlen adatbemeneten lévő jelet arra a kimenetre teszi, amelynek a címe a címbemeneteken szerepel.
Memóriák Adat hozzáférés tekintetében: SAM ( Sequential Access memory ) FIFO ( First In First Out ) LIFO ( Last In First Out ) RAM (Random Access memory ) párhuzamos cím és adatbusz soros cím és adatbusz SPI bus I2C busz pl.: típus 62256 SRAM pl.: típus AT454 pl.: típus 24LC52 Írhatóság tekintetében: ROM ( Read Only Memory ) PROM ( Programmable Read Only Memory ) RMM ( Read Mostly Memory ) EPROM ( Erasable Programmable Read Only Memory ) EAROM ( Electrically Alterable Read Only Memory ) EEPROM ( Electrically Erasable Programmable Read Only Memory ) RWM ( Read-Write Memory ) SRWM ( SRAM) DRWM (DRAM) ROM felépítése: EPROM felépítése:
RWM felépítése: bipoláris tranzisztor RWM memória szervezés: Dinamikus memória: MOS tranzisztor
Digitális technika vizsgakérdések, Logikai hálózatok, logikai rendszerek 2, Logikai érték, logikai változó, Bool-algebra 3, Bool-algebra, logikai alapműveletek, logikai azonosságok, logikai függvény 4, Logikai függvények kanonikus alakjai 5, Logikai függvények egyszerűsítése 6, Szimmetrikus logikai függvény, logikai függvények realizálása 7, Hazárdok 8, Aszinkron sorrendi hálózatokat, és állapottáblája 9, Szinkron sorrendi hálózatokat, és állapottáblája, Elemi sorrendi hálózatokat, Élvezérelt, és master-slave ff-ok 2, Digitális áramkörcsaládok 3, Frekvenciaosztók, számlálók 4, Aszinkron, szinkron számlálók 5, Regiszterek, kódolók, dekódolók, multipleerek, demultipleerek 6, Memóriák