DH Könyv PDF

Keresztes Pter
DIGITLIS HLZATOK
Kszlt a HEFOP 3.3.1-P.-2004-09-0102/1.0 plyzat tmogatsval.
Szerz: dr. Keresztes Pter

egyetemi docens
Lektor: dr. Sziray Jzsef

egyetemi docens
Keresztes Pter, 2006

Digitlis hlzatok A dokumentum hasznlata
A dokumentum hasznlata | Tartalomjegyzk Vissza 3
A dokumentum hasznlata
Mozgs a dokumentumban
A dokumentumban val mozgshoz a Windows s az Adobe Reader meg-
szokott elemeit s mdszereit hasznlhatjuk.
Minden lap tetejn s aljn egy navigcis sor tallhat, itt a megfelel
hivatkozsra kattintva ugorhatunk a hasznlati tmutatra, a tartalomjegy-
zkre, valamint a trgymutatra. A s a nyilakkal az elz s a kvet-
kez oldalra lphetnk t, mg a Vissza mez az utoljra megnzett oldalra
visz vissza bennnket.
Pozcionls a knyvjelzablak segtsgvel

A bal oldali knyvjelz ablakban tartalomjegyzkfa tallhat, amelynek
bejegyzseire kattintva az adott fejezet/alfejezet els oldalra jutunk. Az
aktulis pozcinkat a tartalomjegyzkfban kiemelt bejegyzs mutatja.
A tartalomjegyzk s a trgymutat hasznlata

Ugrs megadott helyre a tartalomjegyzk segtsgvel
Kattintsunk a tartalomjegyzk megfelel pontjra, ezzel az adott fejezet
els oldalra jutunk.
Keress a szvegben
A dokumentumban val keresshez hasznljuk megszokott mdon a
Szerkeszts men Keress parancst. Az Adobe Reader az adott pozci-
tl kezdve keres a szvegben.

Digitlis hlzatok Tartalomjegyzk
Tartalomjegyzk
1. Kombincis hlzatok tervezse .................................................. 6
1.1. Logikai rtkek s alapmveletek .............................................................. 6
1.2. A kombincis hlzat modellje................................................................ 8
1.3. Logikai fggvnyek s megadsi mdjaik................................................. 9
1.4. A logikai fggvnyek kanonikus alakjai .................................................. 13
1.5. Teljesen hatrozott logikai fggvnyek egyszerstse......................... 14
1.6. Egykimenet kombincis hlzatok tervezse.................................... 22
1.7. Tbbkimenet kombincis hlzatok tervezse ................................. 26
1.8. Hazrdok..................................................................................................... 29
2. Sorrendi hlzatok tervezse........................................................ 32
2.1. Elemi sorrendi hlzatok, trolk ........................................................... 32
2.2. Mester-szolga trolk (Flip-flopok) ........................................................ 40
2.3. A sorrendi hlzatok modelljei, alaptpusai ........................................... 45
2.4. Szinkron sorrendi hlzatok tervezsi folyamata mintapldkon
bemutatva....................................................................................................54
2.5. Aszinkron sorrendi hlzatok tervezsi folyamata mintapldkon
bemutatva....................................................................................................64
2.6. Sorrendi hlzatok tervezsi folyamatainak sszegzse....................... 78
2.7. A kezdeti llapot belltsa........................................................................ 79
2.8. llapot-sszevonsi mdszerek............................................................... 83
2.9. llapotkdolsi mdszerek ...................................................................... 94
3. sszetett digitlis egysgek ........................................................ 110
3.1. Multiplexerek, demultiplexerek..............................................................110
3.2. Regiszterek, prhuzamos elrs trolk .............................................115
3.3. Soros elrs trolk ...............................................................................117
3.4. Prhuzamos hozzfrs memrik .....................................................121
3.5. Szmllk, llapotregiszterek..................................................................122
3.6. Funkcis egysgek ...................................................................................130
3.7. Vezrl egysgek......................................................................................140
4. Bevezets a mikroprocesszoros rendszerek tervezsbe ............ 151
4.1. A Neumann-fle architektra.................................................................151
4.2. Cmzsi mdok ........................................................................................152
4.3. Utastsok s adatok ................................................................................153

Digitlis hlzatok Tartalomjegyzk
4.4. Szekvencilis program.............................................................................153

4.5. Egyszer mikroprocesszor architektra ...............................................154
4.6. A mikroprocesszor idbeli mkdse ..................................................156
4.7. Az utastskszlet .....................................................................................157
4.8. Nhny utasts vgrehajtsa..................................................................157
4.9. A RETURN (Return, azaz visszatrs az alprogrambl)
utasts vgrehajtsa.................................................................................160
4.10. A mikroprocesszor mkdsnek egyb sajtossgai ......................161
4.11. A mikroprocesszoros rendszer ............................................................162
4.12. Kommunikci mikroprocesszoros rendszerelemek kztt...........163
4.13. A mikroprocesszoros rendszerek ASSEMBLY szint
programozsa ...........................................................................................165

Digitlis hlzatok Kombincis hlzatok tervezse
1. Kombincis hlzatok tervezse
1.1. Logikai rtkek s alapmveletek

1.1.1. A logikai vltozk s rtkeik
Tbb olyan megfigyelhet objektum van, amelynek mindssze kt rtke
ltezik. Ilyenek pldul a logikai lltsok, amelyek hamisak vagy igazak, az
esemnyek, amelyek nem kvetkeznek be, vagy bekvetkeznek, a kapcso-
lk, amelyek nyitottak vagy zrtak. A szmtstechnikban az ilyen tpus
vltozkat a nagy angol matematikusrl Boole-fle vltozknak (boolean)
nevezzk, lehetsges rtkeik a false s a true. A modern digitlis
ramkrk technikjban a jelekhez rendelt vezetkeknek mindssze kt-
fle feszltsgszintje lehet, egy a zrus szinthez igen kzeli alacsony (low)
s egy nhny volt nagysg magas (high) szint. Az egyszer brzols
kedvrt az egyik feszltsgszinthez a 0, a msikhoz az 1 szmot ren-
deljk. Leggyakrabban a 0-t az alacsony, az 1-et a magas szinthez ren-
delik. A digitlis technikban ezeket a vltozkat, illetve jel-vezetkeket
logikai vltozknak nevezzk. A 0 s az 1 pedig logikai rtkek.
1.1.2. A logikai alapmveletek
A logikai rtkek kztt hrom logikai alapmveletet definiltak. Ezek: a
logikai szorzs vagy konjunkci (S) egy szorzs mveleti jellel (), a logi-
kai sszeads vagy diszjunkci (VAGY) az sszeads mveleti jelvel (+),
amelyek kt operandus, gynevezett binris mveletek, s a logikai taga-
ds vagy negci (fellvons), amely csak egy operandus, gynevezett
unris mvelet. A defincikat a kvetkez tblzatokkal adjuk meg:
1.1.3. A logikai azonossgok

Az azonossgok olyan igazsgok, amelyek a vltozk minden lehetsges
rtkre rvnyesek. Bizonytsuk igen egyszer, ha a vltozkat minden
lehetsges rtkkel helyettestjk, s ellenrizzk, teljeslnek-e a mveleti

tblk elrsai. Lssuk a legfontosabb azonossgokat Az els csoportban

vltozk s konstansok (rtkek), majd vltozk s vltozk kztt.
A 0 = 0 A+0 = A
A 1 = A A +1 = 1
A A = 0 A+ A =1
ASSZOCIATIVITS:
A + ( B + C ) = ( A + B) + C )
A ( B C ) = ( A B) C
DISZTRIBUTIVITS:
A (B + C) = A B + A C
A + ( B C ) = ( A + B) ( A + C )
DE-MORGAN AZONOSSGOK:
A + B = A B
A B = A + B
Adjunk rtelmezst pldul az esemnyek krben az
A 1 = A
azonossgnak! Eszerint A egy ktkimenetel esemny, 1 a biztosan bek-
vetkez esemny, a kett szorzata pedig egy olyan sszetett esemny,
amelynek mind az A, mind az 1-gyel jellemzett esemny bekvetkezse a
szksges s elgsges felttel. Az azonossg szerint az sszetett esemny
bekvetkezse az A esemny bekvetkezsvel azonos rtk.
Klns jelentsggel br a kt De-Morgan azonossg. Ezek kzl a
msodikat rtelmezzk a kapcsolk krben. Legyen A s B kt kapcsol.
A kett S kapcsolata egy sorosan kapcsolt kapcsolprt reprezentl,
amely csak akkor vezethet, ha mind az A, mind a B kapcsol vezet lla-
potban van. A szorzat tagadsa arra az llapotra utal, amikor az sszetett
kapcsol nem vezet. Az azonossg jobb oldala megadja, hogy ez azzal
egyenl rtk, hogy vagy az A van nem vezet llsban, vagy a B van
nem vezet llsban, vagy mindkett nem vezet llsban van.

1.2. A kombincis hlzat modellje

1.2.1. A kombincis hlzat fekete doboz modellje
A kombincis hlzat fekete doboz modelljt az 1.1. brn mutatjuk be.
A kombincis hlzatnak bemenetei s kimenetei vannak, valamennyi egy
logikai vltoz, illetve logikai jel, s ennek megfelelen mindegyik csak a
0-t, vagy az 1-et veheti fel rtkknt. Ez a kombincis hlzat fekete do-
boz modelljnek egyik lnyeges tulajdonsga. A bemeneteket az X1, X2, ,
Xi, , Xn, a kimeneteket Y1, Y2, , Yj, , Ym szimblumokkal jelltk.
A kombincis hlzat a bemeneti jelek felett rtelmezett bemeneti r-
tk-varicikhoz a kimeneti jelek rtk-variciit rendeli. (Minden beme-
netihez legfeljebb csak egy kimenetit)
Pldul n = 3 esetben a bemeneti varicik: (0 0 0, 0 0 1, 0 1 0, 0 1 1,
1 0 0, 1 0 1, 1 1 0, 1 1 1)
1.1. bra. A kombincis hlzat fekete doboz modellje.
Ha m = 2, akkor a kimeneti varicik halmaza: (0 0, 0 1, 1 0, 1 1).

Jellemezzk az ilyen bemenetekkel s kimenetekkel rendelkez kom-
bincis hlzatot a kvetkez tblzattal:
Bemeneti varicik Kimeneti varicik
X1 X2 X3 Y1 Y2
0 0 0 0 1
0 0 1 1 0
0 1 0 0 1
0 1 1 1 1
1 0 0 1 1
1 0 1 0 1
1 1 0 1 1
1 1 1 1 0

Megjegyezzk, hogy a bemeneti rtkvarici helyett gyakran, ltalnosan

elfogadott, de pongyola mdon bemeneti kombincit, illetve a kimeneti
rtkvarici helyett kimeneti kombincit mondanak. Pedig a szban for-
g fogalom a kombinatorikban varici. Mivel ez a pongyola terminolgia
szakmai krkben is elterjedt, a kvetkezkben mi is hasznlni fogjuk.
Az elzkbl kvetkezik a kombincis hlzat fekete doboz modell-
jnek msik lnyeges tulajdonsga, nevezetesen, hogy adott bemeneti kom-
bincira a hlzat mindig ugyanazt a kimeneti kombincit szolgltatja.
1.2.2. Teljesen specifiklt s nem teljesen specifiklt hlzat
Teljesen specifiklt a kombincis hlzat, ha minden bemeneti varici-
hoz olyan kimeneti varici tartozik, amelyben minden kimenet rtke
specifiklva van.
A kombincis hlzat nem teljesen specifiklt, ha van legalbb egy
olyan bemeneti varici, amelyhez rendelt kimeneti varicikban legalbb
egy vltoz rtke kzmbs.
Keressnk vlaszt a kvetkez krdsre:
Hny n bemenettel s m kimenettel rendelkez teljesen specifiklt
kombincis hlzat ltezik?
A vlaszt kombinatorikai mdszerrel adhatjuk meg.
Mivel n bemeneti jelhez 2n rtk-varici tartozik, m kimeneti jelhez
pedig 2m rtk-varici tartozik, annyi teljesen specifiklt n bemenet s m
kimenet klnbz hlzat van, ahnyszor a 2m szm kimeneti rtk-
varicibl ismtlssel ki tudunk vlasztani egy 2n hosszsg sorozatot.
Ez pedig:
n
(2m )2
1.3. Logikai fggvnyek s megadsi mdjaik

A kombincis hlzat minden egyes kimenetre megadhatjuk, hogy a
bemeneti jelek mely variciira lesz az adott kimenet 1, s mely bemeneti
varicikra lesz a kimenet 0. Ha van olyan bemeneti varici, amelyre
nincs elrsunk, (sem 1, sem 0, hanem mindegy, azaz dont-care), akkor
a hlzat nem teljesen specifiklt. A KH minden egyes kimenethez egy n
vltozs logikai fggvny tartozik.
1.3.1. Logikai fggvny megadsa igazsg-tblzattal
Egy logikai fggvnyt igazsg-tblzattal gy adunk meg, hogy minden
bemeneti varicit felsorolunk, s megadjuk a hozzjuk rendelt fggvny-

rtket, azaz az (1, 0, ) hrmas valamelyikt. Az ilyen tblzatot a fgg-

vny igazsgtblzatnak nevezzk.
Az igazsgtblval val megadsra lljon itt egy plda:
A B C F
0 0 0 0
0 0 1 0
0 1 0 1
0 1 1 1
1 0 0 1
1 0 1 0
1 1 0 1
1 1 1 0
1.3.2. Logikai fggvny megadsa algebrai kifejezssel

Az algebrai alakot az igazsgtblzatbl olvashatjuk ki. Azokhoz a beme-
neti varicikhoz, amelyekhez 1-es kimeneti rtk tartozik, egy logikai
szorzatot rendelnk. A szorzat tnyezi a vltozk ponlt vagy neglt vl-
tozatai. Ponlt alak maga a vltoz neve, a neglt vltozat fogalmt pedig
mr ismerjk. A szorzat vltozja
ponlt, ha a bemeneti variciban 1 szerepel az oszlopban,
neglt, ha a bemeneti variciban 0 szerepel az oszlopban.
Az gy felrt bemeneti varicikat logikailag sszeadjuk.
Adjuk meg az elz pontban definilt 3-vltozs fggvny algebrai
alakjt!
F ( A, B, C ) = ABC + ABC + ABC + ABC
Megjegyezzk, hogy a logikai-algebrban, akr csak a klasszikusban, a
szorzs jelt felesleges lerni a szorzandk kz.
Azokat a logikai szorzatokat (termeket), amelyekben a fggvny vala-
mennyi vltozja szerepel, mintermeknek nevezzk. A logikai fggvny
megadsnak ezt a mdjt, azaz azon mintermek sszegt, amelyekhez a
fggvny 1-et rendel, mintermes kanonikus norml alaknak nevezzk.
1.3.3. Logikai fggvny megadsa elvi logikai vzlattal
Igen gyakori megadsi mdszer, hogy a kanonikus alakot grafikus form-
ban adjuk meg. A logikai mveleteket ilyenkor logikai szimblumok rep-

rezentljk. A negls mvelett INVERTEREK, a szorzattermeket S

szimblumok, illetve S kapuk, az sszegzst VAGY szimblumok, illet-
ve VAGY kapuk reprezentljk.
A ksbbiekben gyakran fogjuk hasznlni azokat a kapuszimblumo-
kat, amelyek a VAGY s az S kapuktl abban klnbznek, hogy a ki-
menetk azok logikai negltjai. Teht a ktvltozs NEM-VAGY kapu
kimenete akkor 0, ha a bemenetek valamelyike, vagy mindkett 1, a ktvl-
tozs NEM-S kapu kimenete pedig akkor 0, ha mindkt bemenet rtke
1. Knnyen belthat, hogy egy kt-bemenet NEM-S egyik bemenet-
rl INVERTER-knt mkdik, ha a msik bemenetre lland 1-est kap-
csolunk, a NEM-VAGY pedig akkor, ha a msik bemenetre lland 0-t
kapcsolunk.
Az 1.2. brn megmutatjuk az elvi logikai vzlatok kapukszletnek
egy rszt. Rajzolssal nagyobb bemenetszm kapuszimblumokat kny-
nyen alkothatunk, de tudnunk kell, hogy nem mindegyik ltalunk rajzolt
kapuszimblumhoz tartozik gyrtott logikai kapu.
1.2. bra. A logikai szimblumok
Az 1.3. brn mutatjuk meg pldnk inverterekkel, S, valamint VAGY

kapuszimblumokkal megadott elvi logikai vzlatt.

1.3. bra. A plda szerint logikai hlzat megadsa

grafikus szimblumokkal
1.3.4. A ktvltozs logikai fggvnyek

A kvetkez tblzatban megadjuk az sszes ktvltozs logikai fggvny
defincijt.
bemenetek fggvnyrtkek
x1 x2 f0 f1 f2 f3 f4 f5 f6 f7 f8 f9 f10 f11 f12 f13 f14 f15
0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1
0 1 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1
1 0 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1
1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1
Lthatjuk, hogy 16 ktvltozs logikai fggvny van. Ezek kzl ttekint-

jk a nevezetesebbeket, illetve azokat, amelyeket gyakran hasznlunk logi-
kai hlzatok ptse sorn, mint kapu-ramkrket.
A 0 s 1 genertorok
Az f0 rtke llandan 0, nem rzkeny a bemenetekre. Negltja az f15,
amelynek rtke llandan 1.
Az S s a NS fggvny, illetve kapu
Az f1 s az f14 rtkei ppen egyms negltjai. Az f1 nevezetes, csak ak-
kor szolgltat 1-et, ha mindkt bemeneti vltoz rtke 1, az f14 pedig

ekkor ppen 0-t szolgltat. Az elbbi neve S, az utbbi NEM-S, rvi-

den NS.
A VAGY s NVAGY fggvny, illetve kapu
Az f7 s az f8 fggvnyek ugyancsak egyms negltjai. Az f7 rtke 1, ha
legalbb ez egyik bemenet 1. Az f8 rtke ppen ilyenkor 0. Az elbbi a
VAGY, az utbbi a NEM-VAGY, (N-VAGY) fggvny, illetve kapu.
Az ANTIVALENCIA s az EKVIVALENCIA fggvny s kapu
Ha a ktvltozs fggvny csak abban az esetben szolgltat 1-et, ha a kt
bemenet klnbz, akkor a fggvny neve: ANTIVALENCIA, vagy
KIZR-VAGY. Ez az f6 fggvny. Negltja az f9, ppen ezekben az
esetekben 0, s egyezs esetn 1. Ez utbbi neve EKVIVALENCIA, vagy
KIZR-NEM-VAGY. Az ezeknek megfelel kapuramkrket igen
gyakran hasznljuk. A KIZR-VAGY mvelet jellsre gyakran hasz-
nljk a szimblumot.
1.4. A logikai fggvnyek kanonikus alakjai

Az elz pontban megismerkedtnk a teljesen hatrozott logikai fggvny
mintermes kanonikus norml alakjval. Ltezik egy msik kanonikus alak
is, amelyet a mintermes alakbl ktszeri tagadssal, ktszeres neglssal
szrmaztathatunk. A mr ismert pldnkon bemutatjuk, hogy a De-Morgan
azonossg alkalmazsval hogyan kapjuk a msik kanonikus alakot.
F ( A, B, C ) = ABC + ABC + ABC + ABC
F ( A, B, C ) = ABC + ABC + ABC + ABC =
= ABC ABC ABC ABC =
= ( A + B + C) ( A + B + C) ( A + B + C) A + B + C)
Azt kaptuk, hogy a mintermekkel, azaz logikai szorzatok sszegvel adott
eredeti fggvny negltja felrhat olyan logikai sszegek szorzataknt,
amelyekben ugyancsak minden vltoz szerepel. Ezeket az sszegeket

maxtermeknek nevezzk. Vegyk nyilvntartsba a kapott maxtermeket a

kvetkez mdon:
Els lpsknt rendeljnk a ponlt vltozkhoz 1-et, a neglt vlto-
zkhoz 0-t. Ezutn rendeljk sorszmknt ezekhez a maxtermekhez a
kapott binris szmokhoz tartoz decimlis szmokat. Tegyk ugyanezt a
mintermekkel is. A mintermeket kis m betvel, egy fels s egy als index-
szmmal jelljk. A fels index a vltozk szmt adja meg, az als az
elbb kiszmtott sorszm. Hasonlan, nagy M betvel jelljk a maxter-
meket, ugyanolyan rtelm indexekkel. Pldul:
m23 = ABC , M 53 = A + B + C
Belthat, hogy a fenti sorszmozssal s jellsi rendszerben rvnyesek
a kvetkez transzformcis szablyok:
1. min = M (2n n 1i )
2. f ( X 1 , X 2 ,.... X n ) = min + m nj + ....mkn =
= M (2n n 1i ) M (2n n 1 j ) ..... M (2n n 1 k )
1.5. Teljesen hatrozott logikai fggvnyek

egyszerstse
A teljesen hatrozott logikai fggvnyek egyszerstsre lehetsgeinek
ngy alapvet mdszert mutatunk be, nem egyforma sllyal s mlysg-
ben. Ezek:
Egyszersts algebrai mdszerrel,
Quine mdszere,
A Karnaugh-tbls mdszer,
A QuineMcCluskey-mdszer.
1.5.1. Egyszersts algebrai mdszerrel
Egyszerstsk a bemutatott azonossgokat kihasznlva a mr megismert
hromvltozs logikai fggvnynket! A disztributivitst kifejez azonos-
sgok arra mutatnak, hogy a klasszikusan kiemelsnek nevezett talakts

itt is vgrehajthat. A logikai sszeg els kt szorzattermjbl s a mso-

dik kt szorzattermjbl is kiemelhet egy-egy ktvltozs szorzat. Ezutn
felismerhetjk a zrjelben lv sszegek 1 rtkt, valamint azt, hogy a
1-gyel val beszorzst nem kell feltntetni. Az eredmny kifejezs teht
azonos a kiindulsival, de jval egyszerbb annl.
F ( A, B, C ) = A B C + A B C + A B C + A B C =
= A B(C + C ) + AC ( B + B) = A B + A C
1.5.2. Quine mdszere
A Quine-mdszer alapja a fggvny 1-es rtkhez rendelt kt minterm
kzs szorztnyezinek olymdon trtn kiemelse, hogy a zrjelben
egy logikai vltoznak s negltjnak az sszege maradjon, amely logikai
sszeg 1.
1.4. bra. A Quine-mdszer oszlopai
Gondoljunk arra, hogyan hajtottuk vgre az algebrai egyszerstst az
AB C
s az
ABC
mintermek kzs tnyezjnek, az
AB
kiemelsvel. A zrjelen bell a
(C + C ) = 1

marad. Ezzel a kt sszevont minterm helyn a kzs szorztnyez ma-

rad, a zrjelen bell marad vltoz eltnik. A Quine-mdszer lnyege
ennek az eljrsnak a szisztematikus ismtlse mindaddig, amg ilyen eltn-
tethet vltoz mr nem marad. Ha a vltozk szma n, elszr az n t-
nyezs minterm prokat vonjuk gy ssze n1 tnyezs termekk, azutn a
kiadd n1 tnyezs term-prokat n2 tnyezs termekk, azutn a ki-
add n2 tnyezs termprokat n3 tnyezs termekk, s gy tovbb.
Az 1.4. brn mutatjuk a szisztematikus eljrst ismert pldnkra.
Azok a mintermek, amelyekhez a fggvny 1-et rendel, az I.-gyel jellt
oszlopban lthatk, binris rtkeikkel megcmezve. A II. oszlopban az
sszevonhat mintermprok cmei s az sszevonsok eredmnyei ltha-
tk. Ha a II. oszlopban lennnek sszevonhat kttnyezs szorzatok,
akkor a harmadik oszlop nem lenne res.
Figyeljk meg, a kiemelssel sszevonhat termek sajtossga, hogy
azok mindig csak egyetlen vltozban klnbznek egymstl. Azt mond-
juk, hogy az ilyen termek n. Hamming-fle tvolsga egysgnyi.
Miutn nincs tbb oszlop, ahov j sszevonsokat rhatnnk, az osz-
lopokban szerepl, tovbbi sszevonsokba mr nem bevonhat termeket
prmimpliknsoknak nevezzk. Pldnk prmimpliknsai:
AB, BC , AC
A Quine-mdszer kvetkez lpse a felttlenl szksges prmimplikn-
sok kivlasztsa. Ezt a prmimpliknsok lefedsi tblzatnak segtsgvel
vgezhetjk el (1.5. bra). A prmimpliknsok kijellik a tblzat sorait, az
oszlopokat pedig azok a mintermek, amelyekhez a fggvny 1-et rendel.
Ezutn * karakterrel bejelljk az egyes prmimpliknsok ltal lefedett
mintermeket.
1.5. bra. Prmimpliknsok lefedsi tblja

Nyilvnval pldul, hogy az

AB
prmimplikns az
A BC
s a
A BC
mintermeket fedi. A lefedsi tbla megmutatja, elhagyhatunk-e gy egy
prmimpliknst, hogy a lefedend mintermek mindegyike fedve marad.
Ha tallunk ilyeneket, azokat elhagyhatjuk. Pldnkban egyetlen redun-
dns, teht elhagyhat prmimplikns a
BC
A lnyeges, elhagyhatatlan prmimpliknsok teht:
AB, AC
A vgeredmny a lnyeges prmimpliknsok logikai sszege, teht:
F ( A, B, C ) = A B + AC
1.5.3. Logikai fggvnyek Karnaugh-tbls egyszerstse
A Karnaugh-tbls minimalizls lnyegben a Quine-eljrs geometriai
reprezentcija. Az n vltozs fggvny lehetsges mintermjeinek megfe-
leltetnk egy-egy ngyzetet, s gy helyezzk el ket, hogy az egymstl
egysgnyi tvolsgra lv, azaz csak egyetlen bitben klnbz minterme-
ket reprezentl ngyzetek szomszdosak legyenek. Ennek az a nagy el-
nye, hogy igen knnyen szrevesszk az sszevonhat mintermeket, illet-
ve termeket, hiszen azok egyms mellett helyezkednek el.
Hromvltozs K-tbla
Hrom vltoz esetn 8 mintermnk van. Ezeket egy 42-es tglalapon
helyezzk el, gyes peremezssel A peremezs azt jelenti, hogy a vltozkat
kt csoportra osztjuk, egy kttag s egy egytag csoportra. Vzszintesen
elrendezzk az els csoport lehetsges kombinciit, (0 0, 0 1, 1 1, 1 0),
fgglegesen pedig a msodik egyvltozs csoport kt lehetsges rtkt,
(0, 1). Figyeljnk fel arra, hogy a mintermek geometriai szomszdossga
csak gy biztosthat, ha a csoportok kombincii is egysgnyi tvolsgra

vannak egymstl. Ezrt a klnleges s szokatlan sorrend, azaz (0 1) utn

az (1 1)!
Nzzk az 1.6. brt. Ezzel a peremezssel a ngyzetek megcmezhe-
tk a vltozkhoz rendelt binris vektorokkal, ugyanakkor a ngyzetek
(cellk) jellhetk is a binris vektornak megfelel decimlis szmjeggyel.
Pldul a fels ngyzetsor harmadik ngyzete az (1 1 0) binris vektorral
cmezhet, s a 6-os decimlis rtkkel jellhet. A minterm algebrai alak-
jt az ismert mdon olvassuk ki:
ABC
Figyeljnk fel arra is, hogy nem minden logikai szomszdossg jelenik meg
geometriai szomszdossgknt. Belthatjuk, hogy a (0 0 0) szomszdos az
(1 0 0) mintermmel, a (0 0 1) pedig az (1 0 1) mintermmel, br nincsenek
egyms mellett. Ezt szem eltt kell tartanunk a hasznlatnl, de belthat-
juk, hogy egy henger palstjra csavarva a tblt, a geometriai s logikai
szomszdossg egyttllsa tkletes lenne.
1.6. bra. 3-vltozs K-tbla ktfle formj peremezssel
Ngyvltozs K-tbla
A 4-vltozs K-tbla sszelltsa s peremezse elvi jdonsgot nem je-
lent, de a szleken elhelyezked mintermek kztti szomszdossgokat
rdemes megvizsglni (1.7. bra).

1.7. bra. Ngyvltozs K-tbla
sszevont termek kiolvassa K-tblbl

Miutn szrevettk kt minterm sszevonsnak lehetsgt, ki kell ol-
vasni az sszevont termet. Tegyk fel pldul, hogy a fenti 4-vltozs K-
tbln brzolt mintermek kzl az 5-s s a 13-as mintermek mindegyi-
khez 1-et rendel egy teljesen hatrozott logikai fggvny (1.8. bra). Az
sszevont term itt egy ktngyzetes tglalap, amelynek a cmbl az A
vltoz rtke mr hinyzik, hiszen az A az a vltoz, amely a VAGY
mvelettel kiesik.
1.8. bra. sszevont term kiolvassa
gy a cm algebrai alakja:
BC D
Tegyk most fel, hogy az eddigi mintermeken kvl szerepel a fggvny-
ben a 7-s s a 15-s is (1.9. bra). Ez utbbiakat egymssal sszevonva

felismerjk, hogy az gy kialakult ktmintermes kt term ugyancsak szom-

szdos, s a C vltoz is kiejthet. Ezzel egy geometriailag mg nagyobb,
ngy mintermes term addott az sszevonssal, amely mr csak ktvlto-
zs. Kiolvasva: BD
1.9. bra. Kt szomszdos kettes term

sszevonsval keletkezett 4-es kiolvassa
Teljesen hatrozott fggvnyek egyszerstse K-tbln

A K-tbls minimalizls lpsei kvetkezk:
1. lps: A szksges mret K-tbla felvtele
2. lps: A fv. 1 rtkeihez tartoz mintermek bejellse
3. lps: Az sszes prmimplikns-terlet kijellse sszevonssal
4. lps: Az egyszerstett fv. felrsa a prmimpliknsok kzl val vlo-
gatssal.
Egyszerstsk K-tbln a mr ismert, teljesen hatrozott fggvnynket:
F ( A, B, C ) = A B C + A B C + A B C + A B C
Az 1. a 2. s a 3. lpst illusztrljuk az 1.10. brn. Az 1-es mintermek
bejellse utn megkezddhet a prosval trtn sszevons. Mivel tag-
jaik szomszdosak, sszevonhatk a kvetkez prok:
(0 1 0, 0 1 1), (0 1 0, 1 1 0), (1 1 0, 1 0 0).
Ezutn azt vizsgljuk, hogy a hrom sszevont kettes csoportok kztt van-
nak-e szomszdos, nagyobbakk sszevonhatk. Szembetn, hogy nin-
csenek ilyenek, teht a hrom ktvltozs term mindegyike prmimplikns.

A 4. lps ugyancsak a K-tbln vgezhet el a legegyszerbben. Kp-

zeljk el, hogy a prmimpliknsok ngyszgei lemezek, amelyek felemelhe-
tk a tblrl. Ha ezeket sorra felemeljk, s azt talljuk, hogy a felemelt
term ltal fedett valamennyi minterm a tbbi term ltal fedve marad, ak-
kor a felemelt term felesleges, eltvolthat. Ezzel szemben, ha a felemels
kvetkeztben valamelyik minterm fedetlen marad, a prmimplikns el-
hagyhatatlan.
1.10. bra. Pldnk prmimpliknsainak

megkeresse 3-vltozs K-tbln
Prmimpliknsok:
A B, B C , AC
Ezzel a technikval befejezhetjk feladatunk egyszerstst: A
BC
term felesleges, elhagyhat.
Nem teljesen hatrozott fggvnyek egyszerstse K-tbln
Ha a logikai fggvny nem teljesen hatrozott, akkor legalbb egy olyan
bemeneti kombinci, azaz minterm van, amelyhez rendelt fggvny rtk
szmunkra kzmbs. Ilyenkor klnbz szimblumokkal jelljk be a
K-tblba az 1-es s kzmbs mintermeket. Ez utbbiakat clszer a
mr ismert kis vzszintes vonalkval jellni. A kzmbs mintermekkel
szabadon bnhatunk. Ha elnys az egyszersts szempontjbl, akkor
sszevonjuk ket az 1-es mintermekkel, ha nem, akkor 0-s mintermeknek
tekintjk ket. Lssunk egy pldt kzmbs mintermekkel rendelkez 4-
vltozs logikai fggvny egyszerstsre (1.11. bra).
A prmimpliknsok kztt egy ngymintermes, teht ktvltozs, s
kt ktmintermes, azaz hromvltozs term szerepel. Kiolvasva:
B D, AC D, AB C

Ezek kzl a msodik elhagysa nem vltoztat a teljes lefedsen.
1.11. bra. Prmimpliknsok,

kzmbs bejegyzsek kztti vlogatssal
1.5.4. A QuineMcCluskey-mdszer
A QuineMcCluskey-mdszer lnyegt a teljessg kedvrt bemutatjuk, de
nem trgyaljuk rszletesen. Ahogyan a nv is mutatja, a mdszer a Quine
eljrsbl alakult ki, de a mintermek sszevonhatsgt nem a binris k-
dok kztti tvolsg, hanem a decimlis rtkek alapjn vizsglja. Kny-
nyen megfogalmazhatk ugyanis azok a kritriumok, amelyek fennllsa
esetn kt minterm, illetve kt term sszevonhat. Ennek a megkzelts-
nek nagy elnyei, hogy a 4-5-nl nagyobb bemeneti vltoz szm esetn is
knnyen alkalmazhat, s egyszer a szmtgpes megvalsts. A Quine
McCluskey-mdszer a szmtgpes logikai szintzis eljrsok elfutrv
vlt a mlt szzad hatvanas veiben.
1.6. Egykimenet kombincis hlzatok tervezse

1.6.1. Teljesen specifiklt, egy-kimenet hlzatok tervezse
Az egykimenet, teljesen specifiklt kombincis hlzatot egyetlen, telje-
sen hatrozott logikai fggvnnyel specifikljuk. Ez trtnhet igazsgtb-
lzattal, az 1-es mintermek szmjegyes felsorolsval, vagy algebrai alak
megadsval. A tervezs ltalunk kvetett lpsei a kvetkezk:
1. Egyszersts Karnaugh-tblval
2. Dnts a logikai ptelemek vlasztkrl
3. Realizci

Igazsgtbla vagy szmjegyes minterm felsorols esetn az 1-es mintermek

tblzatba vitele utn megindulhat a prmimpliknsok megkeresse, s a
szksges prmimpliknsok kivlasztsa. Algebrai alak esetn a megadott
szorzattermek K-tbln trtn brzolsa utn megprblunk egy egy-
szerbb lefedst tallni.
1.6.2. Tervezsi plda
Tervezzk meg NS kapukkal a kvetkez specifikcival megadott ngy-
bemenet, teljesen specifiklt kombincis hlzatot.
F: (2, 4, 5, 6, 9, 10, 11, 12, 13, 14, 15)
Az 1.12. bra mutatja a K-tblt az sszevonsokkal, illetve a prmimpli-
knsokkal.
1.12. bra. Az F: (2, 4, 5, 6, 9, 10, 11, 12, 13, 14, 15) prmimpliknsai
Kiolvasva a prmimpliknsokat:
B D, B C , A D, AC , C D, AB
Meghatrozva a minimlis irredundns lefedst:
BC , AD, C D
talaktva a kapott fggvnyt a De-Morgan azonossg felhasznlsval az
albbi algebrai kifejezst, s az 1.13. bra szerinti realizcit kapjuk.
F = BC + AD + C D = BC AD C D

1.13. bra. Realizci NS kapukkal
1.6.3. Nem teljesen specifiklt, egykimenet hlzatok

tervezse
Az egykimenet, nem teljesen specifiklt kombincis hlzatot egyetlen,
nem teljesen hatrozott logikai fggvnnyel specifikljuk. Ez trtnhet
igazsgtblzattal, az 1-es s a kzmbs mintermek felsorolsval. A ter-
vezs lpsei itt is a kvetkezk:
1. Egyszersts Karnaugh-tblval
2. Dnts a logikai ptelemek vlasztkrl
3. Realizci
1.6.4. Tervezsi plda nem teljesen specifiklt esetre (1)
Felsoroljuk az 1-es s kzmbs mintermeket:
F1: ( 2, 4, 5, 9, 10, 11, 12, 14, 15)
Fdc: (0, 6, 13)
Feltntetve ezeket a K-tbln, az 1.14. bra szerinti elrendezst kapjuk.
1.14. bra. Az F1: (2, 4, 5, 9, 10, 11, 12, 14, 15),

Fdc: (0, 6, 13) fggvny prmimpliknsai a K-tbln

A K-tblbl kiolvashat prmimpliknsok:
A D, B D, B C , A D, AC , C D, AB
A minimlis irredundns lefeds termjei:
B C, A D, C D
gy az F1 logikai fggvny termek logikai sszegvel felrt alakja:
F1 = B C + A D + C D
1.6.5. Tervezsi plda nem teljesen specifiklt esetre (2)
Ezt a feladatot igazsgtblval adjuk meg:
A B C D F
0 0 0 0 1
0 0 0 1 1
0 0 1 0 1
0 0 1 1 0
0 1 0 0 1
0 1 0 1 0
0 1 1 0 0
0 1 1 1 0
1 0 0 0
1 0 0 1
1 0 1 0 1
1 0 1 1 0
1 1 0 0 0
1 1 0 1 0
1 1 1 0 0
1 1 1 1 0
A prmimpliknsokat az 1.15. brn mutatjuk meg. Figyeljnk fel a sarkok

szomszdossgbl add 4 mintermbl ll termre.
A tbla alapjn kapott irredundns lefeds:
C B, AC D, B D
Lthatjuk, hogy itt nincs felesleges prmimplikns.

1.15. bra. A 2-es tervezsi plda K-tblja
1.7. Tbbkimenet kombincis hlzatok

tervezse
A tbbkimenet, pldul m-kimenet kombincis hlzatot m szm
logikai fggvnnyel adunk meg. Lehetsges volna, ha ezeket egymstl
teljesen fggetlenl egyszerstennk s realizlnnk. Ennl azonban sok-
szor van egyszerbb alakra vezet megolds is. Ennek illusztrlsra te-
kintsk a kvetkez bevezet tervezsi feladatot.
1.7.1. Egy bevezet plda
Kpzeljk el, hogy egy hrom-bemenet, kt-kimenet hlzat fggvnye-
inek lefedsekor az 1.16. bra szerinti K-tblkra jutottunk:
1.16. bra. Kt kimenet hlzat fggvnyeinek lefedse

Ha a kt kimenet fggvnynek prmimpliknsait egymstl fggetlenl

keressk meg, a kvetkez kt kifejezst kapjuk:
F1 = A B C + A B C + A B C = A B + B C
F2 = A B C + A B C + A B C = AC + B C
A kt fggvny prmimpliknsai kztt tallunk egy kzs, mindkt lefe-
dsben prmimplikns szerepet jtsz termet, a BC-t.
1.17. bra. Realizci a kzs prmimplikns egyszeri megvalstsval
Ezt nyilvnvalan csak egyszer, azaz egy S vagy egy NS kapuval reali-
zljuk, hiszen mindkt msodik szinten lev VAGY, illetve NS kapuba
bevezethet az ezt reprezentl logikai jel (1.17. bra). A kzs prmimpli-
knsokat teht clszer megkeresni. Arra is gondolnunk kell azonban,
hogy nemcsak a kzs prmimpliknsok egyszeri megvalstsa egyszer-
stheti a realizcit, hanem a kzs impliknsok is. Ezek kzl a legna-
gyobbakat rdemes megkeresni.
Fontos igazsg, hogy a legnagyobb kzs impliknsokat a fggvnyek
szorzatnak lefedsvel talljuk meg. A szorzatfggvny prmimpliknsai
kztt ott vannak a krt fggvny legnagyobb kzs impliknsai, amelyek
kztt termszetesen a kzs prmimpliknsok is ott vannak. A szorzat-
fggvny lefedse nagyon egyszer, a K-tblba bejegyezzk azokat a
mindkt fggvnyben 1-es rtkkel szerepl mintermeket. gy minden
egyes fggvny lefedshez nemcsak a sajt prmimpliknsokat, hanem a
legnagyobb kzs impliknsokat is szmtsba vesszk.

1.7.2. Prmimplikns kszlet tbbkimenet kombincis

hlzatok egyszerstshez
Bevezet pldnkban talltunk egy kzs, mindkt fggvnyben szerepl
prmimpliknst, s ezt csak egyszer kellett realizlnunk. Ebbl kvetkezik,
hogy a kt kimenetet nem clszer egymstl fggetlenl egyszersteni.
Az elz pontban lertak alapjn a kt fggvny legnagyobb kzs imp-
liknsait megkapjuk, ha ellltjuk a szorzat fggvny prmimpliknsait.
Ezek kztt a kzs prmimpliknsok is megjelennek.
lltsunkat nem bizonytjuk, hanem az 1.18. brn illusztrljuk azt.
1.18. bra. A legnagyobb kzs impliknsok megkeresse

a szorzatfggvny prmimpliknsainak kijellsvel
A prmimplikns kszleteket teht a kvetkez term-halmazokbl lltjuk

ssze:
F1 : AB, B C , A B C
F2 : BC , AB, AC
F1 F2 : BC , AB C
Ltjuk, hogy a BC kzs prmimplikns, az AB C pedig kt nem kzs
prmimplikns kzs rsze, azaz egy legnagyobb kzs implikns. A kt-
kimenet hlzat fggvnyeinek lehetsges lefed-termjeit teht az 1.19.
brn lthat csoportokbl lltjuk ssze.

1.19. bra. Az F1 s F2 fggvnyek prmimpliknsai,

kiegsztve a legnagyobb kzs impliknssal
Az 1.19. bra alapjn elvgzett lefedsvizsglat s a felesleges impliknsok

eltvoltsa sorn elnyben rszestjk a legnagyobb kzs impliknsokat.
gy az F2 teljes lefedshez s felptshez az
AC
helyett a kzs,
AB C
termet hasznljuk. Termszetes, hogy a BC-t csak egyszer kell realizlni.
A fentiek tbb kimenetre val ltalnostsa alapjn megfogalmazhat
a tbbkimenet hlzat egyszerstsnek clszer folyamata
1. lps: Megkeressk valamennyi kimenethez rendelt fggvny prmimp-
liknsait.
2. lps: Megkeressk valamennyi lehetsges fggvny-szorzat prmimp-
liknsait.
3. lps: Minden egyes kimeneti fggvny mintermjeit megprbljuk le-
fedni a kvetkez kszletbl:
a sajt, ms kimenetekhez nem tartoz prmimpliknsokkal,
azokkal a maximlis kzs impliknsokkal, amelyek az adott
fggvnynek impliknsai.
1.8. Hazrdok
Az eddigiek sorn a kombincis hlzatokat statikusan szemlltk, nem
foglalkoztunk a tranziensekkel, azaz az tmeneti jelensgekkel. ltalban
megkveteljk, hogy bemenet vltozsnak hatsra a kimenet a specifik-
cinak megfelelen reagljon. A specifiklttl val eltrsek a hazrdok.

1.8.1. A statikus hazrd keletkezse

Tekintsk meg az 1.20. brn lthat hlzat tranzienst, azaz tkapcsol-
st az (1 1 0) bemenetre bellt llapotbl a (0 1 0) bemenetre bell lla-
potba, azaz azt a tranzienst, amelyet a hlzat az A bemenet 1-bl 0-ba
val tmenetre mutat. A tranziens analzis sorn felttelezzk, hogy min-
den egyes kapufokozatnak ksleltetsi ideje van. Belthatjuk, hogy az A
lefutsakor a VAGY kapu egyik bemenetn a magas szint biztosan elbb
fut 0-ra, mint a msik 1-re, hiszen ez utbbi vltozs kt kapun, egy
inverteren s egy S kapun halad t, mg az elbbi ksleltetse csak egy S
kapunyi. Van teht egy tmeneti id-intervallum, amikor a VAGY kapu
egyik bemenete mr nem, a msik bemenete mg nem 1-es szint. Annak
ellenre teht, hogy a kimenetnek a logikai specifikci szerint 1-ben kne
maradnia, tmenetileg lefut 0-ra. Ez a rvid idej 0-impulzus egyrszt nem
felel meg a logikai specifikcinak, msrszt egyrtelm, hogy a kapuk
fizikai ksleltetse okozza azt.
1.20. bra. A statikus hazrd keletkezse
1.8.2. A statikus hazrd meghatrozsa

Ha egyetlen bemeneti vltoz logikai rtknek megvltozsakor a kime-
net a specifikci szerint nem vltozna, a realizlt hlzat kimenetn mgis
tmeneti vltozs zajlik le, statikus hazrdrl beszlnk.
1-es tpus statikus hazrd: ha a specifiklt hlzat kimenete a beme-
neti vltozs ellenre magasan marad, de a realizlt hlzat egy 0 impul-
zust mutat.

0-s tpus statikus hazrd: ha a specifiklt hlzat kimenete a bemeneti

vltozs ellenre alacsonyan marad, de a realizlt hlzat egy 1 impulzust
mutat.
1.8.3. A statikus hazrd kikszblse
A statikus hazrdok kikszblse igen egyszer, redundns impliknsok
bevezetsvel. Az 1-es tpus statikus hazrd veszly mindig abbl addik,
hogy klnbz prmimpliknsokhoz tartoz 1-es mintermek kerlnek
egyms mell. Egy jabb thidal implikns bevezetsvel elrjk, hogy az
tmenet alatt a kimenet logikai szintje lland marad.
1.21. bra. A statikus hazrd kikszblse
A redundns, ugyanakkor hazrdmentest prmimpliknssal egytt felrt

kifejezs:
F ( A, B, C ) = AC + A B + B C
1.8.4. Dinamikus hazrd
Dinamikus hazrdrl beszlnk, ha egy bemeneti vltoz rtkvltsra a
kimenetnek logikai rtket kell vltania, de ez egy tmeneti visszatrs
ksretben zajlik le. Belthat, hogy a dinamikus hazrd tbbszint hl-
zatokban lp fel akkor, ha a hlzat valamely rsze nincs statikus hazr-
doktl mentestve. A statikus hazrdokat kell kikszblni, gy a dinami-
kus hazrd eltnik.
1.8.5. Funkcionlis hazrd
Tbb bemeneti vltoz egyttes vltozsa tbbszrs szintvltshoz vezet.
Csak a ksleltetsek manipullsval kszblhetk ki, de az a legjobb, ha a
tranziensek tovbbterjedst szinkronizcival megakadlyozzuk.

Digitlis hlzatok Sorrendi hlzatok tervezse
2. Sorrendi hlzatok tervezse
2.1. Elemi sorrendi hlzatok, trolk

Ebben a fejezetben a kombincis hlzatokkal kapcsolatban megismert
mdszerekkel olyan egyszer logikai elemeket ismernk meg, amelyeket a
sorrendi (szekvencilis) hlzatok ptelemeiknt fogunk felhasznlni.
Ezeket az ramkrket sszefoglal nven trolknak nevezzk. A szek-
vencilis hlzatok ltalnos tulajdonsgait, tervezsk ltalnos mdsze-
reit a trolk megismerse utn tanulmnyozzuk.
2.1.1. Az S-R trol mkdse s igazsg-tbli
Az aszinkron S-R trolnak kt bemenete (S, R) s egy kimenete (Y) van.
A trol viselkedst a kvetkezkppen adjuk meg:
Ha a trol mindkt bemenetre 0-t kapcsolunk, a kimenet nem vlto-
zik. Ha csak az R bemenetet emeljk fel, akkor ennek hatsra a kimenet,
aktulis szintjtl fggetlenl 0-ra ll. Ha csak az S bemenetet emeljk fel,
akkor a kimenet, aktulis szintjtl fggetlenl 1-re ll.
Azt, hogy mindkt bemenetet egyidejleg felemeljk, megtiltjuk.
Felhvjuk a figyelmet arra, hogy ebben a specifikciban szokatlan dol-
got fogalmaztunk meg. Nevezetesen, ha a trol kimenete 1, s (0 0)-t
kapcsolunk a bemenetre, akkor a kimenet 1 szint marad, mg ha ugyanezt
a kimenet 0 llapotban tesszk, akkor a kimenet 0 marad. Ugyanarra a
bemeneti kombincira adott vlasz teht a kimenet a sajt korbbi rtk-
tl is fgg, nemcsak a bemenetektl. Ez teht nem kombincis hlzat!
A 2.1. brn ltjuk, hogy az ramkr kimenete visszakerl a bemenetek
kz.
A specifikci alapjn megalkothat a trol egyszer igazsgtblja
(2.2. bra, bal oldal). Az egyszer igazsgtbla csak a bemeneti kombinci-
khoz tartoz kimeneteket, azaz llapotokat tartalmazza, de ezttal gy,
2.1. bra. Az S-R trol logikai smja

hogy a kimenetek rtkei kztt a nullkon s az egyeseken kvl az aktu-

lis llapot, vagy negltja is megjelenhet. Az egyszer igazsgtbla alapjn
knnyen generlhat az gynevezett sszetett igazsgtbla (2.2. bra, jobb
oldal), amelyben a kimenet aktulis rtkei a bemeneti kombincik kz
kerlnek, s az igazsgtbla kimeneti vltozjt a kimenet kvetkez rt-
keinek meghatrozsra hasznljuk. Ezt gy is felfoghatjuk, hogy egy
olyan specilis kombincis hlzatot terveznk, amelyen ugyanaz a vlto-
z kimenetknt s bemenetknt is szerepel azaz a kimenet a bemenetre
vissza van vezetve de az igazsgtblba rt rtkek klnbzhetnek, hi-
szen idbeli eltolds van kzttk. Formlisan meg is klnbztetjk a
bemenetknt szerepl vltozt a kimenetknt szerepl vltoztl. A be-
meneten az Y szimblumot elltjuk egy fels v (visszacsatolt) fels in-
dexszel. Ennek megfelelen az Yv szintjeit tekintjk aktulis kimeneti rt-
keknek, s az Y szintjeit kvetkez kimeneti rtkeknek.
Az sszetett igazsgtbla kitltsekor fontos, hogy az S=1, R=1 beme-
neti kombinci tiltott, ezrt ott lhetnk a kzmbs kimenet elrssal.
2.2. bra. Az S-R trol egyszer s sszetett igazsgtblja
2.1.2. Az S-R trol llapot-tmeneti tblja

A viselkeds lersa alapjn az llapot-tmeneti tbla, ms nven llapot-
tbla (2.3. bra) felrsa kvetkezik. A bal szls oszlopban felsoroljuk az
aktulis kimeneti llapotokat, a tbbi oszlopot pedig a bemeneti kombin-
cikkal jelljk. Az sszetett igazsgtbla rtkeit egyszeren bemsoljuk
ebbe az j struktrj tblzatba.

Nagyon fontos annak megjellse, hogy a bejegyzett kvetkez llapot

csak tmenetileg jelentkez (tranziens), vagy a rkapcsolt bemeneti kom-
binci fenntartsa mellett nem vltozik (stabil).
Vizsgljuk meg, hogyan llapthat meg az llapottblbl a stabilits
vagy az instabilits tnye. Ha a bemenetekre az S = 0, R = 0 bemeneti
kombincit kapcsoljuk, s az aktulis kimeneti rtk 0, azaz Yv = 0, akkor
a kvetkez llapot is 0, s ez a bemenetre visszakerlve nem vltoztat a
j kvetkez kimeneti rtken. Azaz az S = 0, R = 0-nl az Y = 0 stabil
kimeneti llapot. Ezzel szemben S = 1, R = 0, Yv = 0 instabil, hiszen az
erre kvetkez kimeneti llapot az Y = 1. Ez viszont stabilizldik, hiszen
visszakerlve a bemenetre, nem vlt ki jabb vltozst.
Ennek alapjn az llapottbla azon kimeneti llapotai stabilak, ame-
lyeknl a bejegyzett kvetkez kimeneti llapot megegyezik az aktulis
kimeneti llapottal.
2.3. bra. Az S-R trol llapot-tmeneti tblja
2.1.3. K-tbla az S-R trol megvalstsra

Akr az igazsgtbla, akr az llapottbla knnyen trajzolhat minimaliz-
lsra alkalmas K-tblv is (2.4. bra).
2.4. bra. Az S-R trol K-tblja s annak lefedse

A K-tbln elvgzett lefedsbl add S-VAGY s NS-NS realizci

algebrai kifejezse:
Y = S + R Y v = S + R Y v = S (R Y v )
2.1.4. Az S-R trol realizcii

A realizcikat bemutat brk kzl a legismertebb forma a c. rszbra
szerinti. Lssuk be, hogy az S-R trol minden stabil llapotban az Y
kimeneten megjelen rtk negltja jelenik meg a msik NS kapu kime-
netn. Ezrt ezt a kimenetet gyakran jellik az Y negltjval.
2.5. bra. a) Az S-R trol S-VAGY realizcija, b) NS-NS

realizcija s c) az utbbinak egy ismert alak logikai smja
2.1.5. Ksrlet J-K trol megvalstsra

Mdostani szeretnnk az S-R trol mkdst gy, hogy a kt bemenet
egyidej felemelst megengedjk, s erre azt szeretnnk, ha a trol lla-
pota ellenkezjre vltozna. Termszetesen a bemenetek jellse megvl-
tozik, J-re s K-ra. Az j smt a 2.6. bra mutatja.
2.6. bra. A J-K trol logikai smja

Az 2.7. brn lthat egyszer s sszetett igazsgtbla mutatjk az elvrt

mkdst.
2.7. bra. A ksrleti J-K trol igazsgtbli
2.1.6. A ksrleti J-K trol llapot-tmeneti tblja

Szerkesszk meg most a J-K kimenetre rvnyes llapot-tmeneti tblt a
stabil kimeneti llapotok bejellsvel (2.8. bra):
2.8. bra. A ksrleti J-K trol llapottblja
Lthatjuk, hogy az aszinkron J-K trolnak a J = 1 K = 1 esetben egyik

aktulis llapot-rtknl sincs stabil llapota. Ez azt jelenti, hogy ez a tro-
l hasznlhatatlan. A ksrlet negatv eredmnnyel zrult, s kimondhatjuk,
hogy ilyen J-K trol megptsnek nincs rtelme.

2.1.7. A D-G trol

A D-G trol mkdst gy definiljuk, hogy a trol a G felemelsekor
rja a kimenetre a D aktulis rtkt, majd a G lefutsakor ez az rtk ma-
radjon meg a kimeneten.
2.9. bra. A D-G trol logikai smja
Az igazsgtblk, az llapottbla a stabil llapotok bejellsvel, valamint a

K-tblk a vzolt mkds alapjn knnyen felrhatk (2.102.12. brk).
2.10. bra. A D-G trol egyszer s sszetett igazsgtbli
2.11. bra. A D-G trol llapottblja

2.12. bra. A D-G trol K-tblja
A K-tbln ezttal a fggvny valamennyi prmimpliknst feltntettk,

mert az 1-ek elhelyezkedse emlkeztet bennnket a statikus hazrdokra
jellemz helyzetre. Az S-R trol K-tbljn ilyen helyzetet nem lttunk,
ezrt a statikus hazrd problmja ott fel sem merlt. Vizsgljuk meg,
hogy egy nem hazrdmentes lefeds, az
Y = D G +G Yv
megolds zavart okoz-e a trol mkdsben.
Tegyk fel, hogy a D, G - Yv jelek rendjben (11-1)-ben vagyunk, s G
leemelsvel az (10-1) helyzetbe akarunk tmenni. Ha G elbb lefut,
minthogy a neglt G felfutna, bellhat az (10-0) llapot, s ennek hatsra
a hlzat 0-ban stabilizldna!
A helyes mkds rekben kell teht a statikus hazrdtl val mente-
sts. Ezzel a realizci S-VAGY alakja:
Y = D G + DYv +G Yv
A NS-NS realizcit a 2.13. brn lthatjuk.
2.13. bra. A D-G trol statikus-hazrdmentestett NS-NS realizcija

2.1.8. A D-G trol egy ekvivalens alakja

A 2.14. brn lthat megolds knnyen kialakthat az ismert S-R trol
smjbl. Belthat, hogy ez a megolds teljesen ekvivalens a statikus
hazrdmentes lefedssel ellltott vltozattal. Bizonytsuk be az ekviva-
lencit algebrai mdszerrel!
2.14. bra. A D-G trol egy ismert alakja
2.1.9. A D-G trol, mint memria-elem

A D-G trolt memria-elemnek tekinthetjk. A berand adatot a D
bemeneten elksztjk, majd a G ber bemenetet magas szintre emeljk.
A tranziens lejtszdsa utn a bert szint az Y kimeneten stabilizldik.
Ezutn A D rtkt mg nem vltoztatva visszaejtjk a G bemenet szint-
jt. Az Y kimeneten a bert rtk ott marad. A G lefutsa utn D hiba
vltozik, a kimenetre ez mr hatstalan.
2.1.10. Tbbszrs bemeneti vlts a D-G troln
Vizsgljuk a 2.15. bra alapjn realizlt D-G mkdst olyan bemeneti
kombinci vltsoknl, amikor egyszerre mindkt bemenetet vltoztatjuk.
2.15. bra. A D-G viselkedse tbbszrs bemenetiszint-vltsoknl

Vizsgljuk pldul a DG Yv jelek rendjben az 1 1-1 helyzetbl elid-

zett 0 0 bemeneti tmenet hatst. Azt vrjuk, hogy a hlzat megtartja az
1-est, hiszen az llapottbla szerint a 0 0-1 nl stabil 1-es bejegyzs szere-
pel. Sajnos ezt kt okbl sem garantlhatjuk. Ezek a kvetkezk:
Kt bemenetet tkletesen egy idben nem tudunk vltoztatni.
A kt bemeneti vltozs hatsa klnbz ksleltets utakon rv-
nyesl
A valsgban teht nem lehet kizrni, hogy vagy az 1 0, vagy a 0 1 be-
meneti kombinci tmenetileg bell. gy ha a 0 1 jelentkezik, azaz D lefu-
tsnak hatsa elbb rvnyesl, a kimeneten bellhat a 0 tranziens, amely
vgl, miutn G is lefut, az Y = 0 kimenetet stabilizlja.
Legjobb, ha megtiltjuk, a tbbszrs bemeneti vltsokat, azaz egy-
szerre csak egyetlen egy bemeneti jel rtke vltozhat meg.
2.1.11. A D-G trol tltszsga
A D-G trol sajtossga, hogy a G=1 helyzetben a D-re adott vltozsok
kijutnak a kimenetre. A G=1 helyzetben teht a trol a D-bemenet fell
tltsz (transzparens).
Felmerlt az igny olyan trol ellltsra, amely a bersi folyamat
alatt sem tltsz. Az ilyen trolkkal ismerkednk meg a kvetkez pon-
tokban.
2.2. Mester-szolga trolk (Flip-flopok)

2.2.1. A D- tpus mester-szolga trol
Kapcsoljunk ssze kt D-G trolt a 2.16. bra szerinti mdon, s az gy
ltrehozott egysg bemenett jelljk D-vel, kimenett Q-val. Azt a be-
menetet, amelyrl az els trol G bemenett vezreljk, s amelynek
neglt vltozja a msik trol berst vezrli, specilis funkcival ruhz-
zuk fel: RA (CLOCK, CLK) lesz a neve, illetve funkcija. A mkdst
analizlva belthatjuk, hogy az RA magas rtknl a D bemenet szintje
berdik az els D-G trolba, de ekzben a msodik trol kimenete
vltozatlan, hiszen a G bemenetre 0 jut. Az RA lefutsakor az els fo-
kozat tltszatlann vlik, a kimenetnek rtke azonban trdik a mso-
dik trol kimenetre. A bers egy ra-ciklussal megtrtnt, de gy, hogy
a teljes trol ez alatt tltszatlan maradt, hiszen egyik fokozata mindkt
rajel-helyzetben tltszatlan volt. Az ilyen kt temben berhat trolkat
nevezzk MESTER-SZOLGA (MASTER-SLAVE) trolknak, mivel az
els fokozatba bert rtket a msodik szolgai mdon bemsolja.

2.16. bra. A D-MS trol megvalstsa D-G trolkbl
A D-MS trol mkdst teht az rajel kt fzisra bontja:

A D bemenet mintavtelezse s a mintavtelezett rtk trolsa, mi-
kzben a Q kimenet vltozatlan, rzi az utolsknt bellt rtket.
A Q kimenetre a mintavtelezett rtk rkapcsolsa s trolsa, mi-
kzben a D bemenet vltozsai mr hatstalanok maradnak.
Az analzis eredmnyekppen felvehetjk a D-MS trol egyszer igazsg-
tbljt. Az ilyen rajel-vezrelt trolknl a kvetkez kimeneti llapot
jellsre az (n+1) fels indexet szoks alkalmazni, mivel az aktulis ki-
meneti llapotot az n. rajel ciklus eredmnynek tekintjk, s gy n fels
indexet alkalmazunk a jellsre. Azaz az aktulis kimenet jele Qn, a kvet-
kez Qn+1.
Feltn, hogy a D-MS trol kvetkez kimeneti llapota nem fgg az
aktulis kimeneti llapottl, csakis a D bemenettl. Az sszetett igazsg-
tbla teht azonos az egyszervel (2.17. bra).
2.17. bra. A D-MS trol igazsgtblja

2.2.2. A D-MS trol, ktfzis rajellel

Ugyanez a trol msfle, az tltszatlansgot biztonsgosabban garantl
rajel elrendezssel is megvalsthat. A 2.18. brn lthat ktfzis, nem
tlapolt rajelekkel a kt komponens-trol mkdse idben egymstl
biztonsgosan elvlaszthat.
2.18. bra. Ktfzis D-MS
2.2.3. Az lvezrelt D-MS trol

Hasonlan biztonsgos idbeli elvlasztsra trekedtek az lvezrelt
MESTER-SZOLGA trolk kialaktsa sorn. Ennek azonban az az el-
nye, hogy csak egyfzis rajelet ignyel. A megolds az, hogy az rajel
felfut lre az egyik, a lefut lre a msik trol mkdik. A kt trol G
ber-jelnek kialaktsa az ramkrn bell specilis l-logikt ignyel.
2.19. bra. lvezrelt D-MS

2.2.4. A J-K MS trol

A D-MS trolbl kiindulva valstsuk meg a J-K-MS trolt. A kimenet
visszacsatolsa a bemenetre nem okozhat instabilitst, hiszen a D-MS t-
rol nem tltsz, gy minden egyes llapotvlts az rajel temben megy
vgbe. A J-K-MS egyszer s sszetett igazsgtbli a 2.20. brn lthatk.
2.20. bra. A J-K-MS egyszer s sszetett igazsgtblja
A D-MS trolt a kvetkez mdon hasznljuk fel: tudjuk, hogy az rajel

felfutsa eltt a D bemenetre kell kapcsolnunk azt a logikai szintet amit a
lefutskor, mint a kvetkez kimeneti llapotot, a kimeneten ltni kvnunk.
Ez azt jelenti, hogy egy olyan kombincis hlzatot kell tervezni a J, K be-
menetek s a D kz, amelynek igazsg-tbljt a J-K trol sszetett tbl-
jbl knnyszerrel megkapunk, ha a Qn+1-et D-re cserljk (2.21. bra).
2.21. bra. A D-bemenetre rvnyes igazsgtbla

Ezutn a 2.22. brn lthat K-tbla segtsgvel realizlhat a D-t meg-

hajt hlzat (2.23. bra).
2.22. bra. A J-K MS K tblja s lefedse
D = J Qn + K Qn
2.23. bra. A J-K-MS megvalstsa D-MS felhasznlsval
Megjegyezzk, hogy a K-tbla statikus hazrdot mutat. Mgsem kell ha-

zrd-mentests, mivel elrhatjuk, hogy az rajelet csak akkor lehet fel-
emelni, ha a D-t meghajt hlzat tranziensei befejezdtek, s D mr nyu-
galmi llapotba kerlt.
2.2.5. Flip-flopok segd-bemenetei s szimblumaik
A 2.24. brn bemutatjuk azokat a szimblumokat, amelyekkel az lve-
zrelt MS trolkat jellni szoktk. Tudnunk kell, hogy mindkt fajta flip-
flopot gyakran kiegsztik kt bemenettel. A PRESET (Pr) bemenet a t-
rolt a funkcionlis bemenetektl fggetlenl 1-be, a CLEAR (Cl) a funk-
cionlis bemenetektl fggetlenl 0-ba lltja. Ezekkel a bemenetekkel igen
egyszeren llthatjuk be a szinkron sorrendi hlzatok kezdeti llapott.

Megjegyezzk, hogy a Pr s Cl bemenetek egyes flip-flopoknl az rajeltl

fggetlenl lltjk be a kimenetet, msoknl az rajel valamelyik lnek
hatsra. Elbbieket aszinkron Pr-Cl bemeneteknek, utbbiakat szinkron
Pr-Cl bemeneteknek nexvezzk.
2.24. bra. Preset s Clear bemenetekkel nem, s azokkal is rendelkez,

lvezrelt flip-flopok szimblumai
2.3. A sorrendi hlzatok modelljei, alaptpusai

2.3.1. A kombincis hlzatok egy jabb fekete doboz
modellje
A szekvencilis hlzatok trgyalsa eltt utalunk a kombincis hlzatok
mr megismert fekete doboz modelljre. A hlzatot jellemezhetjk az
egyes kimenetekhez rendelt logikai fggvnyekkel, amelyeket a dobozon
bell kapukkal realizlunk a megismert mdon. A modell az idbeli, tran-
ziens viselkedst nem rja le, de tudjuk, hogy a bemeneti vltozsok hatsa
idksleltetsekkel jelentkezik a kimeneteken.
2.25. bra. A kombincis hlzat fekete doboz modellje

A modellt a kvetkez logikai egyenletrendszerrel rhatjuk le:

Z1 = f z1 ( X 1 , X 2 , . . . X i , . . . X n )
Z2 = f z 2 ( X1, X 2 , . . .X i , . . .X n )
. . . . . . . . . . . . .
Z j = f zj ( X 1 , X 2 , . . . X i , . . . X n )
. . . . . . . . . . . . .
Z m = f zm ( X 1 , X 2 , . . . X i , . . . X n )
A fenti modell egy tmrebb megfogalmazsa szerint az egyes kimenetek-
hez rendelt logikai fggvnyek sszessgbl egy j fggvnyt konstrul-
va, s azt fz-vel jellve, tovbb bevezetve a bemeneti kombincik hal-
mazt (X) s a kimeneti kombincik halmazt (Z), a kombincis hlzat
egy olyan lekpezsknt ragadhat meg, amely a bemeneti kombincik
halmazt lekpezi a kimeneti kombincik halmazba.
fz : X Z
X : a bemenetikombincik halmaza
Z : a kimeneti kombincik halmaza
A msik, itt bemutatott jells a halmazok elemeire rtelmezi az fz szere-
pt. Eszerint a bemeneti kombincik halmaznak elemeihez a kombin-
cis hlzat fggvnye hozzrendel egy kimeneti kombincit. Tudjuk,
hogy a t idpontban megvltoztatott bemeneti kombinci hatsa valami-
lyen ksleltetssel jelenik meg a kimeneten, t+t idpontban.
f z : xi z j
xi : egy bemeneti kombinci
z j : egy kimeneti kombinci
A kombincis hlzat viselkedsnek legfontosabb sajtossga, hogy egy

meghatrozott bemeneti kombinci ismtelt rkapcsolsaira a tranziens
id eltelte utn mindig ugyanazt a kimeneti kombincit szolgltatja, fg-
getlenl attl, hogy az adott bemeneti kombinci kt rkapcsolsa kztt
milyen ms bemeneti kombincikat kapcsoltunk a hlzatra.
Ez az a tulajdonsg, amely a kombincis hlzatokat megklnbzte-
ti a sorrendiektl, illetve azokat ez utbbiak specilis rszhalmazv teszi.

2.3.2. A sorrendi hlzatok modelljei

A sorrendi hlzatok fekete doboz modellje formjban nem, csak vi-
selkedsben klnbzik a kombincis modelltl. Ez azt jelenti, hogy a
sorrendi hlzat ugyanarra a bemeneti kombincira rendre ms s ms
kimen-kombincit szolgltathat a kimenetein. Mskppen megfogal-
mazva: a kimeneti kombinci nem csak a pillanatnyi bemeneti kombin-
citl fgg, hanem a korbbi bemeneti kombinciktl, st azok sorrend-
jtl is fgg.
Ez csak gy lehetsges, a kimeneti kombincik nem csak a bemene-
tektl fggenek, hanem a dobozon bell elrejtett szekunder vltozktl
(Y1 . . . .Yp) is. A modellt ler logikai fggvnyek teht sszetettebbek.
Kt logikai fggvnycsoportot kell megadnunk. Az els csoport a kimene-
teket adja meg a bemenetek s a szekunder vltozk fggvnyben, a m-
sik az llapotvltozk j rtkeit hatrozzk meg a bemenetek s az ppen
fennll (aktulis) szekunder vltoz rtkek alapjn. A 2.26. bra mutatja
a modellt.
2.26. bra. A szekvencilis hlzat modellje
Ha a szekunder vltozk j rtkeit fels csillaggal klnbztetjk meg az

aktulisaktl, a modell a kvetkez logikai egyenletrendszerrel rhat le:
Z1 = f z1 ( X 1 , . . . X i , . . . X n , Y1 ,. . .Yk , . . .Yp )
Z 2 = f z 2 ( X 1 , . . . X i , . . . X n , Y1 ,. . .Yk , . . .Yp )
. . . . . . . . . . . . . . . .
Z j = f zj ( X 1 , . . . X i , . . . X n , Y1 ,. . .Yk , . . .Yp )
. . . . . . . . . . . . . . . .
Z m = f zm ( X 1 , . . . X i , . . . X n , Y1 ,. . .Yk , . . .Yp )

Y '1 = f y1 ( X 1 , . . . X i , . . . X n , Y1 ,. . .Yk , . . .Yp )

Y '2 = f y 2 ( X 1 , . . . X i , . . . X n , Y1 ,. . .Yk , . . .Yp )
. . . . . . . . . . . . . . . .
Y 'k = f yk ( X 1 , . . . X i , . . . X n , Y1 ,. . .Yk , . . .Yp )
. . . . . . . . . . . . . . . .
Y ' p = f yp ( X 1 , . . . X i , . . . X n , Y1 ,. . .Yk , . . .Yp )
A fggvnyek ltalnostsval formailag ez a modell is egyszersthet.

Kt fggvnyt kell definilni. Az els, amit kimeneti fggvnynek neve-
znk a bemeneti kombincik halmaznak s a szekunder vltozk kom-
binciibl ll halmaznak a szorzatt kpezi le a kimeneti kombincik
halmazba. A msodik ugyanezt a szorzat halmazt a szekunder kombin-
cik halmazba kpezi le. A szekunder vltozk itt kihasznlt kombinci-
it a hlzat bels llapotainak, rviden llapotainak nevezzk. Az Y hal-
maz neve gy llapothalmaz.
fz : X Y Z
fy : X Y Y
X : a bemenetikombincik halmaza
Z : a kimeneti kombincik halmaza
Y : a szekundr vltozk halmaza
Ha a fggvnyeket a halmazok elemeire rtelmezzk, akkor a viselkeds-
nek egy finomabb lerst kapjuk. A kimeneti fggvny megvalstsa egy
olyan kombincis hlzat, amelynek bemeneteire a hlzat bemenetei s
az llapotvltozk csatlakoznak, teht a bemeneti-kombinci s llapot-
kombinci prok alkotnak egy bemeneti kombincit az fz hlzaton. Ha
ezeket egy t idpontbeli rtkkel jellemezzk, akkor a hlzat kimenetein
valamilyen tranziens utn elllnak a hozzrendelt kimeneti kombincik.
Ugyanakkor ugyanez a pros a msik, fy hlzat bemeneteire rkezve egy
msik tranziens utn egy j, t+t idpontbeli llapotot hoz ltre, amely
visszakerl az fy-val jellemzett hlzat bemeneteire.

f y : ( xit , ykt ) ylt +t

f z : ( xit , ykt ) z tj
xi t : egy bemeneti kombinci a t pillanatban
z j t : egy kimeneti kombinci a t pillanatban
ykt : egy szekundr vltoz kombinci a t pillanatban
ylt +t : egy szekundr vltoz kombinci a (t + t ) pillanatban
2.3.3. A Mealy-tpus sorrendi hlzat
A sorrendi hlzat legltalnosabb bels struktrjt mutatja a 2.27. bra.
A struktra az elz pontban bemutatott fggvny-kapcsolatokat is tkr-
zi. Azt a sorrendi hlzatot, amelynek fz kimeneti hlzatra az egyenle-
tekkel is bemutatott modellnek megfelelen mind a bemenetek, mind az
llapot-vltozk rcsatlakoznak, Mealy-tpus hlzatnak nevezzk.
2.27. bra. A Mealy tpus sorrendi hlzat struktrja
2.3.4. A Moore-tpus sorrendi hlzat

Azt a specilis sorrendi hlzatot, amelynek kimeneti kombinciira csak a
bels llapotok hatnak, Moore-tpus sorrendi hlzatnak nevezzk. Azt
is mondhatjuk, hogy a Moore-fle sorrendi hlzatban a kimeneti kombi-
ncik a bels llapotok tkdolt formit szolgltatja a kimeneteken (2.28.
bra).

2.28. bra. A Moore-tpus sorrendi hlzat struktrja
2.3.5. Az aszinkron sorrendi hlzat

Az aszinkron sorrendi hlzat fy hlzatnak visszacsatolsa rajel nlkli,
direkt visszacsatols. Ezt a direkt visszacsatolst vagy kzvetlenl, huzalo-
zssal hozzuk ltre, vagy S-R trolkat helyeznk el a visszacsatol krben.
Mindkt mdszer kzs sajtossga, hogy a visszacsatols a hlzat sajt
ksleltetsi idejnek megfelelen rvnyesl. Egy stabil yj llapot adott xi
bemeneti kombincira csak akkor ll be, ha az fy lekpezsre igaz, hogy
f y ( xi , y j ) = y j
Kzvetlen visszacsatols aszinkron sorrendi hlzat

A 2.29. bra a kzvetlenl, vezetkekkel visszacsatolt aszinkron sorrendi
hlzat struktrjt egy olyan pillanatban brzolja, amikor egy j bemeneti
kombincit mr rkapcsoltunk a hlzatra, s az fy kombincis hlzat
belsejben mr megindult a kvetkez llapot kombinci generlsa. Az fy
hlzat kimenetein azonban a vltozs mg nem jelent meg, az egyenlre
mg az aktulis llapot kombincit rzi. Az fz kimenetein ugyancsak t-
meneti llapot van, hiszen a bemeneti kombinci mr megvltozott, az
aktulis llapot-kombinci ugyanakkor mg uralkodik a bemenetein.
Tegyk fel, hogy a kvetkez llapot kombinci az j bemeneti kom-
bincival olyan prost alkot az fy bemenetein, amelyhez az fy hlzat az
ugyanezt a kvetkez llapot-kombincit rendeli. Ez azt jelenti, hogy az j
llapot-kombinci stabilizldik. gy vgl a kimeneti kombinci is nyu-
galomba jut, a stabil j aktulis llapothoz s az esemnysort kivlt beme-
neti kombincihoz rendelt fz rtk jelenik meg a kimeneteken. Ha ezt
kveten megvltoztatjuk a bemeneti kombincit, j tranziens indul meg.

2.29. bra. Kzvetlen visszacsatols aszinkron sorrendi hlzat
S-R trolkkal visszacsatolt aszinkron sorrendi hlzat

A 2.30. bra az S-R trolkkal visszacsatolt aszinkron sorrendi hlzat
struktrjt egy olyan pillanatban brzolja, amikor egy j bemeneti kom-
bincit mr rkapcsoltunk a hlzatra, s az fy kombincis hlzat belse-
jben mr megindult a kvetkez llapotot generl S-R kombinci ki-
alakulsa. Az fy hlzat kimenetein azonban a vltozs mg nem jelent
meg, az egyenlre mg az aktulis llapotot generl S-R kombincit
rzi. Az fz kimenetein ugyancsak tmeneti llapot van, hiszen a bemeneti
kombinci mr megvltozott, az aktulis llapot-kombinci ugyanakkor
2.30. bra. Az S-R trolkkal visszacsatolt aszinkron sorrendi hlzat

mg uralkodik a bemenetein. Tegyk fel, hogy a kialakul kvetkez lla-

pot az j bemeneti kombincival olyan prost alkot az fy bemenetein,
amelyhez az fy hlzat az ugyanezt a kvetkez llapot-kombincit gene-
rl S-R kombincit rendeli. Ez azt jelenti, hogy az j llapot kombinci
stabilizldik. gy vgl a kimeneti kombinci is nyugalomba jut, a stabil
j aktulis llapothoz s az esemnysort kivlt bemeneti kombincihoz
rendelt fz rtk jelenik meg a kimeneteken. Ha ezt kveten megvltoztat-
juk a bemeneti kombincit, j tranziens indul meg.
2.3.6. A szinkron sorrendi hlzat
A szinkron sorrendi hlzat fy hlzatnak visszacsatolsa rajellel, MS
trolkon keresztl rvnyesl. A gyakorlatban vagy D-MS, vagy J-K-MS
trols visszacsatolst hasznlnak. Mindkt mdszer kzs sajtossga,
hogy az rajel minden llapot kombinci fennllsnak id-intervallumt
egyrtelmen kijelli, fggetlenl attl, hogy az fy visszaadja-e a rkapcsolt
aktulis llapot-kdot, vagy nem. gy feleslegess vlik az instabil s a sta-
bil llapotok megklnbztetse.
A szinkron hlzatok az egymst kvet llapotokat s kimeneti kom-
bincikat idben diszkrt sorozatokk alaktja. Ennek megfelelen saj-
tos jellseket alkalmazhatunk, a t idbeli kombincikat inkbb az n ter-
mszetes szmmal, a t+t idbeli kombincikat inkbb az n+1 termsze-
tes szmmal, mint sorszmokkal jelljk. A szinkron trolk kimeneti
kombinciinak jellsre inkbb a mr megismert q szimblumot hasz-
nljuk. Megjegyezzk, hogy az brkon mindkt jells-rendszer lthat,
de a ksbbiekben szinkron hlzatok esetn csak a most bevezetett jel-
ls-rendszert alkalmazzuk.
D-MS flip-flopokkal visszacsatolt szinkron sorrendi hlzat
A 2.31. bra egy D-MS flip-flopokkal visszacsatolt szinkron sorrendi hl-
zat struktrjt egy olyan pillanatban brzolja, amikor az (n1). rajel-
ciklus mr lejtszdott, s az n. felfut lre vrunk. Ennek megfelelen a
hlzatra mr rkapcsoltuk az n. temnek megfelel bemeneti kombin-
cit, s megjelent az ennek megfelel kimeneti kombinci is.
Az fy kombincis hlzat a kimenetein ellltja a trolk bemenetei-
nek kombincijt. Ezek azonos kombincik a megkvnt kvetkez
llapot kombincikkal, hiszen a D tpus trolk kimeneteiken megis-
mtlik a bemeneteikre kerl rtkeket. Mg egy adott dln+1 kombinci a
visszacsatol flip-flopok bemenetein vrakozik, az fy hlzatra csatlakoz
kimeneteik vltozatlanok, s az aktulis llapot-kombincit, a qkn-t rzik.

Az fz kombincis hlzat a bemenetre jut aktulis llapot-kombinci

s a bemeneti kombinci eredmnyekppen szolgltatja az aktulis kime-
neti kombincit. Ekkor rkezik az rajel felfut le. A kvetkez llapot-
kd a MESTER trolkba kerl, mikzben a SZOLGA kimenetek vlto-
zatlanok.
2.31. bra. D-flip-flopokkal visszacsatolt szinkron sorrandi hlzat
A kvetkez vltozs akkor kvetkezik be, amikor az rajel lefut le

megrkezik. Ennek hatsra a D-MS trolk kimenetein megjelenik az
eddig kvetkez llapotkombincinak nevezett kombinci, s aktulis
llapott vlik. Ha ezt kveten megvltoztatjuk a bemeneti kombincit,
akkor az fz kimenetein egy j aktulis kimeneti kombinci, s az fy kime-
netein egy jabb kvetkez llapot kdja jelenik meg.
J-K MS flip-flopokkal visszacsatolt sorrendi hlzat
A 2.32. bra J-K MS flip-flopokkal visszacsatolt szinkron sorrendi hlzat
struktrjt egy olyan pillanatban brzolja, amikor az (n1). rajel-ciklus
mr lejtszdott, s az n. felfut lre vrunk. Ennek megfelelen a hl-
zatra mr rkapcsoltuk az n. temnek megfelel bemeneti kombincit, s
megjelent az ennek megfelel kimeneti kombinci is.
Az fy kombincis hlzat a kimenetein ellltja a trolk bemenetei-
nek kombincijt. Ezek nem azonos kombincik a megkvnt kvetke-
z llapot kombincikkal, hiszen a J-K trolk bemeneteire olyan kom-
bincikat kell adnunk, amelyek a kvetkez llapot kombincikat majd
az rajel ciklus lejtszdsakor generljk. Mg egy adott jln+1, kln+1 kombi-
nci a visszacsatol flip-flopok bemenetein vrakozik, az fy hlzatra

csatlakoz kimeneteik vltozatlanok, s az aktulis llapot-kombincit, a

qkn-t rzik. Az fz kombincis hlzat a bemenetre jut aktulis llapot-
kombinci s a bemeneti kombinci eredmnyekppen szolgltatja az
aktulis kimeneti kombincit. Ekkor rkezik az rajel felfut le. A k-
vetkez llapotkd a MESTER trolkba kerl, mikzben a SZOLGA
kimenetek vltozatlanok.
2.32. bra. J-K flip-flopokkal visszacsatolt szinkron sorrendi hlzat
A kvetkez vltozs akkor kvetkezik be, amikor az rajel lefut le

megrkezik. Ennek hatsra a J-K MS trolk kimenetein megjelenik az
eddig kvetkez llapot-kombincinak nevezett kombinci, s aktulis
llapott vlik. Ha ezt kveten megvltoztatjuk a bemeneti kombincit,
akkor az fz kimenetein egy j aktulis kimeneti kombinci, s az fy kime-
netein egy jabb kvetkez llapot kdja jelenik meg.
2.4. Szinkron sorrendi hlzatok tervezsi

folyamata mintapldkon bemutatva
A kvetkez fejezetekben kt sorrendi hlzat modellel is megvalstjuk a
kvetkez feladatot:
Egy hlzatra egy rajel temben az X1, X2 jelek rkeznek.
A hlzat az els X1 = X2 bemeneti kombincitl kezdve vizsglja a
bemeneteket, s a Z kimenetn jelzi, ha a kt bemenet ktszer egyms
utn azonos logikai szint. Ha ilyen kombinci-sorozat lezajlott, a vizsg-
latot jra kezdi. Tervezzk meg a hlzatot J-K-MS trolkkal!

2.4.1. Az els szinkron feladat megoldsa a Mealy-modell

szerint
A feladat megoldsnak minden lpst kt alpontban mutatjuk be. Ezek
kzl az els az ltalnos megfontolsokat, a msodik azok konkrt, az
adott feladatra val alkalmazst mutatja be.
Egy Mealy-modell felvzolsa llapot-tmeneti grffal s elzetes
llapot-tmeneti tblval
A verblisan megadott szinkron hlzattervezsi feladat megoldsnak
els lpse, hogy a mkdst megprbljuk egy llapot-tmeneti grfon,
majd egy llapot-tmeneti tbln is megfogalmazzuk. Meg kell jegyeznnk,
hogy a szbeli specifikci minden tbbrtelmsgt csak ezek a mdsze-
rek tisztzhatjk. rtelmezzk a feladatot gy, ahogyan azt a 2.33. brn
lthat grf, illetve tblzat tartalmazza.
llapot-tmeneti grf
Az llapot-tmeneti grf, rviden llapotgrf csompontjai szimbolikus
(szimblumokkal jellt) llapot-kombincik, rviden llapotok, lei a be-
meneti kombincik. Mealy-tpus llapotgrfon minden lhez hozzren-
deljk a kimeneti kombincit is. Az llapotgrf teht megmutatja, hogy a
hlzat adott aktulis llapotbl egy adott bemeneti kombinci rkapcso-
lsa utn a kvetkez rajel-ciklus sorn melyik kvetkez llapotba kerl,
s az adott aktulis llapothoz adott bemeneti kombinci rkapcsolsakor
milyen kimeneti kombinci jelentkezik a kimeneteken. Ez utbbiakat /
jellel vlasztjuk el a kvetkez llapot szimblumtl. A Moore-tpus lla-
pot-grf ettl abban klnbzik, hogy a grf csompontjaihoz, azaz az
llapotokhoz rendeljk hozz a kimeneti kombincikat.
Elzetes, szimbolikus llapottbla
Az elzetes szimbolikus llapottblban ugyanazokat az informcikat
rgztjk, mint az llapotgrfon. Ennek szerkezett a trolk, illetve flip-
flopok tervezsbl mr ismerjk. Ez azonban az llapotokat absztrakt
formban tartalmazza, a konkrt llapot-kombincik megllaptst, azaz
az llapot-kdolst ksbb vgezzk el. A llapottblban teht bemeneti-
kombincinknt minden llapothoz megadjuk a kvetkez llapot szim-
blumt, s a / jellel elvlasztva a megkvnt kimeneti kombincit.
Mivel a tovbbiakban az llapottblval dolgozunk tovbb, az llapot-
grf felvtele kihagyhat, ha azonnal fel tudjuk venni az llapottblt.

A feladat llapotgrfja s elzetes, szimbolikus llapottblja

Feladatunk megoldshoz ezttal Mealy-tpus grfot vlasztottunk, k-
sbb megmutatjuk e feladat megoldst Moore-tpus hlzattal is. gy
kpzeljk, hogy hlzatunk bekapcsols utn egy a jel kezdeti llapotba
kerl. Az ezutn jelentkez els rajel-ciklus eredmnye attl fgg, milyen
bemeneti kombinci rkezik. Ha X1 nem egyenl X2-vel (01 vagy 10), ez
nem kedvez szmunkra, hiszen hlzatunknak a msodik egyforma szint-
llst kell detektlnia, ehhez pedig az els egyforma szint-llsnak elbb
meg kell rkeznie. Teht, mindaddig, amg 01 vagy 10 rkezik a bemenet-
re, maradunk a kezdeti llapotban, s a kimenet, Z alacsony szinten marad.
Azt viszont, hogy megrkezik az els 00 vagy 11, a hlzatnak meg kell
jegyeznie, hogy a msodik egyttllst jelezni tudja. Teht az a llapotbl a
00 vagy az 11 bemeneti kombincikra a b llapotba kerl a hlzat, s a b
szimblum jelentse, hogy megjtt az els, szmunkra kedvez bemeneti
kombinci. Persze az a-bl b-be tart tmenet alatt Z=0 marad, hiszen ez
mg csak az els kedvez bemeneti kombinci.
Ha hlzatunk a b llapotban van, s a kvetkez rajel-ciklust 01 vagy
10 bemeneti kombinci fogadja, akkor hlzatunkat remnyt vesztve
vissza kell irnytani a kezdeti a llapotba, a Z nulln tartsa mellett. Ezzel
szemben, ha a 00 vagy az 10 rkezik, hlzatunk a c llapotba kerl, s a
Z = 1 rtkkel jelzi, hogy megjtt a msodik egyttlls. A c llapotbl
val elgazsnl, ha 01 vagy 10 rkezik, a kezdllapotba kell mennnk,
hiszen jra az els egyttllsra kell vrni. Jhet azonban 00 vagy 11 is, s
akkor mris a b llapotba kell mennnk. Mindkt esetben persze a Z = 0.
Az elzetes, szimbolikus llapottblba csak azokat az informcikat
rgztjk, amelyeket az llapotgrffal megadtunk.
2.33. bra. A specifikci llapotgrffal s szimbolikus llapottblval

Megjegyezzk, hogy ennl a feladatnl egyetlen grf-l, vagy a tbla egyet-

len oszlopa lnyegben kt bemeneti kombincit kpvisel. Termszete-
sen megadhat lett volna mindkett llapotonknt ngy llel, illetve ngy
oszloppal is, de clszer kihasznlni az ilyen s ehhez hasonl egyszers-
tsi lehetsgeket.
A bemeneti egyszerstsi lehetsgek kihasznlsa
A fentiek alapjn felismerjk, hogy a hlzat elgazsait tulajdonkppen
egyetlen jel vezrelheti. Bevezetjk teht az E logikai vltozt, amelynek
rtke az X1 s X2 egyttllsa esetn 1, egybknt 0. Ez egy ekvivalencia
kapu, vagy ms nven KIZR-NEM-VAGY (EXNOR). Teht legyen:
E = X1 X 2 + X1 X 2
A felttlenl szksges szm llapot megllaptsa

Amikor a fent bemutatott mdon az llapot-grfot szerkesztjk, akkor
knnyen lehet, hogy akkor is j llapotot vesznk fel, amikor pedig egy
mr meglvt is felhasznlhatnnk. Legtbbszr leslts vagy gyakorlat
krdse, hogy elsre felismerjk-e a felttlenl szksges llapotokat. Ne
aggasszon azonban bennnket ez a dolog, hiszen az els, elzetes llapot-
tbla llapotainak szmt szisztematikus mdszerekkel minimalizlni fog-
juk. Ennek ltalnos megfontolsaival egy ksbbi fejezetben rszletesen
foglalkozunk, most egy magtl rtetd kritriumot fogalmazunk meg
arra, mikor nem kell megklnbztetni kt llapotot az elzetes llapot-
tbln. Ez a kvetkez:
Az elzetes llapottbla kt llapott nem kell megklnbztetni, ezrt
azok sszevonhatk, ha bemeneti kombincinknt egyeznek a hozzjuk
rendelt kimeneti kombincik, s bemen kombincinknt ugyanarra a
kvetkez llapotra vezetnek.
llapot-sszevons az adott feladatban
Az llapottbla tzetes vizsglatbl kiderl, hogy a fenti felttel az a s a c
llapotokra teljesl. Mindkettbl kiindul bemeneti kombincikhoz
ugyanazok a kimeneti rtkek tartoznak, hiszen E = 0-nl a-bl Z = 0,
E = 1 esetben ugyancsak, s egyformk a Z rtkek az E = 1 bemenetnl
is. A kvetkez llapotok az E = 0-nl mindkettre a, s E = 1-re mind-
kettre b.
Az a s c llapot megklnbztetse teht felesleges, azokat ssze lehet
vonni. Jelljk az j, sszevont llapotot ac-vel.

Az sszevont llapottbla
j llapottblt szerkesztnk, most mr a felttlenl szksges llapotok-
kal. Ezt sszevont szimbolikus llapottblnak nevezzk. Az sszevont
llapotok kerlnek bejegyzsre mindazokon a helyeken, ahol az elzetes
tblban az sszevont llapotok valamelyike szerepelt.
A kdolt llapottbla
Az sszevont szimbolikus tbla llapotait binris kdokkal, azaz llapot
kombincikkal kell brzolni. Itt a vlasztott kd hosszsga egyrtelm-
en meghatrozza a visszacsatol MS trolk szmt. Termszetesen leg-
tbbszr minimlis szm MS trol alkalmazsra treksznk, ezrt a
kvetkez sszefggs alapjn kdoljuk az llapotokat:
N MS log 2 N a
Itt NMS az llapot-kd hossza, azaz a szksges MS trolk szma, Na pe-
dig a kdolt sszevont llapottbln az llapotok szma.
A vezrlsi tbla
A tervezsi folyamatnak ezen a pontjn ltalban dntennk kell, milyen
flip-flopokkal valstjuk meg a hlzatot. A D-MS trolkkal val megva-
lsts kevesebb tervezi munkval jr, hiszen minden flip-flopnak csak
egyetlenegy bemenete van, ugyanakkor a kiadd kombincis hlzat
ltalban bonyolultabb, mint J-K MS trolk alkalmazsakor. Ez az elny
illetve htrny persze ersen feladatfgg. Ezrt javasolhat mindkt flip-
flop tpus kiprblsa, s egy jl megvlasztott kltsg-fggvny szerinti
sszehasonlts. A vezrlsi tblk megalkotshoz szksgnk van a flip-
flopok vezrlsi tblira, nevezetesen arra, hogy adott kimeneti vltozs-
hoz milyen szinteket kell kapcsolnunk a bemenetekre. A 2.34. bra mutatja
a D-MS trol vezrlsi tbljt a mr ismert sszetett igazsgtblval
egytt, abbl levezetve. A vastag hatrvonalakkal feltntetett tblzat bal-
oldala mutatja a flip-flop kimenetnek lehetsges vltozsait, a jobboldali
oszlop pedig azt, hogy az adott vltozs vgbemenetelhez milyen logikai
rtket kell a D bemenetre kapcsolni. Nyilvn ez igen egyszer, hiszen
mindig a megkvnt j rtkkel azonos rtket kell a D-re kapcsolnunk.
Kicsit bonyolultabb a J-K MS trol vezrlsi tbljnak megszerkesz-
tse. A 2.35. bra mutatja ezt, ugyancsak az sszetett igazsgtblbl leve-
zetve. Lthatjuk, hogy minden lehetsges vltozshoz van egy olyan be-
menet a kett kzl, amelynek szintje lehet 0 s lehet 1 is, azaz kzmbs.

Ezek a dont care bejegyzsek teszik npszerv a J-K flip-flopot, hiszen a

kvetkez llapot kombincit generl kombincis hlzat egyszers-
tshez ezek jtkonyan jrulnak hozz.
2.34. bra. A D-MS trol vezrlsi tblja
2.35. bra. A J-K MS trol vezrlsi tblja
A feladat sszevont szimbolikus llapottblja s kdolt

llapottblja, valamint J-K flip-flopokkal trtn realizcijnak
vezrlsi tblja
A 2.36. bra mutatja a felsorolt tblzatokat, feladatunk megoldsnak so-
ron kvetkez lpseknt. A baloldali sszevont szimbolikus llapottbla
alapjn kt llapothoz (ac, b) kell llapotkdot vlasztani. Ez egyetlen tro-
lval lehetsges. Mindegy, melyik llapothoz rendeljk a Q = 0, s melyik-

hez a Q = 1 rtket. Ezutn illesztjk a kdolt llapottblhoz a J-K tro-

lval val megvalstshoz szksges vezrlsi tblt. A kdolt llapottb-
lbl kiolvassuk a Q elrt megvltozst, majd a trol vezrlsi tblja
alapjn a J s K oszlopokba berjuk az ehhez szksges rtkeket.
2.36. bra. A feladat megoldsnak hrom fontos tblzata
Az fy s fz hlzatok tervezse K-tblk segtsgvel

A vezrlsi tblk megszerkesztse utn hozzfoghatunk a kt kombincis
hlzat megtervezshez. Ehhez minden adat kiolvashat a tblzatokbl.
Nyilvnval, hogy az ltalnosabb Mealy-tpus realizcinl mind az fy,
mind az fz hlzat bemeneteit a teljes hlzat bemenetei s a trolk kime-
netei alkotjk, teht a szksges K-tblkat ennek alapjn kell felvennnk.
A feladat megoldsra szolgl hlzat K tbli s lefedsk
A kdolt llapottblbl mr lthat, hogy esetnkben igen egyszer, kt-
vltozs K-tblkkal megadhatjuk a kt kombincis hlzat logikai fgg-
vnyeit (2.37. bra).
A K-tblk kirtkelse igen egyszer eredmnyekhez vezet:
J = E , K = 1, Z = Q E
A realizcirl ltalban
A realizci sorn amellett, hogy a flip-flop szimblumokkal s az ismert
kapu-szimblumokkal felrajzoljuk a hlzat struktrjt gondoskodnunk
kell a kezdeti (bekapcsols utni) llapot belltsrl is. Ha PRESET s
CLEAR bemenetekkel is rendelkez flip-flopokat vlasztunk, akkor egy-
szer dolgunk van: Ha a kezdeti llapotban egy adott trol kimenete 0, a

CLEAR bemenetre adunk egy kezdeti llapotba llt impulzust, s a

PRESET bemenetet lland 0-ba lltjuk, ha pedig egy adott trolt kez-
deti llapotban 1-be kell lltani, akkor a PRESET kimenetre adunk impul-
zust, s a CLEAR bemenetre konstans 0-t.
Mindaddig, amg a kezdeti bellts ms mdszereit meg nem ismerjk,
csak PRESET s CLEAR bemenetekkel is rendelkez flip-flopokat hasz-
nlunk.
A kezdeti llapot belltst eredmnyez specilis bemen jelet R
(RESET) szimblummal jelljk.
2.37. bra. A feladat K tbli
A feladat megoldsnak realizcija

Meglep lehet szmunkra, hogy a 2.38. brn bemutatott realizci trol-
jnak kimenete nincs visszacsatolva a kvetkez llapotot generl hlzat
bemenetre. Nincs visszacsatols, annak ellenre, hogy a szinkron sorrendi
hlzat ltalnos modelljben ezt hangslyoztuk. Knyveljk el, hogy egy
adott specilis funkci megvalstsa vezethet arra, hogy egyik vagy msik
szekunder vltoz rtktl nem fggenek egyik vagy msik flip-flop lla-
pot-vltozsai. Realizlt hlzatunk sajtossga, hogy a flip-flop aktulis
kimenettl nem fgg annak a kvetkez llapota.

2.38. bra. A feladat realizcija
2.4.2. Az els szinkron feladat megoldsa Moore-tpus

hlzattal
Ebben a pontban bemutatjuk a feladat Moore-tpus hlzattal trtn
realizcijt, elssorban a Mealy-tpussal val realizcitl val eltrsek
hangslyozsval. Mr az llapot-grfon az llapotok jellse mutatja a
Moore tpusnak azt a jellegzetessgt, hogy a kimeneti kombincik az csak
az llapotok fggvnyei. Ugyancsak lthat az eltrs a szimbolikus llapot-
tbln is. (2.39. bra) Az elzetes szimbolikus llapottbla alapjn elvgez-
zk az llapot-sszevonsi lehetsgek vizsglatt. A szably hasonl: kt
llapot sszevonhat, ha a hozzjuk tartoz kimeneti kombincik s a
kvetkez llapotok bemeneti kombincinknt azonosak. Knnyen meg-
llapthatjuk, hogy ilyen prok nincsenek, teht a Moore-tpus hlzatot
hrom llapottal, azaz kt szekunder vltozval kell megterveznnk.
2.39. bra. A feladat Moore-tpus realizcijnak

llapotgrfja s elzetes szimbolikus llapottblja

A 2.40. bra egytt mutatja a szimbolikus s a kdolt llapottblt, illetve a

vezrlsi tblt. Ennek kiemelend sajtossga, hogy a kt szekunder vl-
toz egyik kombincija, nevezetesen az 11 itt kihasznlatlan, teht a bel-
le szrmaz kvetkez llapotokhoz, s azok vezrlseihez kzmbs
bejegyzseket tehetnk. A K-tblkon trtn fggvnylefedsek s a ka-
pu szint realizci mr rutinmunka. Az llapotkombincik s a kimeneti
kombincik kztti egyrtelm fggs szerint a Z kimenet csak a c lla-
potban, azaz az 10 llapotkombinci fennllsakor lesz magas szinten.
Ezt K-tbla nlkl is knnyen realizljuk. (2.41., 2.42. brk)
2.40. bra. llapottblk s vezrlsi tbla

a feladat Moore-fle realizcijhoz
2.41. bra. A Moore-fle realizci K-tbli

s a lefedsek algebrai alakjai Z kimenet nlkl

2.42. bra. A feladat Moore-fle realizcija a Z kimenet lefedsvel
2.5. Aszinkron sorrendi hlzatok tervezsi

folyamata mintapldkon bemutatva
2.5.1. Az els aszinkron hlzat tervezsi mintafeladat
Kzvetlenl visszacsatolt kombincis hlzattal tervezznk olyan egy-
bemenet (X) s egy-kimenet (Z) hlzatot, amelynek kimenetn a szint
mindannyiszor ellenkezjre vlt, ahnyszor X magas szintrl alacsonyra
vlt. Bekapcsols utn a hlzat az X=0 bemenetnl Z = 0 kimenetet
szolgltasson.
Idztsi diagram s elzetes szimbolikus llapottbla
Ahogyan a szinkron hlzattervezs kezdeti lpseknt az llapot-grf
felvtelt ajnlottuk, gy ajnlhat aszinkron hlzat tervezsnek els
lpsl egy iddiagram felvtele. Az iddiagram felvtelekor figyelembe
kell venni, hogy az aszinkron hlzat minden j stabil llapotba val elin-
dulsa egy bemeneti jel vltozsra indul meg, s mkdtetsi szably,
hogy egyidejleg csak egyetlen bemeneti jel vltozhat. Az iddiagram jl
mutatja a bemeneti jelvltozsok s a kimeneti kombincivltozsok k-
ztti ok-okozati sszefggseket, s segtsget nyjt az elzetes, szimboli-
kus llapottbla felvtelhez. Az aszinkron hlzat szimbolikus elzetes
llapottbljnak felvtele ugyangy intuitv mdon oldand meg, mint a
szinkron hlzatok esetben, de ltalban nehezebb feladat annl. A speci-
fikci alapjn itt is meg kell hatroznunk egy kezdeti llapotot, amelybe a
realizlt hlzatnak a bekapcsols utn kerlnie kell, s szksges, hogy
ehhez egy bemeneti kombinci tartozzk.

Ugyancsak fontos tervezi dnts, hogy Mealy-, vagy Moore-tpus h-

lzatot akarunk-e tervezni, hiszen az elzetes llapottbla felptse ettl
jelentsen fgg. Ezutn az iddiagram alapjn, a bemenetekre elrt jelvl-
tozsi szably szem eltt tartsval elrjuk a kvetkez szimbolikus llapo-
tokat. gy kpzeljk, hogy egy j llapot kezdetben tranziens llapotknt
jelentkezik az fy kimenetn, majd a bemenetre visszajutva stabilizldik.
Amikor arrl dntnk, hogy egy adott vltozsra j llapotot vegynk-e fel,
vagy megteszi egy mr felhasznlt szimbolikus llapot, gondoljunk arra,
hogy j llapot felvtele sohasem vezet logikai hibhoz, s a felttlenl
szksges llapotokat ksbb gyis szisztematikus mdszerrel hatrozzuk
meg (llapot-sszevons). Ezzel szemben az, ha egy rgi llapotot haszn-
lunk fel kell vatossg s meggondols nlkl, abbl knnyen lehet funk-
cionlis hiba. Ezrt az a legfontosabb, hogy ismerjk fel azokat az eseteket,
amikor nem szabad rgi llapotot felhasznlni. Ezek listjt majd ksbb,
nmi plda megoldsi tapasztalat birtokban fogjuk megadni.
A feladat idztsi diagramja s elzetes szimbolikus llapottblja
Az iddiagramban az X =0 bemenethez tartoz kezdeti llapotot a-val
jelltk, s ehhez felvettk a Z = 0 kezdeti kimeneti kombincit. Az X
els felfutsa hatstalan, de fontos hogy az els felfuts tnyt a hlzat
regisztrlja egy j, b llapotba menetellel. Az ezutn bekvetkez lefuts
nemcsak jabb llapotvltst (c), de a kimenet felfutst is kivltja. A c
llapot egyrtelmen jelzi, hogy az X els lefutsa bekvetkezett. X mso-
dik felfuts ismt j llapot bevezetst ignyli, Z vltozsa nlkl. Az is
rthet, hogy az jabb lefuts a kezdeti llapotot lltja be, mind a bels,
mind a kimeneti llapot szempontjbl.
Ennek az iddiagramnak alapjn szerkeszthet az elzetes szimbolikus
llapottbla. Az llapottbln krbefoglalssal jelljk a stabil llapotokat.
Tudjuk, hogy aszinkron llapottbln stabil kvetkez llapot az, amely-
2.43. bra. Az els aszinkron tervezsi feladat iddiagramja

nek szimbluma azonos az aktulis llapot szimblumval. A mkdst az

llapottbln is kvethetjk. A kezdeti a aktulis llapotban az X=0 be-
menet az a llapotot stabilizlja. Az llapot mellett / jellel elvlasztva
ltjuk a kezdeti kimeneti kombincit.
2.44. bra. Az els aszinkron feladat llapottblja,

s stabil tmenetek kztti tmenet szemlltetsvel
Szemlletes, ha a bekarikzott a llapotra helyezzk a ceruznkat, figye-

lemmel a sort s oszlopot kijell aktulis llapotra, illetve a bemeneti
kombincira. Ha az X felfut, akkor a ceruznkat vzszintesen elmozdt-
juk, s a b, tranziens (nem stabil) kvetkez llapotkdot talljuk, vltozat-
lan Z rtkkel. Ha ez visszajut a bemenetre, ezt azzal kvethetjk, hogy
ceruznkat elmozdtjuk a b aktulis llapot sorra. Itt viszont nyilvnval,
hogy a b llapot stabilizldik s gy tovbb.
llapot-sszevons
Aszinkron hlzatok elzetes szimbolikus llapottblja alapjn vgzett
llapot-sszevons elvei azonosak a szinkron hlzatoknl megismertek-
kel. Kt llapot sszevonhat, ha bemeneti kombincinknt azonosak a
hozzjuk rendelt kimeneti kombincik, s a kvetkez llapotok is.
llapot-sszevons a feladat llapottbljn
A 2.44. brn lthat llapottbln nem tallunk sszevonhat llapotokat.
llapot-kdols, a kdolt llapottbla felvtele
Kvetkez lps a kdolt llapottbla felvtele. Ez semmilyen elvi nehz-
sget nem tmaszt. Clszer a stabilits tnyt a kdolt llapotokon to-
vbbra is jellni.

A feladat llapotainak kdolsa s kdolt llapottblja

Ngy bels llapotot kt szekunder vltozval kdolhatunk. Egy lehets-
ges s kzenfekv kd-kioszts lehet a kvetkez:
a 00
b 01
c 10
d 11
Az ennek megfelel kdolt llapottblt a 2.45. brn lthatjuk.
2.45. bra. Az els aszinkron feladat kdolt llapottblja
Analzis a kritikus versenyhelyzetek feldertsre

A szinkron hlzatok llapotkdolsnl szabad keznk van abban, hogy a
megfelel hosszsg szavakbl ll kdkszlet szavait hogyan rendeljk
hozz a szimbolikus llapotokhoz, ugyanis minden vlaszts a specifikci-
nak megfelel megoldshoz vezet. Aszinkron hlzatok llapotkdolsa-
kor nem ilyen j a helyzet. Amennyiben egy tranziens llapot kdja egynl
tbb szekunder vltoz rtkben klnbzik a kiindul stabil llapot
kdjtl, a relis hlzaton az eltr jel-ksleltetsi utak miatt tmenetileg
olyan ms, tranziens llapotok is jelentkezhetnek az fy hlzat kimenetn,
amelyek stabilizldhatnak. Ezzel ms, a specifikcinak ellentmond
plyra ll az aszinkron hlzat. Az ilyen hibalehetsgeket kritikus ver-
senyhelyzeteknek nevezzk. Kikszblskre szmos mdszert dolgoz-
tak ki, amelyek a kd megfelel megvlasztst eredmnyezik. Ezek kzl
most egy egyszer, intuitv mdszert mutatunk be a feladat kapcsn.

Kritikus versenyhelyzetek a feladat kdolt llapottbljnak

vizsglatval
Tegyk fel, hogy az X = 1-hez tartoz 0 1 (b) llapotban vagyunk. Ha
most X bemenetet 0-ra kapcsoljuk, akkor tranziens llapotknt az 1 0 (c)
llapot bellst vrjuk, amely a bemenetre visszajutva stabilizldik, s
ezzel megtrtnik az elvrt 0 1 1 0 tmenet. Ennek szemlltetst ltjuk
a 2.46. brn. Sajnos ha a hlzatot ezzel az llapotkddal megvalstjuk,
hibs lehet a valsgos mkds. A 2.47. brn szemlltetjk, mi lesz an-
nak a kvetkezmnye, ha a ksleltetsi idk klnbzsge miatt egy m-
sik tranziens llapot, a 0 0 ll be.
2.46. bra. Egy idelis llapottmenet szemlltetse a kdolt llapottbln
2.47. bra. Egy lehetsges valsgos llapottmenet szemlltetse:

kritikus a versenyhelyzet Y1 s Y2 szekunder vltozk kztt
a 0 1 1 0 tmenetnl

Kritikus versenyhelyzetek kikszblse tkdolssal

A kritikus versenyhelyzetek sok esetben egyszer kd-trendezssel, vagy
a nem hasznlt kdszavak bevonsval kikszblhetk. A lnyeg, hogy a
kiindulsi s a cl stabil llapotok kdjai kztt csak egy szekunder vltoz
rtkben legyen klnbsg.
A feladat llapotkdjnak megvltoztatsa a kritikus
versenyhelyzetek kikszblsre
A kvetkez kdvlaszts a 2.48. bra tansga szerint megfelel e kritikus
hazrdmentessg kvetelmnynek. Javasoljuk az olvasnak, analizlja va-
lamennyi stabil llapottmenet mentessgt a kritikus versenyhelyzetektl.
a 00
b 01
c 11
d 10
2.48. bra. Az els aszinkron feladat j kdolt llapottblja,

kritikus versenyhelyzetektl mentes llapotkdokkal
A realizci K-tbli s lefedsk

A kritikus versenyhelyzetektl mentes kdolt llapottbla realizcijnak
kt tja van. Az egyik egy kzvetlenl visszacsatolt fy, a msik egy S-R
trolkkal visszacsatolt fy hlzat tervezse. Az utbbi egy vezrlsi tbla
kidolgozst is ignyli.
Vigyznunk kell arra, hogy valamennyi szekunder vltozhoz tartoz
fggvnyt statikus hazrdoktl mentesen kell lefedni, Az fy hlzat kimene-

tein jelentkez statikus hazrd ugyancsak a specifikcitl eltr, hibs m-

kdshez vezethet. ltalban kvetelmny a kimenet hazrdmentessge is.
Az els aszinkron feladat realizcija
Az els aszinkron feladat K-tbli s lefedsk rutin-feladat, de vigyz-
nunk kell arra, hogy mindhrom fggvny realizcijt statikus hazrdok-
tl mentesen kell megoldani. Az fy hlzat kimenetein jelentkez statikus
hazrd ugyancsak a specifikcitl eltr, hibs mkdshez vezethet
(2.49. bra). A lefeds a kvetkez eredmnyeket szolgltatja:
Y1 = Y2v X + Y1v X + Y1vY2v

Y2 = Y1v X + Y1vY2v + Y2v X
Z = Y1
rtelmezzk a Z-re kapott rdekes eredmnyt. Z nem fgg a bemenettl,
csakis egyetlen szekunder-vltoztl. Mealy-tpus hlzat tervezsbe
fogtunk, mgis, annak specilis eseteknt, Moore-tpus hlzatot kap-
tunk. A realizcit a 2.50. bra mutatja. Az bra szerint hlzat azonban
mg nem hasznlhat. Ha bekapcsoljuk, azaz radjuk a tpfeszltsget,
hiba adjuk r az alapllapotnak megfelel X = 1 kombincit, nemcsak
az a, a c llapot is bellhat. Mrpedig bizonyosnak kell abban lennnk,
hogy a bekapcsols utn, az a llapot ll be, st a hlzatot ebbe az alapl-
lapotba brmikor be szeretnnk lltani.
Aszinkron hlzatok belltsa kezdeti llapotba
Az aszinkron hlzatok kezdeti llapotba knyszertsnek mdszereit egy
ksbbi pontban trgyaljuk. Az alapelvet azonban mr itt megadjuk, hogy
az egyik legegyszerbb mdszer alkalmazsval els feladatunk megoldsa
teljes legyen. Az llapottblbl vilgosan megllapthat, hogy a tbla
szerinti kezdeti llapot belltsnak rdekben hrom felttelt kell teljes-
teni. Elszr is, a kezdeti llapot kdjt r kell knyszertennk az fy hl-
zatra, a visszacsatolstl fggetlentve ezeket a bemeneteket. Ezt a helyze-
tet legalbb addig kell fenntartani, amg az fy kimenetein kialakul az kezdeti
llapot kdja, illetve ha S-R trolkkal csinljuk a visszacsatolst, azok
kimenetn kialakul ez a kd. Msodszor, r kell kapcsolnunk azt a beme-
neti kombincit, amely a kezdeti llapothoz tartozik. Harmadszor, meg-
szntetjk ezt az llapotot, s helyrelltjuk a visszacsatolst. gy a hlzat
a kezdeti llapotban stabilizldik.

2.49. bra. Az els aszinkron feladat K tbli
2.50. bra. Az els aszinkron feladat realizcija

a kezdeti llapotba val bellts nlkl
Az els aszinkron minta-feladat realizcijnak kiegsztse kezdeti

llapotba knyszert R-logikval
Az elz pont szerint eljrva, hastsuk fel a visszacsatolst, s illessznk be
a visszacsatol krbe kt kt-bemenet logikt. Az egyik bemenetk k-
zs, a kezdeti llapotba knyszert R (RESET) jel, a msik bemenetk a
visszacsatoland szekunder vltozkra kapcsoland. A kimeneteket kap-
csoljuk az fy hlzat bemeneteire. Mindkt R-logika az R = 1 esetben 0-t
ad tovbb, ez pedig a kezdeti llapot kdja. Ha R = 0, a logikk kimenet-
re a megfelel szekunder vltoz kerl, teht l a visszacsatols. A 2.51.
bra mutatja az R-logikkkal kiegsztett realizcit.

2.51. bra. A realizci R (RESET) kezdeti llapotba llt logikkkal
2.5.2. A msodik aszinkron hlzat tervezsi mintafeladat

Tervezznk ktbemenet (X1, X2) sorrendi S ramkrt. A Z kimenet
akkor s csakis akkor 1, ha az X1 bemenet elbb ll 1-re, mint az X2. A
tervezst vgezzk el a kvetkez llapotot elllt hlzat kzvetlen
visszacsatolsval, s S-R trolkkal trtn visszacsatolssal is!
Az elzetes, szimbolikus llapottbla
Ennl a feladatnl mellzhetjk az iddiagramot, az elzetes szimbolikus
llapottbla (2.52. bra) anlkl is megszerkeszthet. A feladat specifikci-
jbl egyrtelm, hogy a Z magas rtkei csak az 1 1 oszlopban lesznek,
de csak azoknl az llapotoknl. Amelyek az 1 0-ban lev llapotokat k-
vetik. Az kezdeti llapotot (a) a 0 0 bemeneti kombincihoz vesszk fel.
Ebbl az llapotban az 1 1 bemeneti kombincira val ttrs nem meg-
engedett, hiszen ebben az esetben kt bemeneti vltoz is rtket vltana,
ezt pedig megtiltjuk. gy az 1 1-heztartoz kvetkez llapot s a kimenet
rtke kzmbs. A 0 1 s az 1 0 azonban megengedettek, mindkettre j
llapotot vettnk fel, s a hozzjuk tartoz kimenetek termszetesen 0-k.
A b s c llapot sorainak kitltsekor ismt clszer elszr a tiltott beme-
neti kombincikhoz tartoz bejegyzsekrl gondoskodni. Ha a b llapot-
ban 0 0 jelentkezik, az a llapotba mehetnk vissza. Ha 1 1 jn, akkor egy
j, a d llapotot vesszk fel, s Z-t tovbbra is alacsonyan tartjuk. A c lla-
potbl 0 0-ra a-ba mehetnk a Z = 0-val, 1 1-re viszont az j e llapot
bellthoz a Z = 1 tartozik, hiszen teljeslt a specilis S felttel, X2 az

X1-et kveten emelkedett magasra. Most a kt legutbb felvett llapot-

rl, d-rl s e-rl kell gondoskodni. Egyikbl sem kapcsolhatunk 0 0-ra, de
a 0 1-re a b / 0, 1 0-ra a c / 0 j vlaszts, hiszen az elbbi esetben X1
lefut, gy a specilis S felttel teljeslsnek lehetsge tvolabbra kerl, a
msodik esetben viszont fennmarad.
2.52. bra. A msodik aszinkron mintafeladat

elzetes szimbolikus llapottblja
Az sszevont, szimbolikus llapottbla

A kzmbs bejegyzsek miatt finomtjuk a kt llapot sszevonhatsg-
rl kimondott kritriumunkat. Kt llapot sszevonhat, ha bemen-
kombincinknt megegyeznek a specifiklt kimeneti kombincik, s a
specifiklt kvetkez llapotok. Ennek alapjn a kvetkez prok vonha-
tk ssze: ab , ad , bd , ce. Az sszevont llapotok teht: (abd ), (ce). Jelljk
az (abd ) sszevont llapotot s1-vel, a (ce)-t s2-vel. Az sszevont llapottb-
la (2.53. bra) sorainak kitltsnl az eredeti tbla kzmbs bejegyzsei
okoznak gondot. Knnyen beltjuk azonban, hogy mindig azt az ssze-
vont llapotot kell bernunk, amelyhez tartoz llapot az adott oszlopban,
2.53. bra. A msodik aszinkron mintafeladat sszevont llapottblja

az sszevont llapot eredeti llapotainak sorban szerepelt. Pldul: s1

sorban az 1 1 oszlopban s1-et runk, mivel az s1-hez tartoz llapotok
specifiklt kvetkez llapota a d, ami az s1-ben szerepel.
A msodik aszinkron feladat kdolt llapottblja (2-54.bra)
Mivel kt llapot van, egyetlen szekunder vltoz elg a kdolshoz. Nyil-
vnval, hogy egy szekunder vltoz esetn a kritikus versenyhelyzet
problmja fel sem merl.
2.54. bra. A msodik aszinkron minta-feladat kdolt llapottblja
A msodik aszinkron feladat fggvnyeinek lefedse

A 2.55. brn mutatjuk be a msodik aszinkron feladat megoldsnak K-
tblit.
2.55. bra. K-tblk a msodik aszinkron feladathoz
A lefeds eredmnye:
Y = X 1 X 2 + X 1Y v
Z = X 1 X 2Y v

A sorrendi S kapu realizcija R-logika nlkl

A 2.56. bra mutatja a kezdeti bellts nlkli realizcit, mg a 2.57. b-
rn az R-logikval val kiegsztst is lthatjuk.
2.56. bra. A sorrendi S kapu NS-NS realizcija
2.57. bra. A sorrendi S ramkr R-logikval kiegsztve
A sorrendi S kapu realizcija S-R trolval

A 2.58. bra mutatja az S-R trol vezrlsi tbljt. Ennek segtsgvel
kapjuk meg a sorrendi S ramkr S-R trols realizcijnak vezrlsi
tbljt, ami a 2.59. brn szerepel. A 2.60. bra a K-tblkat, a 2.61. bra
a realizcit mutatja. Ez kezdeti llapot bellts nlkli realizci.

2.58. bra. Az S-R trol vezrlsi tblja
2.59. bra. A sorrendi S kdolt llapottblja s vezrlsi tblja
2.60. bra. A sorrendi s S-R trols megvalstsnak K tbli

S = X1 X 2
R = X1
Z = X 1 X 2Y v
2.61. bra. A sorrendi S S-R trols megvalstsa

kezdeti llapotbellts nlkl
A kezdeti llapot belltst knny megoldani az S s az R bemeneteken.

Ha az RST (RESET) jelet felemeljk, akkor az S bemenetre 0-t, az R be-
menetre 1-et knyszertnk, gy lltjuk be az Y = 0 kezdeti llapotot (2.62.
bra).
2.62. bra. A sorrendi S S-R trols megvalstsa

kezdeti llapotbelltssal
2.5.3. Lnyeges hazrdok aszinkron hlzatokban

Eddigi aszinkron hlzattervezsi pldink megoldsa sorn csak a sze-
kunder vltozk versengse miatt kialakul hibkkal s azok kikszbl-
svel foglalkoztunk. Ez csak akkor tekinthet korrekt eljrsnak, ha garan-
tlni tudjuk azt, hogy a bemeneti jelek vltozsa okozta esemnyek a sze-
kunder vltozk rtkeinek megvltozsnak kezdete eltt mr lezajlanak.

Ez a felttelezsnk abban is megnyilvnul, hogy amikor az llapottbln

kvetjk az aszinkron hlzat mkdst, egyik oszloprl a msikra t-
rnk t, s csak ezutn vizsgljuk a tranzienseket. A valsgban ez a felt-
telezs nem mindig jogos. A szekunder vltozk s egyik bemeneti vltoz
kritikus versenyhelyzete gynevezett lnyeges hazrd veszlyvel jr. En-
nek kikszblse idksleltetsi manipulcikat ignyel.
2.6. Sorrendi hlzatok tervezsi folyamatainak

sszegzse
Ebben a pontban sszefoglaljuk a sorrendi hlzatok tervezsnek f
lpseit. Mivel a tervezsi folyamatok a szinkron s az aszinkron hlzatok
esetben lnyeges klnbsgeket mutatnak, ezrt kln alpontokban mu-
tatjuk be a folyamatok lpseit.
2.6.1. Szinkron sorrendi hlzatok tervezsnek lpsei
1. lps: A szimbolikus elzetes llapottbla felvtele
2. lps: llapot-sszevons
3. lps: llapotkdols
4. lps: sszevont kdolt llapottbla felvtele
5. lps: Dnts az llapotregiszter flip-flopjainak fajtjrl
6. lps: Vezrlsi tbla felvtele
7. lps: Vezrl jelek logikai fggvnyeinek lefedse
8. lps: Kimeneti hlzat logikai fggvnynek lefedse
9. lps: A kezdeti llapot belltsrl val gondoskods
2.6.2. Aszinkron sorrendi hlzatok tervezsnek lpsei
1. lps: A szimbolikus elzetes llapottbla felvtele
2. lps: llapot-sszevons
3. lps: llapotkdols, a kritikus versenyhelyzetekre figyelemmel.
4. lps: Kdolt llapottbla felvtele
5. lps: Dnts arrl, hogy kzvetlenl visszacsatolt kombincis hl-
zat, vagy S-R trols legyen a hlzat
6. lps: Szekunder vltozk lefedse, vagy a vezrlsi tbla felvtele s a
trolk vezrl jeleinek lefedse a statikus hazrdok kikszb-
lsvel
7. lps: A hlzat elemzse a lnyeges hazrdok kikszblsre
8. lps: Ksleltetsek beiktatsa
9. lps: Kimeneti hlzat logikai fggvnynek lefedse

2.7. A kezdeti llapot belltsa

A kezdeti llapotkdok kezdeti belltst tulajdonkppen nemcsak utlag,
hanem a tervezssel prhuzamosan is elvgezhetnnk, ha a bemen jelek
listjra felvennnk az R jelet, s mr a szimbolikus sszevont llapottb-
ln is figyelembe vennnk a lehetsges bemeneti kombincik kztt.
Ennek htrnya, hogy egyetlen jrulkos bemeneti jel is jelentsen bonyo-
ltja a tervezsi folyamat valamennyi fzist. Ezrt clszer ezt a lpst a
tervezsi folyamat vgre hagyni, s a lehetsges megoldsokat rszletei-
ben megvizsglni.
2.7.1. Szinkron sorrendi hlzatok kezdeti llapotnak
belltsa
Mivel a szinkron hlzatokat mindig MESTER-SZOLGA trolkkal val-
stjuk meg, a kezdeti llapot belltsa a flip-flopok kezdeti llapotainak
belltst jelenti. A kvetkez alpontokban ennek mdszereit tekintjk t.
Bellts a PRESET (Pr) s a CLEAR (Cl) bemenetek
kihasznlsval
Szinkron hlzattervezsi minta-feladataink megoldsban a kezdeti lla-
pot belltst lehetv tev kiegsztsek megtervezsekor kihasznltuk a
flip-flopok PRESET s CLEAR bemeneteit. A kezdeti llapot kdja pl-
dinkban mindig csupa 0-bl llt, gy a flip-flopot PRESET bemenett 0-
ra kapcsoltuk, s valamennyi CLEAR bemenetre rkapcsoltuk a kezdeti
llapotot kiknyszert R (RESET) bemeneti jelet.
2.63. bra. A PRESET s CLEAR bemenetek felhasznlsa

a kezdeti llapot kdjnak belltsra.

Ebben a pontban ezt a mdszert ltalnostjuk tetszleges kezdeti llapot

kdra. A 2.63. bra egy elkpzelt flip-flop sorban (llapotregiszterben) kt
klnbz kezdeti rtk flip-flopot mutat. Nyilvnval, hogy a 0 kezdeti
rtkek CLEAR, mg az 1 kezdeti rtkek PRESET bemenett aktivi-
zljuk az R jellel.
Bellts az fy hlzat kiegsztsvel
A D flip-flopok esetn alkalmazand kiegszt hlzatok igazsgtbli
lthatk. A Di olyan flip-flop bemenete, amelyet 0-ba, a Dj olyan flip-flop
bemenet, amelyet 1-be kell lltani kezdetben. Az igazsgtblk lthatk a
2.64. brn. A 2.65. bra mutatja a segdhlzatok beillesztst.
2.64. bra. A D-flip-flopoknl alkalmazott kiegszt hlzatok

igazsgtbli
2.65. bra. A kiegszt hlzatok beillesztse D flip-flopok kezdeti

llapotainak belltsra. A mr kiszmtott KHi s KHj hlzatok vgre
invertereket kell tennnk, ezeket a krk szimbolizljk

Az bra alapjn kiszmthatk a kiegszt hlzatok realizciinak kifeje-

zsei:
Di' = Di RESET = Di + RESET
D 'j = D j RESET
A realizcik lthatk a 2.65. brn.

A 2.66. bra a J-K trolk esetn alkalmazand kiegszt hlzatok
tervezst, mg a 2.67. bra a realizlt hlzatokat mutatja.
2.66. bra. J-K flip-flopok kezdeti llapot bellt

kiegszt hlzatainak igazsgtbli
2.67. bra. J-K flip-flopok kezdeti llapotainak belltsa

a kiegszt hlzatokkal

2.7.2. Aszinkron sorrendi hlzatok kezdeti llapotnak

belltsa
Kzvetlenl visszacsatolt kombincis hlzattal megvalstott
aszinkron hlzat kezdeti llapotnak belltsa
Szekunder vltoznknt felhastjuk a visszacsatolst, s beillesztnk egy-
egy olyan kiegszt hlzatot, amely RESET = 0 esetn a kiszmolt sze-
kunder vltoz rtket, RESET = 1 esetn a kvnt kezd rtket (0-t
vagy 1-et) helyezi a megfelel kimenetre. Jelljk ezt a kimenetet Y-val. A
kezdeti llapotot bellt segd hlzatok igazsgtbli s logikai megold-
sai lthatk 2.68. brn.
2.68. bra. Kzvetlenl visszacsatolt aszinkron hlzat

kezdeti llapotnak belltsa
Gondolnunk kell arra, hogy a kezdeti llapotot bellt RESET jelnek

nmagban garantlnia kell, hogy a kezdeti llapot megjelenik a kombin-
cis hlzat kimenetein. Azt azonban, hogy ez a RESET jel eltnse utn
stabilan meg is maradjon, azt a bemeneti kombincit kell alkalmazni,
amelyre a stabil kezdllapotot elrtuk.
Az olvasra bzzuk, hogy az eddigi tapasztalatok alapjn szerkesszen
ltalnos smt a kezdeti llapot-bellts kapuszint realizcijra.
S-R trolkkal visszacsatolt aszinkron hlzatok kezdeti
llapotnak belltsa
A 2.69. brn az igazsgtblk, a 2.70. brn a realizci lthat. Az i inde-
x S s R bemenet trolt 0-ba, a j index S s R bemenet trolt 1-be
kell lltani.

2.69. bra. Az S-R trolval visszacsatolt aszinkron hlzat

kezdeti llapotnak belltsa: igazsg-tblk
2.70. bra. Az S-R trolval visszacsatolt aszinkron hlzat

kezdeti llapotnak belltsa: segd-hlzatok beillesztse
2.8. llapot-sszevonsi mdszerek

2.8.1. llapot-sszevons teljesen specifiklt elzetes
szimbolikus llapottbln
Az sszevonhatsg felttele
ltalnos megfogalmazst adunk arra, mikor tekinthetnk kt szimbolikus
llapotot sszevonhatnak egy teljesen specifiklt elzetes, szimbolikus
llapottbln. Teljesen specifiklt az llapot-tbla (TSH) akkor, ha nem
tartalmaz egyetlen kzmbs bejegyzst sem. Kt llapot a TSH llapot-

tbljn nem megklnbztethet (NMK), ha a kt llapotbl elindulva

brmely bemeneti sorozatra ugyanazt a kimeneti sorozatot ltjuk.
Ebbl a magtl rtetd defincibl kiindulva bizonythat, hogy
kt llapot sszevonhat, ha a kt llapotbl brmely bemeneti kombin-
cira adott kimeneti kombincik megegyeznek, s NMK llapotokra
vezetnek.
A nem-megklnbztethetsg, mint relci
Ha a TSH NMK llapot-prjait megvizsgljuk, azt tapasztaljuk, hogy az
NMK pr-alkots, mint RELCI
reflexv
szimmetrikus
tranzitv
A reflexivits jelentse az a trivialits, hogy egy szimbolikus llapot sajt-
magtl nem klnbztethet meg, azaz a a.
Szimmetrikusak azok a binris relcik, amelyekre igaz, hogy ameny-
nyiben a b akkor bizonyosan fennll a b a relci is.
Tranzitv relcik esetn igaz, hogy amennyiben: a b s b c, akkor
teljesl az a c is.
Magtl rtetd, hogy a teljesen specifiklt llapottblkra definilt
nem megklnbztethetsg reflexv, szimmetrikus s tranzitv. Az ilyen
relcikat ekvivalencia-tpus relciknak nevezzk. Szoks a TSH-n ezt a
tulajdonsgot llapot-ekvivalencinak is nevezni, azaz az NMK llapot-
prok tagjait ekvivalenseknek mondjuk.
2.71. bra. Elgazsok ekvivalens llapotokbl

A nem-NMK (MK), azaz a megklnbztethet llapotprok tagjait anti-

valens llapotoknak nevezzk. Az llapot-sszevons szempontjbl fon-
tos ttel, hogy egy adott halmaz elemein rtelmezett ekvivalencia-tpus
relci a halmazt diszjunkt rszhalmazokra bontja fel. gy az llapot-
ekvivalencia az TSH llapothalmazt olyan, kzs elemeket nem tartalma-
z rszhalmazokra bontja fel, amelyek az sszevont llapothalmazt alkot-
jk. Ezt szemlletesen mutatja a 2.71. bra, amelyen a diszjunkt rszhal-
mazok egyikben kt tetszleges llapotbl lthatjuk az xi s xj bemeneti
kombincikra trtn elgazsokat. A lnyeg, hogy az ekvivalens llapo-
tok bemen-kombincinknt azonos rszhalmazba gaznak el.
Visszatrve az sszevonhatsg ltalnos megfogalmazsra, az ssze-
vont llapotok alkotta j llapotokat megvalst hlzat s az eredeti
kztt nem ugyanolyan bemeneti sorozat alkalmazsval a kimeneti soro-
zatok kztt nem szlelhetnk klnbsget. gy is fogalmazhatnnk,
hogy az elzetes llapottblval megfogalmazott hlzat s az sszevont
llapottblval megfogalmazott hlzat egymssal ekvivalens.
Az ekvivalencia kimutatsra llapottbla alapjn pronknt kell vizs-
glnunk az ekvivalencia vagy antivalencia tnyt. Az alkalmazott jellsek
a kvetkezk:
a b : a s b ekvivalensek
a < > b : a s b llapotok antivalensek
Az llapottbla analzise sorn sokszor nem lehet eldnteni azonnal az
ekvivalencia vagy az antivalencia fennllst. Ezrt, ha nem ltjuk kt lla-
potrl azonnal, hogy antivalensek, akkor feljegyezzk azokat a feltteleket,
amelyek fennllsa esetn a kt llapot ekvivalens.
A feltteles ekvivalencit magval a felttellel jelljk. Pldul, ha a je-
lls a kvetkez felsorols: (ab, cd ) akkor az a kt llapot, amelyekre
ez vonatkozik, felttelesen ekvivalensek, azaz csak akkor ekvivalensek, ha
a b s c d.
Meg kell jegyeznnk, hogy az els sorrendi-hlzat tervezsi feladata-
ink megoldsa sorn ennl szigorbb felttelt alkalmaztunk, nevezetesen
bemeneti kombincinknt megkveteltk mind a kimeneti kombincik,
mind a kvetkez llapotok azonossgt. Az sszevonhatsgot most
sokkal mlyebben vizsgltuk, gy megfogalmazhattuk az sszevonhatsg
szksges s elgsges feltteleit.

Lpcss tbla az sszevonhatsg pronknti vizsglatra

Ha egy halmaz n elembl ll, akkor egy nn mret ngyzetrcs ngyzetei-
be bejegyezhetjk egy binris relci teljeslst, nem teljeslst, vagy a
teljesls feltteleit. Ha a relci szimmetrikus, elg ehhez az tl mentn
felezett ngyzetrcs tbla, amit jellegzetes alakjrl lpcss tblnak neve-
znk. A lpcss tbla formja egy a1, a2, . an elemhalmaz esetn a 2.72.
brn lthat. A lpcss tbls llapot-sszevons termszetesen nem ll
meg a pronknt rtelmezett ekvivalencia megllaptsnl. Ha a tranzitivi-
tst a megllaptott llapot-prok kztt rvnyestjk, akkor kialakulnak a
maximlis ekvivalencia osztlyok, azaz azok a diszjunkt llapothalmazok,
amelyeknl nagyobbakat mr nem lehet tallni. gy valamennyi llapot
bekerl egy ekvivalencia-osztlyba, s nincs egyetlen olyan llapot sem,
amely egynl tbb osztlyba bekerlne.
2.72. bra. A lpcss tbla struktrja
Mintaplda megoldsa lpcss tbln

Tekintsk a 2.73. bra szerinti elzetes szimbolikus llapottblt. Ennek
alapjn kszl el az els lpcss tbla, amely az bra jobb oldaln lthat.
Kitltsekor a kvetkez mdszert alkalmazzuk:
Ha a kimenetek is s a kvetkez llapotok is bemeneti kombincin-
knt azonosak, akkor a keresztezsi cellba berjuk az ekvivalencia szim-
blumt ().

2.73. bra. Elzetes, szimbolikus llapottbla

s a hozz tartoz els lpcss tbla
Ha a kimeneti rtkek legalbb egy bemeneti kombincira klnbzk,

akkor a keresztezsi cellba berjuk az antivalencia szimblumt (<>).
Ha a kimeneti rtkek bemeneti kombincinknt megegyeznek, de a
kvetkez llapotok legalbb egy bemeneti kombincinl eltrnek, akkor
felttel bejegyzs kerl a keresztezsi cellba. Egynl tbb eltrs esetn a
rsz-felttelek s-kapcsolatba kerlnek.
Pldakppen nzznk meg nhny bejegyzst. Az elsknt vizsglt
(a b) prrl azonnal megllapthat az antivalencia, hiszen mind az X = 0-
ra, mind az X = 1-re ms s ms kimeneti szintet ad a tbla.
Ugyanakkor az (a c) pr vizsglatakor a kimenetekkel nincs baj, de a
kvetkez llapotok (a c) s (d b) ugyan nem azonosak, de ekvivalensek
mg lehetnek! St az (a c) ekvivalencijhoz felttelknt az (a c) felttelt
berni tautolgia, teht csak a (b d ) prost rjuk be. A (b d ) ekvivalencija a
tautolgia, illetve a reflexivits miatt azonnal megllapthat.
A msodik lpcss tblt az elsbl kiindulva alkotjuk meg a kvetkez
szablyok alapjn:
A 2.74. bra bal oldala a kiindulsi 1. lpcss tbla, a jobb oldali az eb-
bl elllthat 2. lpcss tbla.
Minden egyes antivalencia bejegyzs kvetkezmnyeit rvnyestjk a
tbln. Azaz, ha kt llapot antivalens, s kettejk ekvivalencija kt msik
llapot ekvivalencia-feltteleknt szerepel valahol, oda antivalens bejegy-
zst kell tennnk.
Ezutn ezeket a msodik genercis antivalencia bejegyzseket is r-
vnyesteni kell, s mindezt addig kell ismtelni, amg rvnyestetlen
antivalencia bejegyzs van a tbln.

2.74. bra. Az els s a msodik lpcss tbla
Pldk a 2. lpcss tbla megszerkesztsbl: Az (a b) antivalencijnak

kvetkezmnye az (a e) pr antivalencija, az (a d ) antivalenci pedig az
(e c) antivalencia. A (b d ) ekvivalencia lehetv teszi az (a c) ekvivalencit.
Pldnkban a 2. tbla mr kizrlag ekvivalencia s antivalencia be-
jegyzseket tartalmaz, gy az ekvivalens prok s a tranzitivits figyelembe-
vtelvel a maximlis ekvivalencia-osztlyok knnyen kialakthatk (2.75.
bra).
2.75. bra. A csak ekvivalencikat s antivalencikat tartalmaz

lpcss tbla
Kiolvashatjuk az sszes ekvivalens prt. A kvetkez maximlis ekviva-

lencia-osztlyokat kaptuk:
(a c), (b d), (e)

A mintaplda sszevont llapottbljnak szerkesztse

A maximlis ekvivalencia-osztlyokat llapotoknak tekintjk, s valameny-
nyire egyenknt, bemeneti kombincinknt elrjuk a kvetkez llapotot
azzal, hogy megnzzk, az eredeti llapottbla valamely ebbe az osztlyba
tartoz llapotnak kvetkez llapota melyik osztlyba tartozik. A kime-
neteket hasonlan rgztjk. Pldnkban az sszevont llapotok jellse:
(a c) s1
(b d ) s2
(e) s3
2.76. bra. Az sszevont llapottbla szerkesztse

az sszevons s az elzetes alapjn
2.8.2. llapot-sszevons nem teljesen specifiklt elzetes

szimbolikus llapottbln
Az llapotkompatibilits
Egy nem teljesen specifiklt szimbolikus elzetes llapottblval megadott
hlzat (NTSH) adott llapothoz tartoz specifikcis bemeneti sorozat
az, amelyre a hlzat minden llapottmenete s kimenete specifiklva van.
Kt szimbolikus llapot az NTSH llapottbljn csak akkor megk-
lnbztethet, (MK), ha ltezik legalbb egy olyan specifiklt bemeneti
sorozat, amely mindkt llapotra rvnyes, s amelynek legalbb egy ele-
mre ms kimeneti kombinci addik.
Ha ilyen specifikcis bemeneti sorozat nem ltezik, a kt llapot
NMK.
Ha a kivlasztott kt llapotra ltezik olyan bemeneti kombinci,
amelyre vagy a kimenetek, vagy a kvetkez llapotok, vagy mindkett

specifiklva vannak, a kt llapot akkor nem-megklnbztethet, ha a

specifiklt kimeneti kombincik bemeneti kombincinknt megegyez-
nek, a specifiklt kvetkez llapotok pedig nem-megklnbztethetk.
Az NTSH llapotprjaira rvnyes NMK binris relci a kvetkez
tulajdonsgokat mutatja:
reflexv
szimmetrikus
nem tranzitv
Az ilyen relcikat kompatibilits tpus relciknak nevezzk A NTSH
llapot-prjaira fennll NMK tulajdonsgot rviden kompatibilitsnak,
illetve a pr tagjait kompatibilis llapotoknak fogjuk nevezni.
A kompatibilits elgsges felttelei:
Ha nincs olyan bemeneti kombinci, amelyre mindkt llapotbl spe-
cifiklt kvetkez llapot s specifiklt kimenet lenne az llapottbln,
akkor a kt llapot kompatibilis. Ha pedig ltezik mindkt llapotra speci-
fiklt kimeneti kombincit s kvetkez llapotot definil bemeneti
kombinci, s erre a kt llapothoz tartoz kimeneti kombincik meg-
egyeznek, valamint a kt llapothoz tartoz kvetkez llapotok kompati-
bilisek, akkor a kt llapot kompatibilis.
Az elz fejezetben megismert lpcss tblnak termszetesen a kom-
patibilits vizsglatakor is fontos szerep jut. A kvetkez jellseket fog-
juk alkalmazni a tblzat celliban:
a~ b : a s b llapotok kompatibilisek
a /~b : a s b llapotok nem kompatibilisek
Feltteles kompatibilits: ab, cd az a kt llapot, melyekre ez a bejegyzs
vonatkozik, felttelesen kompatibilis, azaz csak akkor kompatibilis, ha a~b
s c~d
A kompatibilitsi osztlyok zrt halmaza
A fenti kompatibilitsi relci az llapothalmazt nem-diszjunkt osztlyokra
bontja, azaz lehetnek az osztlyoknak kzs elemeik is. Egy ilyen osztly
valamennyi lehetsges llapotprjra fennll a kompatibilits. Ezek az osz-
tlyok akkor maximlisak, ha tovbbi elemek egyetlen osztlyba sem von-
hatk be.
A maximlis kompatibilitsi osztlyok halmaznak kt igen fontos tulaj-
donsga van. Az egyik a teljes lefedettsg, azaz valamennyi llapotnak leg-

albb egy osztlyban szerepelnie kell. A msik tulajdonsg a zrtsg. Belt-

hat, hogy a maximlis kompatibilitsi osztlyok zrt halmazt alkotnak.
A kompatibilitsi osztlyok egy adott halmaza zrt, ha a halmazban
szerepl brmelyik osztly tetszleges kt llapotbl kiindulva minden
olyan bemeneti kombincira, amely mindkt llapotbl specifiklt kvet-
kez llapotot r el, a kvetkez llapotok is egytt szerepelnek a hal-
maznak legalbb egy osztlyban. A 2.77. bra a zrtsgot szemllteti. A
bal fels osztlybl kt llapotot ragadtunk ki. Ezek kzl az egyik utd-
llapota az xj bemeneti kombincira kt msik osztly kzs rszben
van, de ezek kzl az egyik osztly azonos azzal az osztllyal, amelyben a
msik llapot xj-re adott utdja helyezkedik el.
2.77. bra. A kompatibilitsi halmazok zrtsgnak szemlltetse
Kevesebb vagy kisebb llapotszm osztlybl ll

zrt kompatibilitsi osztlyhalmaz keresse
Visszatrve a nem teljesen specifiklt elzetes llapottblra kimondott
ltalnos sszevonhatsgi kritriumra, megllapthat, hogy a maximlis
kompatibilitsi osztlyok megtallsa utn a nem teljes specifikci lehet-
sget teremt arra, hogy az llapotok teljes lefedse s a zrtsg megrzse
mellett egyszerbb kompatibilitsi halmazrendszert vlasszunk. Ez azt
jelenti, hogy gy dntnk a kzmbs bejegyzsekrl, hogy dntsnk
vagy kevesebb kompatibilitsi osztlybl ll, vagy az egyes osztlyokban
kevesebb llapotbl ll osztly-halmazt eredmnyezzen.

Ennek rdekben elszr megvizsgljuk, van-e olyan kompatibilitsi

osztly, amelynek valamennyi llapota szerepel valamely ms osztlyban is.
Ha gy van, megksrelhetjk elhagyni ezt az osztlyt. Ez akkor lehetsges,
ha az osztly elhagysa utn is zrt marad a kompatibilitsi osztlyok hal-
maza. Ha a zrtsg nem tarthat fenn, akkor visszatesszk az elhagyni
kvnt osztlyt, s a tbbszrsen szerepl llapotok egyes osztlyokbl
val elhagysval prblkozunk. Ha tallunk a teljes lefedettsg s a zrt-
sg fenntartsval elhagyhat llapotokat, akkor egyszerbb sszevont
llapottblt kapunk. Lthatjuk, hogy tbb megolds is knlkozhat, ezek
kzl kell vlasztanunk a megvalstand sszevont llapottblt.
gy is fogalmazhatunk, hogy az sszevont llapottbla szerinti hlzat
realizlja az elzetes llapottbla szerinti hlzatot abban az rtelemben,
hogy a specifiklt bemeneti sorozatokra adott kimeneti sorozatok nem
klnbznek egymstl.
Az sszevont llapottbla szerkesztse
Az sszevont llapottbla szerkesztse elvi nehzsget nem okoz. Egy
egyszer alkalmazsi pldn illusztrljuk az eljrst.
Plda NTSH llapottblzaton trtn llapot-sszevonsra
A 2.78. bra alapjn a 2.79. bra lpcss tbljbl kapott maximlis kom-
patibilitsi osztlyokbl elindtva az egyszerstsre irnyul vizsglatokat,
azonnal belthat, hogy amennyiben brmelyik osztlyt elhagyjuk, llapo-
tok maradnak lefedetlenl, teht marad a kzs llapotok elhagysval
val ksrletezs. Kt zrt osztlyhalmazt kaphatunk gy, az (a, b, d ), (c, e),
s a (a, c, e), (b, d ) osztlyhalmazokat. Az els osztlyhalmaz zrtsgrl az
llapottbla alapjn meggyzdhetnk, s belthatjuk, hogy az (a, b, d )
minden eleme bemeneti kombincinknt ugyanabba az osztlyba kpz-
dik le, illetve ez a (c, e) osztly elemeire is igaz. Hasonlan bizonythat a
msodik osztlyhalmaz zrtsga is. Ebbl az kvetkezik, hogy a pldnak
ktfle llapot-sszevonsa is j megoldshoz vezet.
Mindezek alapjn kt sszevont llapottblt szerkeszthetnk, (2.80.
bra) s nekilthatunk a kdolt llapottbla megszerkesztshez s a reali-
zcihoz.
Pldnk egyik megoldsban egybknt felismerhetjk a mr megval-
stott specilis sorrendi S ramkrnket. Ezttal egy msik, a korbban
bemutatottl eltr llapot-sszevonsi lehetsget is talltunk.

2.78. bra. NTSH llapottbla, az llapot-sszevons bemutatsra
2.79. bra. A maximlis kompatibilitsi osztlyok megkeresse

lpcss tbla segtsgvel
2.80. bra. Sorrendi S kt lehetsges llapot-sszevonssal
2.8.3. sszefoglals az llapot-sszevonsi mdszerekrl

a. llapot-sszevons teljesen specifiklt elzetes llapottblbl:
a.1. Az ekvivalens s antivalens llapotprok megkeresse lpcss tb-
la segtsgvel
a.2. A maximlis ekvivalencia-osztlyok meghatrozsa
a.3. A maximlis ekvivalencia-osztlyoknak megfelel llapotokkal az
sszevont llapottbla elksztse.

b. llapot-sszevons nem teljesen specifiklt elzetes llapottblbl:

b.1. Valamennyi kompatibilis s inkompatibilis llapotpr megkeresse
a lpcss tbla segtsgvel
b.2. A lpcss tbla alapjn a maximlis kompatibilitsi osztlyok
megkeresse
b.3. A kompatibilitsi osztlyok legkedvezbb zrt halmazainak meg-
keresse
b.4. A legkedvezbb zrt halmaz osztlyainak egy-egy llapotot ren-
delve az sszevont llapottbla szerkesztse
2.9. llapotkdolsi mdszerek

Az llapot-kdolsi mdszerek bemutatsakor lesen szt kell vlasztani a
szinkron s aszinkron eseteket. Ms a cl az egyiknl, ms a msiknl.
Szinkron hlzatnl nincs versenyhelyzet veszly, gy az llapotkdols arra
irnyul, hogy a legegyszerbb struktrt alaktsuk ki. Aszinkron hlzatok
esetben viszont legfontosabb cl a kritikus versenyhelyzetek elkerlse.
2.9.1. Szinkron hlzatok llapot-kdolsi mdszerei
A szomszdos llapotkdok vlasztsnak elvei
Belthat, s a gyakorlati tervezs sorn tapasztalhat, hogy az fy hlzat
egyszerstsre jtkony hatssal vannak bizonyos llapot-kd viszonyok.
Egyszerbb lesz a hlzat, ha egy adott llapot kvetkez llapotainak
kdjai bemen-kombincinknt szomszdosak, csak egy szekunder vl-
tozban klnbznek egymstl, azaz a kdok kztti tvolsg egysgnyi
(D=1). Ugyancsak elnys, ha azok az llapotok, amelyek valamely adott
llapotnak az eldjei, bemen-kombincinknt szomszdos kdak.
2.81. bra. Szomszdos llapotkdok s egy elzetes llapottbla

A 2.81. bra bemutatja a szomszdos kdolst kifejez llapotgrfon a

lert elnys kdolsi helyzeteket. Az bra jobb oldaln egy elzetes lla-
pottbla lthat, amelyen megksrlnk szomszdos llapotkdokat tallni.
A fenti felttelek egytt nyilvnvalan nem mindig teljesthetk El-
lentmonds esetn az egyszerbb megoldsra vezet felttel teljestst
kell elnyben rszesteni. Mivel a K-tbln a szomszdossg elnysen
szemlltethet, a szekunder vltozk szmnak megfelel mret K-
tbln brzolhatjuk a felttelek szerint valamilyen mrtkben teljestett
kvetelmnyeket, s az llapotkdokat egyszeren kiolvashatjuk.
A plda szerinti llapottblt a 2.82. brn lthat formba dolgozzuk
t, azaz elksztjk az llapotok utdjait s az llapotok eldeit bemutat
tblzatokat. A 2.83. bra mutatja az llapotkdok optimlis elhelyezst.
2.82. bra. Utdok s eldk a 2.81. bra llapottblja alapjn
2.83. bra. Az llapotok elhelyezse K-tbln,

az elnys szomszdossgok legnagyobb arny biztostsra

2.84. bra. Az llapotkd s a kdolt llapottbla
A 2.84. bra a kdolt llapottblt, a 2.85. bra pedig a realizci K-tblit

mutatja.
2.85. bra. A realizci K-tbli

nfgg szekunder-vltoz csoport keresse: egy bevezet plda

Ez a mdszer az llapothalmazon rtelmezett partci-prok elmletn
alapul. E helyen nem lehet clunk az elmlet teljes kifejtse, de egy egysze-
r bevezet pldn keresztl megvilgtjuk a lnyeget, gy segtve a konkrt
mdszer elsajttst.
Tekintsk a 2.86. brt az ott tallhat kdolt llapot-tmeneti tblza-
tokkal. A tblk ltal megadott sorrendi hlzatok kzs sajtossga, hogy
az X=0 vezrls hatsra llapotuk nem vltozik, az X=1 hatsra azon-
ban a-bl b, b-bl c, c-bl d, vgl d-bl ismt a lesz. Ugyanakkor a az egyik
kdolsi vltozatban a c llapothoz a 11, a d-hez az 10 kdot vlasztottuk,
mg a msik kdolsi vltozatban fordtva.
2.86. bra. A pldafeladat kdolsi vltozatai
A kt kdolsi vltozathoz tartoz trol-vezrlsi kifejezsek a kvetke-

zk kifejezsekkel adjuk meg.
Az els kdolsi vltozat esetn:
D1 = Q1n X + Q2n X
D2 = Q2n X + Q1n X
A msodik kdolsi vltozat esetn:
D1 = Q1n X + Q1n Q2n + Q1nQ2n X

D2 = Q2n X + Q2n X
Most alkossunk nhny partcit (diszjunkt rszhalmazra bontst) az lla-
pothalmazon. Tekintsk most az els kdolsi vltozatot. Az els partci
(1) azokat az llapotokat sorolja egy osztlyba, amelyeket a baloldali flip-

flop egyformn kdol, azaz egy osztlyba kerl az a llapot a b-vel, s a c

pedig d-vel.
1 = (a b), (c d )
A msodik, a 2 partci egy osztlyba sorolja azokat az llapotokat, ame-
lyeket a jobboldali flip-flop egyformn kdol, (a d ),(b c).
2 = (a d ), (b c)
Ez a kt partci az els kdolsi vltozat kt flip-flopjt abban az rte-
lemben rja le, hogy osztlyaik a flip-flopok llapotait azonostjk, azaz
azok pontosan annyi osztlybl llnak, ahny llapota a flip-flopoknak
van, azaz kettbl.
Alkossuk meg ezeket a partcikat a msik kdolsi vltozatra is!
2K = ( a d ), (b c) = 2
2 = (a c), (b d )
Figyeljnk fel arra, hogy mindkt kdolsi vltozatnl a kt partcinak
egyik osztlyban sincs kt olyan llapot, amely a msikban is egy osztly-
ban szerepelne. Ezt gy is kifejezhetjk, hogy a kt partci metszete a
legfinomabb partci, (0) azaz az a partci, amely egy-llapotos oszt-
lyokbl ll.
1 2 = 0
Most foglalkozzunk mindkt kdolsi vltozatra olyan partcik felrsval
amelyek a flip-flopok krnyezetnek llapotait azonostjk, azaz ezek a
partcik azokat az llapotokat soroljk egy osztlyba, amelyeket a flip-
flopok krnyezete kdol azonos mdon. Az els kdolsi vltozatra fenn
ll, hogy mindkt flip-flop krnyezethez a legfinomabb partci tartozik,
hiszen a D bemenetekre mindkt trol llapotvltozja rkapcsoldik.
1K = ( a ), (b), (c ), ( d ) = 0
2K = ( a ), (b), (c ), ( d ) = 0
A msodik kdolsi vltozat esetben rdekes dolgot vesznk szre: Mivel

a jobboldali flip-flop D2 bemeneti hlzatra a Q1 nem kapcsoldik, a
jobboldali flip-flop krnyezete ugyanazokat az llapotokat klnbzteti
meg, amelyeket maga a flip-flop is megklnbztet. Mivel ebben a kdo-

lsi vltozatban a jobboldali flip-flop partcija s krnyezetnek partcija

azonos, azt helyettestsi tulajdonsg partcinak nevezzk.
1K = ( a ), (b), (c ), ( d ) = 0
2K = ( a c ), (b d ) = 2
A krnyezet s a hozz tartoz flip-flop, azaz komponens partcik kztt

mg egy fontos tulajdonsgra kell felhvni a figyelmet. Ez pedig az, hogy
amennyiben kt llapot a krnyezeti partci ugyanazon osztlyban van,
akkor bemeneti kombincinknt a kvetkez llapotok a komponens-
partci ugyanazon osztlyban szerepelnek. Ez a tulajdonsg ttrivilis
mdon ll fenn azokban az esetekben, amikor a krnyezeti partci a 0.
Mivel a msodik vltozat jobboldali komponensnek partcija megegye-
zik sajt krnyezetnek partcijval, a fenti szablyt ugyanazon partcival
szemlltetjk a 2.87. brn.
2.87. bra. A partcipr szemlltetse a msodik kdols vltozat

D2-Q2 troljhoz rendelt partciprral, amelynek tagjai megegyeznek
A krnyezeti partcik a komponens partcikkal partci-prokat alkotnak.

A msodik kdolsi varinsnl teht a 2 nmagval alkot partciprt.
nfgg szekunder vltoz-csoport keresse: a mdszer
ltalnostsa
A pldban bemutatott partciprok tulajdonsgai, s azok sszefggse
az llapotkdolssal ltalnosthatk. Az ltalnosts eredmnyekppen a
kvetkez lltsok kpezik a mdszer elvi alapjt:
Ha egy szinkron sorrendi hlzat llapotvltozit csoportokra bontjuk,
akkor a csoportokhoz komponenseket rendelhetnk. Minden egyes kom-
ponenshez kt partcit tartozik. Az egyik partci azon llapotokat sorolja

egy osztlyba, amelyeket a komponens egyformn kdol. A msik partci

azokat az llapotokat sorolja egy osztlyba, amelyeket a komponensre
kapcsold krnyezet egyformn kdol. A krnyezeti partci s a kom-
ponens partci gynevezett partci prt alkot.
Mivel a komponens a kvetkez llapotnak kialaktsakor egy adott
bemeneti kombinci esetn nem tesz klnbsget kt, a krnyezete ltal
azonosan kdolt llapot kztt, a krnyezeti partci ugyanazon osztly-
ba tartoz llapotok kvetkez llapotai bemeneti kombincinknt a
komponens partcinak is ugyanazon blokkjban vannak. Ezrt nevezzk
ezt a partci kettst partci-prnak. A komponens partcik metszete a
legfinomabb partcit eredmnyezi. Ha egy komponens bemeneteire nem
kapcsoldnak ms komponensek llapotvltozi, akkor a komponens
partci nmagval alkot partci-prt. Az ilyen partcit helyettestsi tu-
lajdonsg (HT) partcinak nevezik. A HT partci sszefggst az lla-
pot-tmeneti tblval, most mr ltalnos esetben, a 2.88. bra szemllteti.
2.88. bra. A HT partci nmagval partciprt alkot
Az HT partcis komponenshez tartoz hlzat egyszerbb, hiszen a tb-

bi komponens llapotvltozi nem tartoznak a bemenetei kz.
Clszer teht olyan komponensekre bontani a hlzatot, amelyek k-
zl minl tbb fggetlen a tbbitl, azaz a szekunder vltozk nfgg
csoportjait reprezentljk. A tervezsi mdszer lnyege, hogy az elzetes,
szimbolikus llapottbla alapjn HT partcikat keresnk. Ha tallunk nem
trivilis (nem a legfinomabb s nem a legdurvbb) HT partcit, akkor
azzal nfgg hlzat-komponenst valsthatunk meg.
Nhny egyszer llapotkdolsi lehetsg:
Ha az llapothalmazon egy nem trivilis HT partcit tallunk, akkor
azzal egyetlen nfgg hlzatrszt klnthetnk el a tbbitl.

Ha kt nem trivilis HT partcit tallunk, akkor kt nfgg hlzat-

rsz klnthet el a tbbitl.
Ha kt olyan nem trivilis HT partcit tallunk, amelyek metszete a
legfinomabb partci, akkor a hlzat megvalsthat kt nfgg cso-
porttal.
nfgg szekunder vltoz-csoport keresse: egy HT-partcis
llapotkdolsi feladat
Tekintsk a 2.89. brn lthat llapot-tmeneti tblzatot. Kdoljuk az
llapotokat egy nfgg csoport elklntsvel.
2.89. bra. llapottbla HT partcis llapotkdolshoz
A HT partcik keresst lpcss tbln vgezzk. Elszr kitltjk a lp-

css tbla cellit, milyen prostsi felttelek kvetkeznek a cellhoz tarto-
z kt llapot egy osztlyban val megjelensbl. Ezutn felttelezzk kt
llapotrl, hogy egy osztlyban vannak. (jells: y, karikban) Ezutn min-
den olyan cellt y- al jellnk, amelyekhez tartoz llapotok sszetarto-
zst a kiindulsi prosts impliklja. A jellskor figyelembe kell ven-
nnk a tranzitivitst is.
Ha mr nincs jabb impliklt pr, az resen maradt cellkba X-et te-
sznk.
Ezutn az ismert eljrssal felvesszk a nem-diszjunkt osztlyokat, majd
a tranzitivits alapjn egyestjk azokat, amelyeknek van kzs elemk.
Ha az sszevons utn a teljes llapothalmazt kapjuk, ez trivilis (egy-
blokkos) HT partci, s nem hasznlhat. Ilyenkor j kiindulsi prt kell
vlasztani, s az eljrst erre az j prra kell megismtelni. Ha valamennyi
lehetsges nem trivilis HT partcit ellltottuk, vlogatunk.

Vilgos, hogy egy adott HT partcit kivlasztva annak blokkszma (B)

adja az nfgg csoport llapotainak szmt, a blokkokban elfordul
maximlis llapotszm (A) pedig a maradk szekunder vltoz-csoport
ltal kpviselt llapotszmot adja. gy a HT partcihoz szksges szekun-
der vltozk szma,
p = log2 B + log2 A.
A 2.90. bra lpcss els tblit elszr azzal a felttelezssel tltjk ki,
hogy az a s a b llapotok egy osztlyban vannak. A kvetkezmnyeket
ltjuk az 1-es jel tbln, majd tovbb lpve a 2-es s 3-as tblkra, ltjuk,
hogy trivilis partcit kaptunk, hiszen az addott, hogy minden llapot
ugyanabba az osztlyba tartozik. A 2.91. bra szerinti felttelezs, misze-
rint az a s a c legyenek egy osztlyban, nem trivilis HT partcira vezet:
(a c), (b d ), (e)
2.90. bra. Az a s b ekvivalencijnak felttelezse

trivilis HT partcira vezet

2.91. bra. Ekvivalencia-osztlyok az (a c) prostsbl kiindulva
A 2.92. bra szerinti llapotkd nfgg csoportjban a szekunder vlto-

zk szma 2, hiszen hrom osztlyt kaptunk. Ezeken az osztlyokon belli
kd finomtshoz mr csak egyetlen vltoz kell, hiszen a legnpesebb
osztly llapotszma 2. Az llapotok kdjainak megvlasztsakor egyetlen
szablya, hogy az egy osztlyban szereplket az nfgg csoport llapot-
vltozi egyformn kdoljk.
2.92. bra. llapotkd, nfgg vltozkkal

A 2.93. s a 2.94. brk a vezrlsi tblval kiegsztett kdolt llapottblt

s a realizci K-tblit mutatjk. Lthat, hogy sem a D1, sem a D2 nem
fgg Q3-tl. Az nfggs teht igazoldott.
2.93. bra. Kdolt llapot- s vezrlsi tbla
2.94. bra. Az nfggs igazolsa K-tblkkal
Szinkron hlzatok 1-es sly llapotkdolssal

Szinkron hlzatok VLSI megvalstsakor gyakran igen gyorsan clrave-
zet egy olyan llapotkd, amikor minden egyes szimbolikus llapothoz
egy DMS flip-flopot rendelnk. Minden egyes llapot kdjban az 1-esek
szma egy legyen. Ezrt nevezzk ezt 1-es sly kdnak.

2.95. bra. Egy korbbi feladat Moore-tpus realizcijnak

llapotgrfja s elzetes szimbolikus llapottblja,
1-es sly, D-flip-flopos implementcira
A 2.95. brn lthat llapotgrf s tbla alapjn gy megvalstand 1-es

sly llapotkd hrom D-MS flip-flopot ignyel. Az 1-es sly kdols
egy lehetsges vltozata a kvetkez:
Qa Qb Qc
a 1 0 0
b 0 1 0
c 0 0 1
A D bemenetek vezrlsnek megvalstsa ilyenkor rendkvl egyszer,

s az llapotgrf alapjn elvgezhet.
Minden egyes D bemenetre akkor s csak akkor kell 1-et kapcsolni,
amikor az ltala reprezentlt trol kimenetnek 0-rl 1-re kell vltoznia,
azaz amikor az adott flip-flop ltal reprezentlt llapotnak be kell llnia.
Ez pedig az llapotgrfbl kiolvashat. Tovbbi elny, hogy az alapllapo-
tot bellt R jelet is azonnal bedolgozhatjuk. Feltesszk, hogy E a kt
bemenet EXNOR fggvnye.
Da = R + R (Qa E + Qc E ) = R + E (Qa + Qc )
Db = R E (Qa + Qc )
Dc = R Qb E

2.9.2. Aszinkron hlzatok llapotkdolsa

Aszinkron hlzatok llapotkdolsakor sajnos nem a legolcsbb megol-
ds magtallsa a legfontosabb problma. A kritikus versenyhelyzetek el-
kerlse, teht kritikus versenyhelyzet mentes kdols minden ms szem-
pontot megelz, hiszen ezen nem az ramkr ra, hanem a mkdkpes-
sge mlik. Itt is kt mdszert mutatunk be. Az egyik inkbb prblgat-
sos, intuitv mdszer, a msik elmletileg megalapozott, szisztematikus
eljrs.
2.96. bra. Bvts szomszdos kd instabil llapotokkal

Instabil llapotok beillesztse a kritikus versenyhelyzetek

kikszblsre
Mr ismert mdszer, hogy minden llapot-tmenetre biztostjuk a kdok
egyetlen szekunder vltoz rtkben val vltozst, hiszen a kritikus ver-
senyhelyzet forrsa ppen a tbbszrs vltozs. Nhny tervezsi felada-
tunkban ezt a mdszert alkalmaztuk az egymst kvet stabil llapotok
kdjnak megvlasztsakor. Vannak azonban esetek, amikor az llapotok
szmnak kettes alap logaritmusa s a szekunder vltozk szma kzeli
rtkek, gy be vagyunk szortva, s az ilyen kdols nem is ltezik.
Ilyenkor nvelni kell a szekunder vltozk szmt. Segtsgkkel instabil
llapotokkal bvtjk az sszevont llapottblt. Az instabil llapotokkal
val bvtst gy kell megoldani, hogy a stabil llapotok egyms utni sor-
rendje ne vltozzk, ugyanakkor az j instabil llapotokat gy kell kdolni,
hogy az egyms utn kvetkez tranziens kdok kztt csak egy szekun-
der vltoz rtkben legyen klnbsg.
Az eljrst egy igen egyszer pldn szemlltetjk (2.96 bra).
Az elzetes llapottbla alapjn felvett llapotgrf mutatja, hogy az a
llapottal a d llapot kdjt nem lehet szomszdoss tenni, ha ragaszko-
dunk a kt szekunder vltozhoz. Be kell szrnunk kt instabil llapotot
(i1 s i2), s ezzel egy j szekunder vltozt is! Az gy kibvtett llapot-
halmaz elemeinek kdjait mr meg lehet gy vlasztani, hogy az egyms
utn kvetkez tranziens llapotok kdjai szomszdosak legyenek. Hang-
slyozzuk, hogy sem az i1, sem az i2 llapot soha sem stabilizldik, de
thidal tranziens szerepet tltenek be. Ez jl kvethet az j llapot-
tmeneti tblzat segtsgvel is.
Tracey s Unger mdszere a kritikus versenyhelyzetek
kikszblsre
Kritikus versenyhelyzet akkor ll el, ha egy stabil llapotbl kiindulva
megvltoztatjuk a bemeneti kombincit, s ennek hatsra olyan tmeneti
llapotkd ll el, amelynek sorban s az adott bemeneti kombinci
oszlopban ez az llapotkd szerepel.
A nem kvnt tmeneti llapotkdot HAZRD-KDNAK nevezzk.
A TRACEY-UNGER mdszer lnyege, hogy a normlis (tervezett) l-
lapottmenethez tartoz kiindul s cl llapotok kdjai legalbb egy adott
szekunder vltozban mindketten klnbzzenek a hazrd kdtl.
Ilyenkor ugyanis ez a szekunder vltoz az tmenet sorn lland marad,
s gy soha sem ll el a hazrd llapot kdja.

A kdolsi eljrst az sszevont szimbolikus llapottbla analzisvel

kezdjk. Egy listra felvesszk a stabil-stabil llapot-tmeneteket, s hoz-
zjuk rjuk azoknak a leselked hazrd llapotoknak a nevt, amelyek az
tmenet sorn fellphetnek, azaz azokat, amelyek a stabil clllapot oszlo-
pban szerepelnek. Egy ilyen tmenet s a leselkedk listja egy kdolsi
szablyt definil. Ez gy hangzik, hogy a kiindulsi s a cl llapot legalbb
egy szekunder vltoz rtkben egyezzen, de ebben a vltozban mind-
ketten klnbzzenek a leselkedktl.
Miutn az sszes llapottmenetet ilyen mdon listztuk, akkor M
szm kdolsi szablyunk lesz.
Rendeljnk minden szablyhoz egy szekunder vltozt, s a szekunder
vltozkkal oszlopokat, a kdoland szimbolikus llapotokkal sorokat
alkotva rjunk fel olyan kdot, amely a megllaptott kdolsi szablyok-
nak eleget tesz. A szablyok csak a ktelez klnbsgttelt rjk el, azt
hogy melyik szekunder vltoz legyen 1 s melyik legyen 0, azt nem.
gyeljnk azonban arra, hogy ahol az adott szably nem knyszert az
adott llapotvltozra rtket, oda kzmbs bejegyzst tegynk.
Belthat, hogy a kzmbs bejegyzsek tetszleges konkretizlsval
mris kritikus versenyhelyzettl mentes llapotkdot kaptunk, de tl sok
szekunder vltoz bevezetse volt az r. Ugyanakkor felismerhetjk, hogy
a kzmbs bejegyzsek kihasznlsval az oszlopokat sszevonhatjuk.
Ha az sszevons nehzsgekkel jr, cserljk fel szabadon az egyes osz-
lopokban az 1 s a 0 bejegyzseket, s prblkozzunk jra az sszevons-
sal. Tekintsk most a 2.97. bra szerint elzetes llapottblt.
2.97. bra. Szimbolikus elzetes llapottbla

a Tracey-Unger mdszer bemutatsra

Els lpsknt analizljuk a stabil-stabil llapot-tmeneteket, s listzzuk a

hozzjuk tartoz lehetsges hazrdokat, a leselkedket:
ANALZIS:
Bemen kombinci vltozsonknt vizsgljuk az llapot-tmeneteket, s
a leselked hazrd llapotokat. Az analzis eredmnyt a 2.98. bra a
tblzata mutatja. Lthatjuk pldul, hogy a 00 01 megengedett beme-
neti vltshoz egyetlen stabil-stabil llapot-tmenet olvashat ki, nevezete-
sen az a llapotbl a c llapotba val tmenet. Ezt egyedl a d llapot tran-
ziens kdja veszlyezteti, teht itt a leselked llapot a d. Az bra b tblza-
tn az ennek megfelel kdolsi szablyt az Y1 szekunder vltoz kpvise-
li, mgpedig azzal, hogy az oszlopban feltntetett llapot-kdban mind az
a, mind a c 0-val jelenik meg, a leselked d viszont 1-gyel! A b llapot Y1
pozcibeli kd-rsze kzmbs. gy szerkesztjk vgig a tblzatot, is-
mtlsekbe nem bocstkozunk, s a fordtott irny de azonos leselkedt
mutat tmeneteket is rtelem-szeren csak egyszer tntetjk fel (lsd az
thzott tblzatelemek).
A c tblzat az sszevont oszlopokat mutatja. Az sszevont llapot-
vltozk indexei mutatjk, mely oszlopokat sikerlt sszevonni. Ezzel
kialakult, hogy a versenyhelyzet-mentes kd vgl is ngy szekunder vl-
tozval biztosthat.
2.98. bra. A Tracey-Unger mdszer

vgrehajtsa sorn keletkez tblzatok

Digitlis hlzatok sszetett digitlis egysgek
3. sszetett digitlis egysgek

A kvetkez fejezetekben a kapuszint tervezsnl magasabb szint
tervezsi eljrsokat megalapozand ttekintjk a f ptelemek jellem-
zit, alkalmazsi terleteit s azok kapuszint felptst. A magasabb
szint egysgek feladatuk szerint csoportostva
a multiplexerek, demultiplexerek, amelyek adatt szakaszokat jellnek
ki, a
a regiszterek, amelyek adatokat trolnak, s ezek elrst is biztostjk,
s a
funkcis egysgek, amelyek adatok kztti mveleteket vgeznek.
3.1. Multiplexerek, demultiplexerek

A multiplexereket s a demultiplexereket adatutak kijellsre hasznljuk.
Az adatutak kijellse vezrl-bemenetek segtsgvek, lnyegben cm-
zssel trtnik. Multiplexereknl tbb forrs kzl kijelljk azt, amelynek
adata a kimenetre kerl, mg a demultiplexerek esetn azt a kimenetet c-
mezzk meg, amelyen az egyetlen forrs adatt meg kvnjuk jelenteni. A
cmzs ltalban binris kddal trtnik, gy eleve kizrt az ellentmondsos
ketts cmzs. A 3.1. bra mutatja, a multiplexerek, demultiplexerek szo-
ksos szimblumait az adat s a vezrl vektorokkal.
3.1. bra. A multiplexerek s a demultiplexerek RT-szint

brkon hasznlatos szimblumai
3.1.1. Ngybemenet, egykimenet multiplexer

A kzepes integrltsg logikai ramkr csaldok kifejleszti leginkbb
egy ngy bit adatbemenettel s egy bit adatkimenettel, valamint ennek

megfelelen kt-bit cmz bemenettel rendelkez alaptpust gyrtottak s

gyrtanak, ez pedig tbbfle mdon bvthet. (3.2. bra.)
3.2. bra. Tipikus kzepes integrltsg 4-1(ngybl-egy)

multiplexer szimbluma
3.1.2. Bvts a bemenetek szmnak nvelsre

Ha a bemeneti adatunk ngynl tbb bitbl ll, gy a 3.3. bra szerinti
bvtsi smt alkalmazzuk. Lthatjuk, itt 16-1 multiplexert alkottunk 4-1
egysgekbl. Lthat, hogy nemcsak vzszintes irnyban kellett bvteni az
egysget, hanem mlysgben is. Felhvjuk a figyelmet az els sor sszek-
ttt cmz-bemeneteire, amelyen megjelen cm-vektor rsz mind a ngy
egysg bemenetei kzl ugyanazt a sorszm bemenetet cmzi meg, gy a
msodik sor egyetlen egysgnek cm-vektora ebbl a ngy adatbl vlaszt
ki egyet.
3.3. bra. 16-1 MPX ptse t 4-1-es egysgbl

3.1.3. Bvts snek kztti vlaszts cljbl

A ngy, ngybites snbl egyet kivlaszt multiplexer sszelltsa vzszin-
tes irny bvtssel oldhat meg (3.4 bra). Termszetesen gyakran kell a
ktfle bvtsi mdszer kombincijt alkalmaznunk.
3.4. bra. Ngy, 4-bites snbl egyet kivlaszt multiplexer

4-1 alapegysgekbl.
3.1.4. A multiplexerek felptse

A multiplexerek S-VAGY illetve NS-NS ktszint kapuhlzatokkal
pthetk fel. A 4-1 MPX ngy 3 bemenet S kapubl s egy 4-beme-
net VAGY kapubl, illetve az ezeknek megfelel bemenetszm NS
kapukbl ll. A kivlaszt bemenetek neglt szintjei termszetesen inverte-
reket ignyelnek (3.5. bra). A multiplexer NS-NS formban is felraj-
zolhat.
3.5. bra. A 4-1 multiplexer egysg kapuszint struktrja

3.1.5. A multiplexer, mint programozhat logikai hlzat

A bitszint multiplexerek S-VAGY struktrja lehetv teszi, hogy azo-
kat fggvnyek megvalstsra hasznljuk fel. Ilyenkor a fggvny
mintermjeit a cmz-bemenetekre adott cmek kpviselik, s a megcmzett
adat-bemenetre r kell kapcsolnunk az adott mintermhez tartoz logikai
rtket. Ezeknek a logikai konstansoknak a bemenetekre val kapcsolst
a multiplexer programozsnak tekinthetjk. Pldnkon, a 3.6. brn egy
kt-bemenet EXOR fggvny multiplexeres megvalstst lthatjuk.
3.6. bra. EXOR fggvny 4-1 multiplexerbl
3.1.6. Demultiplexerek
A demultiplexerek funkcija egy adat tbb lehetsges irny egyikbe tr-
tn tovbbtsa. Az 1-4 (egyet a ngybl az egyikre) mret demultiple-
xerhez ngy, 3-bemenet S kapu szksges. (3.7. bra)
3.7. bra. 1-4 demultiplexer kapu-szint struktrja

3.1.7. Dekderek
Ha egy 1-4 demultiplexer adatbemenett lland, logikai 1 szintre kapcso-
lunk, akkor ez egyenrtk azzal, hogy az S kapuk bemenetei kzl el-
hagyjuk az adatbemenetet. Az ilyen ramkr sajtossga, hogy a kivlaszt
bemenetekre kapcsolt kombincik csak egyetlen, a kivlaszt kdnak
megfelel kimeneten eredmnyeznek magas szintet. Az ilyen ramkrket
dekdereknek nevezzk. (3.8. bra)
3.8. bra. 2-bemenet dekder, S kapukkal
3.1.8. Multiplexerek s demultiplexerek CMOS tviv-kapukkal

A CMOS tviv-kapu, (transmission-gate, transfer-gate) kt MOSFET
eszkzbl ll kapcsol. A MOSFET eszkzk analzisvel belthat,
hogy egy kt feszltsg szintet tartalmaz logikai rendszerben csak a pr-
huzamosan kapcsolt kt MOSFET egyttesen kpes tvinni mindkt logi-
kai szintet egyik oldalrl a msikra. A vezrlelektrdkat bekapcsolskor
ellenttesen kell vezrelni, azaz a kis krkkel jellt vezrl bemenetek a
G0 - G3 vezrlk negltjai. Az tviv-kapukbl felptett multiplexer (3.9.
bra) jellegzetessge, hogy kimenete kpes a logikai harmadik llapot fel-
vtelre, azaz ha egyik kapcsolt sem nyitjuk, a kimenet lebeg.
3.9. bra. C-MOS tviv-kapus multiplexer

A harmadik logikai llapotot is lehetv tev kimenetek szerepe a modern

logikai hlzatokban s a mikroprocesszoros rendszerekben meghatroz
jelentsg. Ha ugyanis garantlni tudjuk, hogy egyetlen kzs pontra a
kimenetvel kapcsold tbb logikai elem kzl legfeljebb csak egy kime-
nete legyen nem harmadik llapot, akkor olyasmit tehetnk, amely ktl-
lapot kimenettel rendelkez elemek esetn szigoran tilos; kimeneteket
kapcsolhatunk ssze.
3.2. Regiszterek, prhuzamos elrs trolk

3.2.1. Szintvezrelt, statikus regiszter
Erre a regiszterre egy bemeneti bit-vektor (d ) s egy logikai ber-jel, (G)
csatlakozik. A regiszter a G ber jel magas szintjre a d rtkt a trolba
rja. A regiszter tltsz, azaz amg a G jel magasan van, d vltozsai ks-
leltetve megjelennek. G lefutsa utn az utols, mg hatsos bemeneti
rtk marad a regiszterben. A 3.10. brn a regiszter szimblumt, vala-
mint egy-bitjnek kapu-szint struktrjt ltjuk.
3.10. bra. Szintvezrelt regiszter szimbluma

s egy bitjnek bels felptse
A kapu-szint struktrban visszakszn a mr korbban megismert

aszinkron D-G trol!
3.2.2. Szintvezrelt regiszter ponlt s neglt berjelekkel
A CMOS technikban, klnsen a VLSI ramkrkben elszeretettel
alkalmazzk az tviv-kapus trolkbl ll statikus regisztert. Az egy bit-
nyi trol (latch) a kt stabil llapot (bistabil) invertergyr bersnak egy
ms mdszert alkalmazza, mint a NOR-bistabilok. A bers (G=1) alatt a
visszacsatols meg van szaktva, hiszen a visszacsatol tviv-kapu a G=0-

nl van bekapcsolva. Ez a bers utn azonnal bekvetkezik, s megvalsul

a trols. Ennek megfelelen a regiszter bemenetei kztt a G vezrl-
vezetknek mind a ponlt, mind a neglt vltozata megjelenik. (3.11. bra)
3.11. bra. Ponlt s neglt ber jellel vezrelt C-MOS regiszter

szimbluma s kapu-szint struktrja
3.2.3. Kvzistatikus regiszter

A kvzistatikus regiszter alapcellja (1-bites egysge) a CMOS inverter
bemeneti kapacitsnak tmeneti tlts-trol kpessgt hasznlja ki. Itt a
G berjel kt felfutsa, azaz kt bers kztt egy tart (H, HOLD) im-
pulzus rendszeres jelentkezse szksges. A H impulzusok kztt a be-
meneti kapacits trolja az utoljra bert szintet, a kt inverter pedig rege-
nerlja azt. A 3.12. bra a kvzi-statikus regiszter szimblumt s egy-
bitnyi struktrjt mutatja.
3.12. bra. Kvzistatikus regiszter szimbluma s egy-bitnyi struktrja.
3.2.4. lvezrelt regiszter

Az lvezrelt regiszterekben az tltszsg a ber-jel valamelyik lhez
ktdik. Ez lehet a ber jel felfut le, de lehet a lefut l is. Az lvezrelt
regiszterekbl felptett digitlis rendszer kevsb rzkeny az rajelek
idbeli elcsszsbl add aszinkronitsokra. Az lvezrlst a ber jel

bemenetre elhelyezett specilis szimblum jelzi. Elfogadott, hogy a felfu-

t-lre val tltszsgot a ber-jel ponlt formja jelli. A cella kapuszin-
t bemutatstl annak bonyolultsga miatt itt eltekintnk.
3.13. bra. Felfut lre ber regiszter szimbluma
3.3. Soros elrs trolk

A soros elrs memrik alapeleme az l-vezrls vagy ktfzis D-
MESTER-SZOLGA trol. Ebbl a trolbl egy 2-1 multiplexer alkal-
mazsval olyan egysget kapunk, amelynek kt adat-bemenete kzl (DS,
DP) kzl az S/P vezrljel szintjnek egyike vlaszt. A trol PRESET
bemeneteit konstans logikai alacsony szintre ktjk, a CLEAR bemenete-
ket ezzel szemben a kezdeti 0 llapot belltsra hasznlni fogjuk. A
3.14. brn lthat egysget soros memrik ptelemeknt fogjuk fel-
hasznlni. Az bra jobboldaln a komponensekbl ll sma, a jobbolda-
lon a kapott egysg szimbluma lthat.
3.14. bra. Soros memria pt elemnek smja s szimbluma
3.3.1. Prhuzamosan is betlthet soros memrik

A 3.15. bra a 3.14. bra szerinti egysgekbl felptett nyitott, soros elr-
s memria smja. Az S/P vezrl-bemenet llapottl fggen az ra-

jel-ciklusra vagy balrl jobbra lptets, vagy prhuzamos betlts trtnik.

Az egysg az R jellel alapllapotba hozhat.
3.15. bra. A soros memria smja s szimbluma
A 3.16. bra ennek az egysgnek az a vltozata, amikor a memria tartal-

mt krbe forgatva brmely bert adat elrhet a kimeneten, de egy adat
elvesztse rn j adatot is betlthetnk a Di bemenetrl, az L/V vezrl
bemenet segtsgvel.
3.16. bra. Prhuzamosan betlthet, sorosan rtlthet soros memria.
3.3.2. Szszervezs soros memrik

A megismert ptelembl 1-nl nagyobb, pldul m szszlessg soros
memrit ptnk (3.17. bra), elhagyjuk a prhuzamos bers lehetsgt,
azaz az m szm gyr S/P bemeneteit soros zemmdra lltjuk be. A
memria L/V vezrl-vezetkvel bellthatjuk, hogy a memriban lv
adatokat forgatjuk, vagy j adatot szrunk be a rgiek kz.

3.17. bra. Egy m-bit szszlessg soros memria-egysg
3.3.3. FIFO memrik

A FIFO olyan soros memria, amelybl az az adat olvashat ki elszr,
amelyet elsknt tltttnk be. (First In First Out). A fent bemutatott 1-
bit szlessg prhuzamosan betlthet soros memria egysgekbl el-
vesszk a prhuzamos betlts lehetsgt s m-szm ilyen egysgbl m-
bites szszlessg FIFO-t csinlunk, ahogyan azt a 3.18. bra is mutatja.
3.18. bra. Egy m-bit szszlessg FIFO memria

3.3.4. LIFO memrik

Nzzk a 3.19. bra szerinti alapelemet. Itt a D-MS flip-flop kimenetn az
L/R vezrljeltl fggen vagy a baloldali D1, vagy a jobboldali D2 be-
menet szintje jelenik meg. Ez a LIFO trolk alapeleme. A LIFO olyan
soros memria, amelybl az az adat olvashat ki elszr, amelyet utoljra
tltttnk be. (Last In First Out). Kt vezrl bemenete van. Betltsre a
BETLT (PUSH), kiolvassra a KIUGRAT (POP) vezrl-bemeneteket
hasznljuk, termszetesen egyms kizrsval. A LIFO egyetlen adat-
csatlakozsa teht bemenet s kimenet szerept is betlti.
3.19. bra. LIFO memriaelem
A LIFO elemekbl alkotott 1-bit szlessg LIFO memria a 3.20. brn

lthat. Ebbl knnyen alkothatunk m-szszlessg LIFO memrit.
3.20. bra. LIFO-sor

3.4. Prhuzamos hozzfrs memrik

A prhuzamos hozzfrs azt jelenti, hogy a memria minden egyes bitj-
hez, vagy minden egyes szavhoz annak helytl fggetlen elrsi idvel
frnk hozz akr trs, akr kiolvass szndkval. Ezeket az rhat ol-
vashat memrikat szoks RAM (Random Acccess Memory) egysgek-
nek hvni. A RAM memrik cellkbl llnak. A RAM cellkban nemcsak
a korbban emltett harmadik llapot lehetsgt hasznljuk ki, de az azo-
nos logikai szintek erssge kztti klnbsgek lehetsgt is. Tekintsk
a 3-21. brt. Az egymst lel inverterek bistabilt alkotnak. Ha a kt
elektron-vezets MOSFET kapcsol zrva van, azaz az S bemenet ala-
csony szint, akkor az inveterek rzik az utoljra bert llapotot. Ha S ma-
gas szint lesz, akkor kt eset van. (Az S vezrl-jelet egy Sx s egy Sy
kivlaszt-jel S kapcsolatval lltjuk el).
Ha a D s a neglt-D vonalakat kvlrl lebegtetjk, akkor az S fel-
emelkedsekor A D vonalon az M, a neglt D vonalon a neglt M je-
lenik meg. Ez tekinthet a trolt adat kiolvassnak.
Ha a D s a neglt-D vonalakat kvlrl ellenttesen meghajtjuk, akkor
a logikai szintek egymshoz viszonytott erssge hatrozza meg a le-
zajl folyamatot. Az inverterek kimenett - jellel jelltk meg, ezzel
kifejezve, hogy azok gyengbbek, mint a D s neglt-D rtkeket az M
s neglt M pontra knyszert MOSFET kapcsolk. Ha D 1 s M pe-
dig 0, illetve a neglt D 0 s a neglt M pedig 1, akkor a memria-cella
tbillen a msik, az elzvel ellenttes llapotba. Az ersebb illetve
gyengbb logikai meghajt-kpessget az invetereket s a kapcsolkat
alkot MOSFET eszkzk megfelel mretezsvel lehet elrni.
3.21. bra. RAM cella

A 3.22. brn egy bit-szervezs RAM lthat. A kapacitstl fggetlenl

csak egy adatkimenete s egy adat-bemenete van, cmzse pedig dekde-
rekkel trtnik. A megcmzett bit celljnak llapota olvasskor (R) a
DOUT bit-kimenetre kerl, mg irskor (W) a DIN bitvektorra kap-
csolt rtk a memrinak a kijellt celljba kerl. Mindkt mvelet vgre-
hajtsnak a felttele az is, hogy a CS (Chip Select) vezrl bemenet magas
szint legyen.
3.22. bra. Bit-szervezs RAM hlzat
3.5. Szmllk, llapotregiszterek

A szmllk olyan sszetett funkcij digitlis egysgek, amelyeket az
eredeti, hagyomnyos szmllsi funkcin tl digitlis egysgek idzt-
vezrl ramkreiben val alkalmazsa miatt trgyalunk a regiszterek k-
ztt. Mint ltni fogjuk, az adat-folyamatokat vezrl egysgek idzt
ramkreiben a regiszterek alapvet feladatokat ltnak el, a szmllk pe-
dig rgztett funkcij idztknek tekinthetk, amelyekbl ugyanakkor
rugalmasan tervezhetnk klnfle idzt egysgeket.
3.5.1. A MESTER-SZOLGA J-K flip-flop mint a szmllk
alapeleme
Az aszinkron PRESET s CLEAR bemenetekkel elltott J-K MESTER-
SZOLGA trolt korbbi tanulmnyainkbl mr jl ismerjk. Az lvez-
relt flip-flop funkcit szinkron szmllkban hasznljuk ki, mg a kettes-

oszt funkcit az aszinkronnak nevezett szmllkban (szmlncok) al-

kalmazzuk. A 3.23. bra mutatja a kettes osztt, id-diagrammal. Belthat-
juk ugyanis, hogy amennyiben a MESTER trol bersa az rajel felfut,
a SZOLGA bersa a lefut lre trtnik, az rajel frekvencija megfele-
zdik, azaz az gy kapcsolt J-K flip-flop az rajel frekvencit 2-vel osztja.
Megjegyezzk, hogy az aszinkron szmlncokban az rajel logikai szerepet
kap, ezrt olyan trolt kell vlasztani, amelyben a CLEAR bemenet kz-
vetlenl s azonnal hat a kimenetre, az rajel kzremkdse nlkl.
3.23. bra. A J-K MESTER SZOLGA flip-flop kettes oszt funkcija
A szmllkat kt csoportra osztjuk, szinkron s aszinkron szmllkra.

Mindkt tpus szmllt a modulo rtkkel jellemznk. A modulo-m (m-
modulus) szmll szmllsi tartomnya a termszetes szmok m-mel
val osztsa utn kapott lehetsges maradkok tartomnyn halad t. (0, 1,
2, m1).
Egy alapvet fogalmat kell mg bevezetnnk. A CARRY-LOGIKA
olyan kombincis hlzat, amely a kimenetn 1-et ad, ha a szmll ki-
menetein az (m1) kdja jelenik meg.
3.5.2. A szinkron szmllk modellje
Szinkron szmllkat felpt a J-K M-S vagy D-MS flip-flopok rajele
azonos. A visszacsatol hlzat a szmll llapot-tmeneti grfja alapjn
tervezhet meg azokkal a mdszerekkel, amelyeket a szinkron hlzatok
tervezsnek trgyalsakor elsajttottunk. Hangslyozand, hogy szml-
lk esetn az llapotkd adott. A betlthet, engedlyezhet, trlhet
szinkron modulo-m szmll vezrljelei s funkcii a kvetkezk:

Az R (RESET) magas szintje a rkvetkez rajel lefutsra nullzza a

szmllt. Az R jelnek a tbbi vezrljellel sszehasonltva abszolt
prioritsa van.
Az L (LOAD) jel hatsra, amennyiben nincs R, a szmll tartalma a
kvetkez rajel lefut lre az n bemenetre kapcsolt bit-vektor lesz.
Az E (ENABLE) jel, amennyiben az R s az L bemenet is logikai 0
szinten van, engedlyezi, hogy a kvetkez rajel lefut lre a szml-
l tartalma 1-gyel nvekedjk (inkrementls).
A 3.24. brn bemutatjuk a fenti szinkron szmll szimblumt, s az
egyik leggyakoribb modulo-16-os vltozatot. Megjegyezzk, hogy ennl
tbb funkcit is megvalstanak, pldul a felfel trtn szmlls mellett
lefel val szmllst is. (UP-DOWN COUNTERS).
3.24. bra. Betlthet, engedlyezhet, trlhet szinkron modulo-m

szmll ltalnos szimbluma s a gyakori 4-bites mod.-16-os alaptpus
Ha a bemutatott modulo-16-os szmllt 15-ig (1 1 1 1) felszmoltattuk,

akkor a CY (CARRY) kimeneten magas szint jelenik meg. A kvetkez
rajel lefut lre a szmll ismt 0-ra ll (0 0 0 0), s a CY kimenet is
alacsony szintre kerl. Ez CY arra alkalmas, hogy egy magasabb helyi-
rtkre helyezett szmll E bemenett magas szintre lltsa, gy lehetv
tve nagyobb modulus szmllk kialaktst.
3.5.3. Adott modulus szmll talaktsa ms modulusv
Ha egy m-modulus szinkron szmllt t kvnunk alaktani m < m mo-
dulusv, akkor j CY hlzatot kell kialaktani. Az j CY detektlja az j
m -1 rtket, s a soron kvetkez rajel a szmllt a RESET bemenet
segtsgvel trli (3.25. bra) A vezrl jelek kztti prioritsi viszony csak

akkor rkthet t az talaktott szmllra, ha beiktatjuk a neglt-L, E s

CY bemenet S kaput. Az L jel E feletti prioritsnak ugyanis akkor is
rvnyeslnie kell, ha a CY = 1.
3.25. bra. Egy m-modulus szinkron szmll talaktsa

m < m modulus szinkron szmllv
3.5.4. Szmll nulltl klnbz kezd rtknek belltsa

A nulltl klnbz, de a modulusnl kisebb kezdrtket az eredeti
szmll L jelnek felemelsvel, a CY =1 felttellel rjuk a szmllba. Az
j R bemenet ugyancsak az L bemenetre hat. Az eredeti R bemenetet nem
hasznljuk, azt konstans logikai 0 rtkre ktjk.
3.26. bra. 0-tl klnbz kezdeti rtk belltsa

3.5.5. Szinkron szmllk kaszkdostsa

A kaszkdosts clja, hogy a szinkron szmll modulust tbb, kisebb
modulus, leggyakrabban a sorozatban gyrtott szmllkbl, mint kom-
ponensekbl lltjuk ssze. Minden modul csak akkor lp tovbb a soron
kvetkez rajelre, ha a tle jobbra llk mindegyike m1 rtket mutat. A
CY kimenetek teht S kapcsolatban llnak egymssal. Mind a kompozit-
szmll tartalmt, mind a betltend szmot ilyenkor clszer olyan
szmlncolattal jellni, ahol a lnc minden szeme az adott komponensre
jellemz, az adott modulusnl kisebb, vagy azzal egyenl szm, (qr q1 q0),
(nr n1 n0).
3.27. bra. Kompozit szinkron szmll, kaszkdostssal
3.5.6. Plda: Modulo-256-os szmll mod-16 szmllkbl

Vizsgljuk azokat a szmll struktrkat, amelyekben ENABLE bemene-
tekre CY logikk csatlakoznak. Pldul, 4-bites, modulo-16-os szmllk-
bl kialaktott struktra (3.28. bra).

3.28. bra. Mod-256-os szmll kialaktsa mod-16 modulokbl
3.5.7. Szinkron szmllk alkalmazsa szinkron sorrendi

hlzatok tervezsre
A trlhet, engedlyezhet, betlthet szinkron szmllkat szinkron
sorrendi hlzatok llapotregisztereknt alkalmazhatjuk. Ez azt jelenti,
hogy a hlzat llapotait a szmll kimenetei kdoljk. Ha egy llapot-grf
lehetsges tmeneteit szmba vesszk, belthatjuk, hogy a fenti szmll
maradktalanul kpes azokat megvalstani. Ha egy llapot kvetkez lla-
pota nmaga, akkor ezt a szmllval gy realizljuk, hogy valamennyi
vezrljelt 0 szinten hagyjuk. Ha az llapot-tmenet a binris kd inkre-
mentlsa, akkor egyedl az E jelet emeljk fel. Ha az tmenet egy nem
nmagra s nem az inkrementlt kd kvetkez llapothoz vezet, akkor
az L jel felemelsvel betltjk a szmllba a kvetkez llapot kdjt. Az
R jel funkcija akkor hasznlhat ki a legegyszerbben, ha a szinkron hl-
zat kezd llapothoz a 0 binris kdjt rendeljk. Pldnkbl ltni fogjuk,
hogy a szmllk vezrl bemeneteire multiplexereket csatlakoztatunk.
Ezek utn tekintsk a 3.29. bra szerinti llapot-kimenet szinkron
sorrendi hlzat kdolt llapot-grfjt, s az annak alapjn felvett kt tb-
lzatot. Az egyik tblzat a lpsek, azaz az inkrementlsok logikai feltt-
eleit, a msik az ugrsok logikai feltteleit s kvetkez llapotait tartal-
mazza. A 3.30. bra mutatja, hogyan kell az aktulis llapot kdja ltal
megcmzett multiplexer bemenetekre a tblzatok szerinti feltteleket,
illetve a betltend kvetkez llapotkdokat rkapcsolni.

3.29. bra. llapot-kimenet szinkron hlzat

tervezshez szksges tblzatok
3.30. bra. Realizci mod-8-as szmllval s 8-1 multiplexerekkel

3.5.8. Aszinkron szmllk

Az aszinkron szmllk alapeleme a kettes oszt. Modulo-2n (m = 2n) szm-
llt kapunk, ha n-szm kettes osztt a 3.31. brn lthat mdon kap-
csolunk ssze:
3.31. bra. Aszinkron szmlnc kettes osztkbl,

s a szimblum n = 4 esetn
A szmllsi sorrend (Qn1 Q0) R vezrls (RESET) utn:

000. .00 (0)
000. .01 (1)
000. .10 (2)
.......
.......
100. .00 (2(n1))
.......
111. .11 (2n1) = m1
000. .00 (0)
3.5.9. Aszinkron szmllk kaszkdostsa
Nem okoz idztsi (hazrd-mkdsbl add) gondokat, ha a kaszkd
komponensek modulusai kett hatvnyai. A 3.32. bra egy aszinkron
mod-255 szmllt mutat, mod-16-os modulokbl.

3.32. bra. Mod-256 szmll 4-bites

aszinkron szmlncok kaszkdostsval
3.6. Funkcis egysgek

A funkcis egysgek egy vagy kt binrisan brzolt adattal valamilyen
mveletet vgeznek el. A funkcionlis egysgek kimert trgyalsa megha-
ladn ennek a kurzusnak a kereteit, csupn felvillantjuk a legfontosabb
alapelveket. A funkcis egysgek opearandusai s eredmnyei binris kd-
ban brzolt szmok. Kett hatvnyaival slyozott binris kdols elvt,
az egsz szmok binris alakjnak felrst, a binris szmok decimlisokk
val alaktsnak szablyait mr ismerjk. Meg kell azonban ismernnk a
negatv szmok (egszek s trtek) brzolsnak azt a mdjt is, amely
knnyv teszi az eljeles binris szmokkal val aritmetikai mveleteket.
Ezrt ebben a bevezet rszben megismerjk a komplemens kdok fo-
galmt s a velk val szmols f szablyait.
Minden hatvnykitevs slyokkal brzolt pozitv szmbl, fggetlenl
a szmrendszer r alapjtl, kpezhet egy inverz szm. Az inverz szm
minden egyes szmjegye helybe azt a szmjegyet rjuk, amelyet az eredeti
szmjegyhez hozzadva a rendszer maximlis szmjegyt kapjuk. Pldul
3-jegy decimlis szmok esetn: Ha N = 642, akkor NI = 357, hiszen a
maximlis rtk szmjegy 9. Belthat, hogy minden pozitv szmra igaz,
hogy
N + NI = rn - 1,
Itt n a szmjegyek szma, azaz az elbbi plda esetben n = 3.
Az 3 jegy pozitv decimlis szm s inverznek sszege 999, azaz
3
10 1. Ebbl kvetkezik, hogy az N pozitv szm negatv prja a kvetke-
zkppen rhat fel:
N = rn + NI + 1
Teht a 642 felrhat, mint (1000 + 357 +1).

Ha ezeket a kettes hatvnyai szerint slyozott binris szmokra alkal-

mazzuk, akkor az inverz ellltsa azt jelenti, hogy minden egyes szmje-
gyet, mint logikai rtket (0 vagy 1) neglni kell, majd ebbl megkapjuk a
szm negatv prjt, ha a legkisebb helyi-rtken 1-et hozzadunk az in-
verzhez. Plda: legyen egy binris trt a 0. 1 0 1, ahol a binris pontot a
legnagyobb helyi-rtk pozci utn kpzeljk. Ilyenkor a szm decimlis
trt alakban 1.(1/2) + 0.(1/4) + 1.(1/8) = + 5/8
Ennek a szmnak az inverze: 1.0 1 0, komplemense pedig
1. 0 1 0
+ 0. 0 0 1
1. 0 1 1
Ez teht a 5/8 trt binris, komplemens kdja.
A legfontosabb tulajdonsg, hogy a +5/8 s a 5/8 sszege binris
sszeadssal binris zrust ad, azaz az sszevons mveleti eredmnyeit az
algebra szablyainak megfelelen kapjuk meg.
0. 1 0 1
+ 1. 0 1 1
1 0. 0 0 0
A (21) sly pozciban keletkezett tlcsordulst nem vesszk figyelembe.
Ha a negatv szmokat abszolt rtkk komplemensvel jelentjk meg,
akkor a kvetkez aritmetikai szablyok addnak:
A szmok sszeadsa az brzolsnak megfelel eredmnyt szolgltat
Egy szm kivonsa azonos eredmnyt ad a komplemensnek hozz-
adsval.
Ebbl az kvetkezik, hogy az aritmetikai egysgnk a kivonst is ssze-
adssal vgezheti el.
3.6.1. Kompartorok
A kompartorok binrisan brzolt adatok sszehasonltst vgzik el. A
kvetkezkben csak pozitv binris szmok sszehasonltsval foglalko-
zunk, de megjegyezzk, hogy lteznek a komplemens kdra kiterjesztett
kompartor vltozatok is. Az sszehasonltsnak ltalban hromfle
eredmnye lehet: az egyik adat nagyobb a msiknl, (Mo), azonos rtk a
msikkal, (Eo), vagy kisebb a msiknl. (Lo) A logikai ramkrcsaldok
legtbbjnl a kompartorok mindhrom lehetsget egy-egy kimenettel

reprezentljk, de a rugalmas felhasznlshoz az kell, hogy az adott mret

adatok sszehasonltst vgz egysgek sszekapcsolhatk legyenek az
operandus-mretek nvelsnek cljbl. A bvtst szolglja az sszeha-
sonlts elve is, nevezetesen, hogy a kompartor az MSB-tl az LSB fel
haladva mindaddig nem dnt, amg valamelyik bit-pozciban eltrst nem
tall. Az eltrs dntst eredmnyez, s feleslegess teszi a tovbbi alacso-
nyabb helyi rtk bitek sszehasonltst.
Ha egy adott mret, pldul egy 4-bites kompartort hrom bemenet-
tel is elltunk (Mi, Ei, Li) s a magasabb helyi rtk 4-bitre elhelyezett
kompartor kimeneteivel vezreljk, valamint biztostjuk, hogy a mr fel-
jebb meghozott Mo = 1 vagy Lo = 1 dnts egyenesen kijusson a megfele-
l kimenetre, akkor egy bvthet (kaszkdosthat) kompartor egysget
kapunk. Egy ilyen kompartor egysget ltunk a 3.33. brn.
3.33. bra. 4-bites kompartor egysg
A 3.34. bra mutatja, hogyan kapcsoljuk ssze a kt 4-bites egysget 8-

bitess. brnkon a baloldali modul balszls, gy bemeneteire a megfelel
logikai konstans rtkeket kell kapcsolni.
3.34. bra. 8-bites kompartor kt 4-bites egysgbl

3.6.2. sszeadk
A teljes sszead (1-bites sszead)
A legtbb aritmetikai logikai egysg alapeleme az 1-bites sszead. Az
egysg igazsg-tblzata knnyen megalkothat, ha elkpzeljk a binris
sszeads mvelett egy adott helyi-rtken, ahov thozhatunk rtket a
megelz, kisebb helyi-rtkrl, (Ci), hozzadjuk az adott helyi-rtken
megjelen operandus bitek (A, B) sszegt (S), s kpezzk a nagyobb
helyi-rtkre val tvitel rtkt, (Co). A teljes sszead szimbluma s
igazsg-tblja lthat a 3.35. brn.
3.35. bra. A teljes sszead szimbluma
A B Ci S Co
0 0 0 0 0
0 0 1 1 0
0 1 0 1 0
0 1 1 0 1
1 0 0 1 0
1 0 1 0 1
1 1 0 0 1
1 1 1 1 1
A tervezs K-tbln val elvgzse utni logikai kifejezsek:

S = ( A B ) Ci
Co = A B + B Ci + ACi (1)
Co = ( A B ) Ci + A B (2)
Itt a szimblum a kizr-vagy (EXOR) jele.

Lthatjuk, hogy az tvitel (Co) kifejezse ktflekppen is felrhat. A

msodik kihasznlja az sszegben mr szerepl EXOR eredmnyt.
Mindkt megolds kapu-szint struktrja lthat a 3.36. s 3.37. br-
kon. Az els megolds htrnya, hogy tbb kapubl ll, mint a msodik,
ugyanakkor elnye, hogy mind az sszeg, mind az tvitel kt kapunyi ton
halad t, szemben a msodik megoldssal, ahol az tvitel hrom kapun
keresztl alakul ki.
3.36. bra. A teljes sszead gyorsabb vltozata
3.37. bra. A teljes sszead egyszerbb vltozat.
Soros tvitelkpzs bit-vektor sszead

A teljes sszeadk kaszkdostsval soros tvitelkpzs bit-vektor sz-
szeadt kapunk. (3.38. bra). A soros tvitelkpzs risi htrnya, hogy a
legnagyobb helyi-rtken az eredmny az sszes fokozaton ltal ksleltetve
jelenik meg. Minl szlesebb az sszead, annl nagyobb lesz a mveleti

id. A mveleti id cskkentst szolgljk a prhuzamos tvitel-kpzs,

illetve a vegyes, prhuzamos-soros tvitel-kpzs sszeadk.
3.38. bra. Soros tvitelkpzs, 4-bites sszead egysg
Prhuzamos tvitelkpzs bit-vektor sszead

Minden helyirtken, gy a k. helyi-rtken is, kpezzk a kvetkez logi-
kai jeleket:
Pk = Ak Bk
Gk = Ak Bk
S k = ( Ak Bk ) Cik = Pk Co ( k 1)
Cok = ( Ak Bk ) Cik + Ak Bk = Pk Co ( k 1) + Gk
Elvgezve a legkisebb helyirtktl kezdve a Cok rtkek kiszmtst, s

minden indexnl behelyettestve a kisebb helyirtkek bemeneteit, olyan
logikai kifejezseket kapunk, amelynek alapjn a 3.39. bra smja rajzol-
hat fel.
3.39. bra. 4-bites, prhuzamos tvitelkpzs sszead

3.6.3. Kivons
A kivons mvelett a binris szmok kdolsnak megfelel megvlasz-
tsval sszeadsra lehet visszavezetni. Azt a binris kdot, amelynek al-
kalmazsakor az sszeads fenti mdokon val elvgzse a kivons mve-
lett is kiszolglja, a mr trgyalt komplemens kd. A 3.40. bra szerinti
egysg az a kettes komplemens kdban brzolt szm kettes komplemen-
st lltja el. Azaz, minden kivonandt rajta tengedve, sszeadssal hajt-
hatjuk vgre a kivonst.
3.40. bra. Kettes-komplemens-kpz egysg
A 3.41. bra szerinti egysg V = 1 esetn az x kettes komplemenst lltja

el, mg V = 0 esetn y = x.
3.41. bra. Vezrelhet kettes-komplemens kpz egysg.
A 3.42. brn abszoltrtk-kpz egysget lthatunk. Brmely kettes

komplemens kdban rkez szm abszolt rtke kerl a kimenetre. Az

Xn, az MSB, egyben a szm eljele. Ha 1, akkor a szm kettes

komplemense lesz az abszolt rtk.
3.42. bra. Abszoltrtk-kpz egysg
A 3.43. brn azt mutatjuk be, hogyan vezetik vissza a mikroprocesszo-

rokban a kivons mvelett sszeadsra. Ha sszeadunk, A/S = 0, gy az
sszead jobboldali bemenetre maga az operandus kerl az azt trol
regiszterbl. Ezzel szemben, ha A/S = 1, azaz kivonni kell, a multiplexer
az operandus bitenknti negltjt kapcsolja az sszeadra, st, a CBE be-
menet is 1, azaz az operandus kettes-komplemense kerl sszeadsra az
akkumultor tartalmval.
3.43. bra. Kivons mikroprocesszorok aritmetikai egysgben

3.6.4. Szorzk
A szorzkat, hasonlan az sszeadkhoz az jellemzi, hogy a binris vekto-
rok kztti bitenknti szorzs-lptets-sszeads mveletsort vgzik el. A
szorz megoldsok igen nagy szma miatt ezeket rszletezni nem fogjuk,
inkbb egyetlen megoldst mutatunk be, egy array-szorzt. (3.44. bra) A
tmb specilisan sszekapcsolt teljes-sszeadkbl ll. Az A(i)*B(j) jell-
sek S kapukat szimbolizlnak. Az brn kt 4-bites binris trt-vektor
szorzst mutatjuk be, az indexek a binris ponttl jobb fel, azaz a kisebb
helyi-rtkek fel nvekednek. gy a szorzat legnagyobb helyi-rtkn P(1),
a legkisebb helyi-rtkn P(8) szorzat-bit szerepel. Hangslyozzuk, hogy
az bra szerinti tmb pozitv szmok szorzsra alkalmas, de hasonl
tmb szorz megoldsokat fejlesztettek ki kettes komplemens kdban
brzolt eljeles szmok kettes komplemens kd eredmnyt szolgltat
szorzsra is.
3.44. bra. 44-es tmb-szorz
Megjegyezzk, hogy a tmb-szorz ksleltetse a bitvektorok dimenzi-

szmval kzel linerisan n.
A 3.45. bra azt mutatja, hogyan lehet viszonylag kismret, pldul 4-
bites tmbkbl nagyobb mret, pl. 88 bites szorzt kialaktani. Ha az
A1_A2 kt ngybites vektor lnca az egyik operandus, a B1_B2, amely

ugyancsak kt ngybites vektor lnca a msik operandus, akkor a szorza-

tokat 44 bites szorzkkal, rszletekben is el lehet lltani. Ezutn min-
den rszlet-szorzatot a maga helyi-rtknek megfelel helyen kell 16-bites
sszeadkra vezetni.
Figyelem! A 3.45. bra szerinti sma minden egyes sszekttetse egy
4-bites vektort jell.
3.45. bra. 88 bites szorz, 44-es komponensekbl

(A szorzat MSB: 0, LSB: 15).

3.7. Vezrl egysgek

Ebben a fejezetben bemutatjuk a digitlis berendezsek tervezsnek azt a
mdszert, amelynek els lpse egy felbonts, azaz dekompozci. Ez a
gondolat elklnti az adat-utakat az azok kijellst s idbeli mozgatst
meghatroz idzt-vezrl egysgtl.
3.7.1. Digitlis egysg felbontsa adat- s vezrl-alegysgre
Az adatstruktrra s idzt-vezrl egysgre val felbonts szksgess
teszi a kt egysg kztti kapcsoldsi pontok pontos meghatrozst. Az
adat-struktra lnyegben regiszterekbl, multiplexerekbl s funkcis
egysgekbl ll, bemeneti adatokat fogad, s kimeneti adatokat szolgltat.
Ezek az egysgek egymssal sszekapcsoldva klnfle adat-plykat
tesznek lehetv. Az, hogy ezek kzl adott helyzetben mely plyk val-
sulnak meg, illetve e plyknak mely szakaszai aktivizldnak egy adott
pillanatban, ezt az idzt-vezrl hatrozza meg. Az idzt-vezrl cmzi
meg a multiplexerek s forrsait illetve kimeneteit, lltja be funkcis egy-
sgek mvelet-vezrl kdjait, s felemeli, illetve lebocstja a regiszterek
ber jeleit. Ezeket nevezzk vezrl-jeleknek. Az idzt vezrl mk-
dst azonban az adat-struktrbl rvezetett jelek, felttelek befolysol-
jk. Ugyanakkor a krnyezet bemeneti-felttelekkel befolysolja az idz-
t-vezrl mkdst, s maga az idzt vezrl is szolgltat kimeneti
vezrl jeleket a krnyezet szmra (3.46. bra). A kvetkezkben az id-
zt-vezrl egysget rviden vezrl egysgnek fogjuk nevezni.
3.46. bra. Digitlis egysg (rendszer) felbontsa.

3.7.2. Szmll-tpus vezrlk

A szmll tpus vezrl hrom f rszbl ll. Alapegysge egy trlhet,
engedlyezhet, betlthet szinkron szmll, amely a hrom multiplexer-
rel egytt egy llapot-kimenet szinkron sorrendi hlzatot valst meg.
egyet. Nzzk a 3.47. brt. A szmll vezrl-bemenetei kztt fennll
elsbbsgi viszonyokat figyelembe vve a mkds a kvetkezkppen
rhat le:
Ha az R bemenetet felemeljk, a szmll tartalma a fennll helyzet-
tl fggetlenl nullzdik. Ezzel szemben, ha
az R bemenet szintje alacsony, akkor kt eset van:
Egyik, ha a szmll kimenete ltal megcmzett, a betltst vezrl beme-
netre kapcsold felttel magas szint, akkor az ltala egyidejleg meg-
cmzett szm betltdik a szmllba. Ezzel szemben ll,
ha a betltsre kapcsold felttel szintje alacsony.
Ekkor ismt kt eset van:
Egyik, ha a kivlasztott, az engedlyez bemenetre kapcsold felttel
magas. Ilyenkor a szmll tartalma inkrementldik, ezzel szemben, ha az
engedlyez bemenetre kapcsold felttel szintje alacsony, akkor a szm-
ll rtke nem vltozik. Mindezeket a 3.5.7. pontban mr rszleteztk, de
a vezrl harmadik egysgt ott nem trgyaltuk.
3.47. bra. Szmll tpus vezrl
A harmadik f egysg a krnyezetnek s az adat-struktrnak szl vezr-

l-jeleket generlja. A vezrljelek generlsnak alapproblmja a hazrd-

mentessg. Ez azt jelenti, hogy a vezrljelek csakis a tervez ltal megha-

trozott idintervallumokban lehetnek aktvak, azokon kvl stabilan pasz-
szv logikai szinten kell azokat tartani. Ha valamennyi vezrl jel aktivit-
st magval az rajellel szinkronizljuk, akkor a 3.48. bra szerinti id-
diagram igazolja a hazrdmentessget.
3.48. bra. A szmll tpus vezrl idztse.

qn: a kvetkez szmll lls, q az aktulis szmll lls
Tegyk fel, hogy a q = Ni szmll-llskor, s csakis akkor szeretnnk a

Vk vezrl-jel aktivitst kivltani, az rajellel szinkronban. Belthat,
hogy a vezrljel bekvetkezse utn kvetkez rajel mr az idztsi
felttel biztos elmlsa utn jelenik meg.
3.7.3. Plda szmll tpus vezrl egysg tervezsre
A megvalstand idzt-vezrl egysget a 3.49. bra szerinti folyamat-
bra definilja. Eszerint az adat-struktra szmra szolgltatni kell egy
INIC nev jelet, valamint a VJ1, VJ2, VJ3, VJ4 vezrl-jeleket, a krnye-
zetbl fogadni kell egy START jelet, tegyk fel tovbb, hogy az adat-
struktrbl ered a C nev jel, s szolgltatni kell a krnyezet szmra a
KSZ jelet.
A folyamatbra szimblumainak jelentse:
1. rombusz, logikai felttellel: Ha igaz, az i kimeneten tvozunk
2. Ngyszg, jelnv-bejegyzssel: rajellel szinkronizlt pozitv impulzus
a megnevezett jelen.
3. Ngyszg jelnv-bejegyzssel s felfel v lefel mutat nyllal: Az rajel
felfut lre szinkronizlt felfuts vagy lefuts a meg nevezett jelen

3.49. bra. Egy vezrl-egysg mkdsnek megadsa folyamatbrval
Eszerint a vezrl-egysg, amennyiben a START alacsony, produkl egy

INIC impulzust, s a KSZ felemelsvel jelzi a kszenltet. Ezutn vr a
START felfut lre. Ha az megjelenik, visszaejti a KSZ jelet, s a VJ1,
VJ2 vezrljeleken prhuzamosan impulzust produkl. A kvetkez akci-
k a C bemenettl fggenek. Amennyiben C alacsony szint, akkor a VJ3,
VJ4 impulzusai megjelennek, ha magas, akkor azok kimaradnak. Ezutn
megint fel kell emelni a KSZ jelet, s a START szintje szerint visszatrni.
A vezrlsi folyamat temezse, azaz egy vezrlsi szekvencia lers
elksztse
A folyamatbra akciit a szmll-llsokkal jellt llapot-grfban rendez-
zk. A szmll-llsokhoz rendelt akcikat a grf jobboldaln soroljuk fel.
Az akci rsz lehet res. Ilyen pldul az els tem, amikor a START r-
tktl fggen vrakozunk, vagy egy temmel tovbb lpnk. Figyeljk
meg, hogy itt a jelemelseket s -ejtseket s, ill. r eltagokkal jelljk,
rzkeltetve ezzel, hogy az ilyen tpus jeleket S-R bistabilokkal lltjuk el.
gy minden ilyen jelhez kt impulzus-tpus jelet rendelnk. Ezzel azt is
elrjk, hogy az temezett vezrlsi szekvencia mr csak impulzus-tpus
jelekre hivatkozik. Lssuk teht az temezett vezrlsi-szekvencia lerst, a
3.50. brn.

3.50. bra. A szmll llapotainak grfja akcikkal
A multiplexerek megtervezse a vezrlsi szekvencia-lersbl

A realizlshoz mod-8 szmllt fogunk hasznlni, teht 3-bites szmllt.
A LPS multiplexer megtervezsekor azokat az temeket gyjtjk
ssze, amelyekben inkrementls tallhat. Az temek az inkrementls-
hoz tartoz feltteleket cmzik. Felttel nlkli inkrementlsi temhez
nyilvnvalan konstans logikai 1 tartozik. Hasonlan gyjtjk ssze az
UGRS multiplexer cmeit s bemeneteit is. Ugyanezekhez a cmekhez
rendeljk a SZM multiplexer bemeneteit is, amelyekhez az ugrsokhoz
bert temszmokat rendeljk.
A vezrljel-genertorok tervezse
Az INIC valamint a VJ1 VJ4 vezrljelek ellltsa NEM-VAGY ka-
pukkal trtnhet, a szmllrl levett s dekdolt temszmok felhaszn-
lsval. Mivel a kapuk bemenetre a negltakat kell kapcsolni, a dekdolt
temszmok negltjt tntettk fel a kapuk bemenetein.
A KSZ jel ellltsa bistabil troln keresztl trtnik. Lthat,
hogy az alkalmazott NS-NS bistabilon is az rajellel szinkronban tr-
tnik meg a vltozs. A multiplexereket a 3.51. bra, a vezrljel-gener-
torokat a 3.52. bra mutatja be.

3.51. bra. A szmllt vezrl multiplexerek.

A (Q0 Q1 Q2) vektor elemei a szmll kimenetei
3.52. bra. A vezrl-jel genertorok. Az llapotok dekdolt formban,

egyetlen bittel szerepelnek az brn
3.7.4. FSM tpus vezrlk

Az FSM (Finite State Machine) tpus vezrl, nevt arrl kapta, hogy az
idzt lnyegben vges llapotszm, MS trolkbl az adott clra fel-
ptett szinkron sorrendi hlzat.
brnkon egy ktfzis rajellel mkd egysg lthat (3.53. bra).
Felismerjk a klasszikus, ktfzis szinkron-sorrendi hlzat struktrt, ha
a flip-flopok MESTER fokozatait is s a SZOLGA fokozatokat is ssze-
fogjuk egy-egy l-vezrelt regiszterben. Az id-diagramon (3.54. bra) azt
mutatjuk be, hogyan kell kivitelezni egy ph2 fzissal szinkronizlt vezrl-
jel genertort. Lthat, hogy csak a MESTER fokozatrl levett idzt-
informci eredmnyez hazrdmentes megoldst. Figyeljnk fel arra, hogy
az llapotokhoz tartoz id-intervallumokat most a ph1 felfutsai kztt

definiljuk. Megjegyezzk, hogy a klasszikus MSI-szint logikai ramkrk

vilgban inkbb a szmll tpus vezrlt rdemes alkalmazni, hiszen a
szmll kszen van, s funkcii kihasznlhatk, mg az LSI-VLSI vilg-
ban leginkbb a ktfzis FSM-tpus vezrl tervezse az ajnlott.
3.53. bra. Ktfzis rajellel mkd FSM tpus vezrl
3.54. bra. Ktfzis rajellel hajtott FSM tpus idzt id-diagramja
3.7.5. nll makrocella tervezse FSM tpus vezrlvel

Az nll makro-cellk LSI-VLSI ramkrk ptelemei lehetnek. Saj-
tossguk, hogy egy specilis feladatra tartalmazzk mind az adatstruktrt,
mind az idzt-vezrlt, s beilleszthetk egy nagyobb vezrlsi folya-

matba. Fontos, hogy tbb ilyen nll egysg osztozkodhat az adat-

struktra elemein, ha nem akadlyozza ezt erforrs ignyek kztti tk-
zs. Valstsuk meg a kvetkez nll (autonm) makro-cellt:
A megtervezend egysg vrakozzon a vezrlsi folyamatot tad m-
sik nll egysgtl vezrelt cf_be jel felfutsra. Ha ez megrkezett, egy-
ms utn kt adatot ugyanarrl a d adat-sn bemenetrl rjon be kt regisz-
terbe (RA, RB), majd az /S bemenet szintjtl fggen adja ssze, vagy
szorozza ssze azokat, s az eredmnyt rja vissza az RA regiszterbe. Ha
ezt elvgezte, kldje tovbb a vezrlst egy harmadik nll egysgnek a
cf_ki jel felemelsvel, maga pedig vrakozzk jabb indtsra, de a cf_ki
jelet ejtse le alap-llapotba.
Ami az adatstruktrt illeti, vilgos, hogy legalbb kt regiszterre s kt
funkcis egysgre, egy sszeadra s egy szorzra van szksgnk. Belt-
hatjuk azonban, hogy az egyik operandusnak az eredmnnyel val fellr-
sa megkveteli egy tmeneti regiszter (RT) bevezetst is. Nyilvnval
ugyanis, hogy a funkcis egysgek kombincis egysgek, s bemenetkn
nem rhatjuk fell azt az adatot, amely az eredmny stabilan tartshoz s
trolshoz szksges. Ezrt az RA tartalmt tmentjk egy tmeneti tro-
lba, ezt kapcsoljuk a funkcis egysgekre, s gy az RA befogadhatja az
eredmnyt. Azt is knnyen kitallhatjuk, hogy az RA regiszterbe vgl is
3.55. bra. FSM tpus idzt-vezrlvel mkd autonm egysg

adatstruktrja s idztjnek llapotgrfja

hrom klnbz forrsbl kell tudni adatot betlteni. Ezek a d adatsn,

az sszead kimenete s a szorz kimenete.
Ezek utn felvzolhat a 3.55. bra bal oldaln lthat adatstruktra.
Mindhrom regiszterbl kilgnak a betlt-jelek, (lra, lrb, lrt) a 3-1 mul-
tiplexerbl pedig a hrom kivlaszt bemenet, (k1, k2, k3). Termszetesen
a mveletkivlaszt jel is szerepet kap a vezrlben, csakgy, mint az
FSM-t elindt cf_be kls vezrl bemenet. Termszetesen szolgltatni
kell a cf_ki vezrls-tovbbad jelet is.
Az bra jobb oldaln az FSM llapot-grffal megadott temezst lt-
hatjuk. A 0 sorszm. llapot a kezdeti llapot, ahov az R jel knyszerti
az idztt. Ebben az llapotban vrakozni kell a vezrlsi folyamat tad-
sra, azaz a cf_be jel felemelkedsre. Innen kezdve sorrendben kvetik
egymst az 1, 2 s 3 sorszm llapotok. Az 1-es llapotban az lra-n ber-
impulzust kell kivltani. Ezalatt a d snre kell kapcsoldnia az RA regiszter
bemeneteinek, azaz a multiplexer k1 kivlaszt jelt kell magasra emelni.
A 2-es llapotban egyszerre tltjk a msodik adatot a d-rl az RB regisz-
terbe, illetve a RA-bl az els adatot az tmeneti regiszterbe. Az lrb s lrt
betlt-impulzusok teht egyszerre jelentkeznek. Innen kezdve a kt
funkcis egysg kimenetn megjelenik az sszeg, illetve a szorzat. A 3-as
llapotban ismtelten az lra-ra adunk impulzust, de ez alatt a k2 vagy a k3
kivlaszt bemenetek egyiknek kell magasan lennie.
3.56. bra. A feladatban megfogalmazott idzt vezrl megvalstsa.

Az idztt 1-es sly llapotkddal realizltuk

A megvalstott idzt-vezrl a 3.56. brn lthat, sematikusan. A D

bemenetekre csatlakoz fekete doboz tartalmt a bal oldali logikai kifeje-
zsek mutatjk.
3.7.6. Vezrls mikroprogramozssal
A mikroprogramozott vezrl-egysg elve, hogy mind a vezrl-akcikat,
mind az elgazsra vonatkoz informcikat egy cmezhet memriban,
(lehet rhat/olvashat, vagy csak olvashat is), az temezsnek megfelel
sorrendben helyezzk el, mikro-utastsok formjban. A 3.57. brn lt-
hat egysg egy adott mikroutasts kiolvassa utn vagy a kvetkez mik-
routasts kiolvassba kezd, vagy elugrik egy megadott cmre. Azt, hogy
ezek kzl melyik eset valsul meg, felttelek teljeslstl fgg. Nyilvn-
val, hogy ez a kt lehetsg ketts elgazs megvalstsra is lehetsget
nyjt, hiszen a kvetkez cmen elhelyezhetnk egy felttel nlkli ugrst.
3.57. bra. A mikroprogramozott idzt-vezrl egysg smja
A mikroprogram utasts-sz felptse

Az utasts-sz hrom rszbl ll. Az els az akcikat kivlt, n. oper-
cis rsz, (OP) a msodik a bemeneti jelek (felttelek) cmzsre alkalmas
n. felttel-rsz (FELT), mg a harmadik pedig az a memria cm, ahov
akkor ugrunk, ha a FELT rsz ltal kivlasztott jel magas szint.
Kritikus az OP rsz mretnek megvlasztsa. Ha az OP rszben min-
den egyes vezrljelhez tartozik egy bit, akkor ezt horizontlis mikrokd-

nak nevezik. Elnye, hogy egyetlen mikroutastssal akr valamennyi ve-

zrl-jel aktivizlhat egyetlen mikroutastssal, htrny viszont, hogy a
memria horizontlis mrete maximlis. Ha az OP rsz csak a vezrljelek
egyikt cmzi meg, akkor a mikroutasts sz a lehet legrvidebb, de egy
mikroutastssal csak egyetlen egy vezrljel aktivizlhat. Ez megnveli a
mikroprogram vgrehajtsnak idejt. Az ilyen mikroprogramot nevezik
vertiklis mikrokdnak.
Nyilvnval, hogy a kt szlssges megolds kztt szmos kzbens
vltozat ltezik. Pldul prhuzamosan cmezhet vezrljel csoportokon
bell egyedi jeleket cmeznk.
Nyilvnval teht, hogy a teljes mikroprogram mrett nemcsak a fo-
lyamat temeinek a szma, hanem a mikroutasts mrete is befolysolja.
A mikroprogramozott vezrl egysg idbeli mkdse
A 3.57. bra alapjn knnyen kvethet a mkds. A ph1 rajel felfuts-
ra berdik egy memria-cm a CM_R1 regiszterbe, s ennek megfelelen
a megcmzett utasts sz rszei megjelennek a memria kimenetein. Ez a
mikroutasts elvtele. Ennek hatsra a VJ_R vezrljel regiszter beme-
netn megjelenik az akcikat vezrl OP rsz, az MPX2 kimenetn megje-
lenik a FELT rsz ltal megcmzett felttel, illetve bemenjel logikai szint-
je, s az MPX2 kt bemenetn megjelenik egyrszt a potencilis ugrs c-
me, msrszt az INCR hlzaton keresztl az aktulis cm inkrementltja.
Az INCR tulajdonkppen egy sszead, amelynek egyik operandusa min-
dig 1.
A kvetkez esemny a ph2 rajel felfutsa. Erre a kiolvasott OP rsz
megjelenik a vezrl-jeleken, s az MPX1 szintjtl fggen vagy az ink-
rementlt cm, vagy az ugrs cme tltdik be a CM_R2 regiszterbe. Ezzel
a kvetkez ph1 felfutsra megindul a kvetkez mikroutasts elvtele.

Digitlis hlzatok Bevezets a mikroprocesszoros rendszerek tervezsbe
4. Bevezets a mikroprocesszoros
rendszerek tervezsbe
A fejezet clja, hogy az olvas mikroprocesszoros rendszerek legalapve-
tbb fogalmait megismerje, kell alapismereteket szerezve az ilyen rend-
szerek tervezsi mdszereinek elsajttshoz.
4.1. A Neumann-fle architektra

A mikroprocesszorok technikja az elmlt szzad hetvenes veiben alakult
ki. Nhny kivteltl eltekintve mind a klasszikus, mind a mai mikropro-
cesszorok a Neumann-fle architektra hagyomnyos vonsait rzik.
A mikroprocesszoros rendszer f rszei a kvetkezk:
A CPU, azaz a kzponti egysg, amely tbbnyire maga a mikropro-
cesszor,
A MEMRIA, amelyben a programot (utastsokat ) s az adatok
nagy rszt is troljuk valamint az
I/O, azaz kommunikcis egysgek, amelyek a krnyezettel val adat-
csert biztostjk.
A rendszernek ezt a felbontst a 4.1. bra mutatja. A CPU a memrival
kt sn-rendszeren keresztl kommunikl. Az egyikkel cmzi a memrit
(ADDRESS-BUS, CM-SN), a msikon keresztl pedig utastsok rkez-
nek a CPU-ba, illetve adatok jnnek-mennek. Az I/O egysgekkel val
kapcsolat mindig ktirny.
4.1. bra. Mikroprocesszoros rendszer f elemei

A CPU a rendszer legaktvabb eleme. Ha bekapcsoljuk, azonnal megcmzi

a memria legels celljt, s felttelezi, hogy amit onnan kiolvas, az egy
utasts. Innen kezdve, teht az els utasts vgrehajtstl kezdve a pro-
cesszor vagy a kvetkez utastst vesz el, vagy elugrik arra a cmre, ame-
lyet az ppen vgrehajtott utasts diktl, s ott folytatja a program vgre-
hajtst. Ezt a rendet persze nhny sajtos s rendkvli esemny felbo-
rthatja. Ezekkel ksbb rszletesen foglalkozunk. A Neumann architekt-
ra sajtossga teht az utastsok sorrendben trtn (szekvencilis) vg-
rehajtsa.
4.2. Cmzsi mdok

A CPU a memriban trolt utastsokat s adatokat cmeik segtsgvel
ri el. A CM (ADDRESS) a cmbuszon, (ADDRESS-BUS) megjelen
binris vektor. Ha azt akarjuk, hogy ugyanazt a memrit tbb CPU is
hasznlhassa, a cmbuszt a CPU-nak lebegtetnie, azaz szabadon hagyni
is tudnia kell. A cmbusz teht egyirny, hromllapot sn. Felttelezzk,
hogy minden utasts egyetlen operandusra hivatkozik, mert a msik
operandus helye adott. Ez ltalban az AKKUMULTOR regiszter. gy
minden utastsnak egy memria cmet kell meghatroznia. Ez lehet:
implicit
idzetes
direkt
indirekt
indexelt
Az egyes cmzsi mdok jelentse a kvetkez:
Implicit cmzs: az utasts kdja utal az operandus helyre (pl. egy kitnte-
tett regiszter)
Idzetes cmzs: az utasts tartalmazza magt az operandust.
Direkt cmzs: Az utasts tartalmazza az operandus cmt.
Indirekt cmzs: Az utasts tartalmazza azt a cmet, ahol az operandus cme
megtallhat.
Indexelt cmzs: az utasts egyrszt hivatkozik egy index-regiszter nevre, s
megad egy cmnvekmnyt, amit az index regiszter tartalmhoz adva
megkapjuk az operandus cmt.

4.3. Utastsok s adatok

Az utastsokat s adatokat a CPU a memribl veszi, s oda is helyezi el
az eredmnyeket.
Az ADAT-SN (DATA-BUS) teht ktirny. Ahhoz, hogy a memri-
hoz ms CPU is hozzfrjen, az ADAT-SN-t is lebegtetni kell. Ez teht
ktirny, hromllapot sn. Ha egy CPU-s rendszerben ms, intelligens
vezrl-egysgek is hasznljk a CPU-hoz rendelt memrit, akkor a CPU
lekapcsoldsa a msik egysgnek kzvetlen memria elrst, DMA-t
(Direct Memory Access) tesz lehetv. Ha tbb CPU hasznlja ugyanazt a
memrit, akkor memriban csatolt multiprocesszoros rendszerrl besz-
lnk.
4.4. Szekvencilis program

Az utastsok a memriban nvekv cmk sorrendjben helyezkednek
el. A CPU ebben a sorrendben hajtja vgre azokat. A cmzs els kzel-
tsben teht szmlls (PC, Program-Counter). Eltrsek ettl a szigor
monotonitstl:
RESET, azaz kezdeti llapotba llts. Ilyenkor a CPU nullzza a prog-
ramszmllt, s a zrus cmen jra kezdi a program vgrehajtst.
Ugr utasts (JUMP), amely lehet felttel nlkli, vagy feltteles.
Az utasts tartalmazza a cmet, ahov ugrani kell. Feltteles ugrs esetn
az ugrs csak a felttel teljeslse esetn kvetkezik be. A felttelt szintn
az utasts tartalmazza.
Szubrutin hvs (CALL) s visszatrs (RETURN)
Az utasts tartalmazza a szubrutin (alprogram) kezdcmt. A pro-
cesszor ide ugrik, s elkezdi ennek az utasts-sorozatnak, azaz az al-
programnak a szekvencilis vgrehajtst. Az alprogram vgn egy
RETURN, azaz visszatrsi utasts tallhat. A hvs helyre vissza-
trni a CPU csak akkor tud, ha a hvs eltti kvetkez utasts cmt a
hvs vgrehajtsakor el kell trolni a memria meghatrozott rszben
(VEREM, STACK). Mivel alprogramokat tetszlegesen lehet egyms-
ba gyazni, a VEREM specilis rsze a memrinak.
Megszakts (INTERRUPT)
A program futst valamilyen esemny (nem programozzuk, de szm-
tunk r tpus) megszaktja. Ilyenkor le kell futtatni egy specilis, meg-
szaktsi alprogramot, amelynek a vgn elhelyezett RETURN vissza-

trst eredmnyez ugyan a megszaktott program kvetkez utasts-

hoz, de a megszaktsi alprogram ms vltozsokat is okozhat, ezrt a
VEREM-ben val trols megszakts kiszolglsakor sokkal bonyo-
lultabb, mint a CALL-RETURN esetn.
Tarts, HOLD
A HOLD llapotot egy azonos nev bemen-jel kezdemnyezi, ha ma-
gas szintre ll. Hatsra alkalmas pillanatban processzor megll, s gy-
nevezett HOLD llapotba kerl. Ez azt jelenti, hogy a CPU mind az
ADAT, mind a CM sneket elengedi (lebegteti), s ezzel DMA-ra ad
lehetsget. Ebbl az llapotbl kilpni a HOLD jel leejtsvel lehet.
Megllts, HALT
Ez olyan specilis utasts, amelynek hatsra a processzor elrehala-
dsa megll. Egy specilis vrakoz llapotba kerl a processzor, ami-
bl megszaktssal lehet kikerlni.
4.5. Egyszer mikroprocesszor architektra

A mikroprocesszor architektrjnak f elemei egyrszt az utastsok el-
vtelnek s rtelmezsnek, msrszt vgrehajtsnak a feladatait ltjk el
(4.2. bra).
4.2. bra. Egy egyszer mikroprocesszor

regiszter-tviteli szint architektrja

Vegyk sorra elszr az utasts elvtel s rtelmezs f elemeit. Az uta-

sts-elvtel (FETCH) a programszmllbl (PC) indul. Maga a PC az
bra jobb oldaln lthat regiszter-halmaz egyik eleme. Egy inkrementlst
vgrehajt egysg csatlakozik hozz (INC/DECR). A PC tartalma az uta-
sts-elvtel els fzisban az ABB (cm-sn meghajt) egysgre kerl.
Ezzel a cm megjelenik a memria cmz bemenetn, s a memria a
megcmzett memria-cella tartalmt a KLS ADAT-SN-re (EDB)
helyezi. Ez az adat az L/DBB adatsn trol s meghajt fokozaton t a
BELS ADAT-SN-re (IDB) kerl, ahonnan a processzor azt berja az
IR utasts-regiszterbe. Az utasts-regiszterre csatlakoz ID utastsdek-
der kimenetein megjelennek azok a jel-szintek, amelyek az adott utasts
vgrehajtsnak logikai feltteleit biztostjk. Fontos, hogy a FETCH vg-
rehajtsval egyidejleg a PC inkrementldik, teht mris a kvetkez
utasts cmre mutat.
Az utastsok vgrehajtsnak legfontosabb eleme az aritmetikai-logi-
kai egysg (ALU) s a hozz kapcsold specilis regiszterek. Vegynk egy
ktoperandus aritmetikai utastst. Ennek egyik operandusa mindig az
akkumultor (ACC) regiszterben van, mr az utasts vgrehajtsnak
megkezdse eltt. A msik operandust be kell hozni az operandus-regisz-
terbe (TMP). Azt hogy azt honnan s hogyan kell ide hozni, azt a mr az
IR-ben lv utasts-kd hatrozza meg. Tegyk fel, hogy a szban forg
utasts direkt-cmzssel hatrozza meg a msik operandus cmt. A pro-
cesszornak teht be kell hoznia ezt a cmet az utasts kdot kzvetlenl
kvet memria-cellkbl, majd ezt a cmet kell az ABB-be juttatnia. Miu-
tn a memria kiadta ezt a megcmzett msik operandust, az a bels adat-
snen t bejut a TMP regiszterbe. Most kezddhet a tulajdonkppeni arit-
metikai szmts. Az ACC tartalma elszr az ACT tmeneti regiszterbe
kerl, felszabadtva ezzel a helyet az eredmny szmra az ACC regiszter-
ben. Az aritmetikai mvelet eredmnye az ACT s a TMP regiszterekbe
rkez operandusok megjelenstl szmtott mveleti idn bell megje-
lenik az ALU egysg kimenetn. Az utols mozzanat, hogy az ALU kime-
netnek rtke megjelenik az IDB-n, s az ACC-ba kerl. Az ALU-hoz
csatlakoz mutatk (FLGs) bitek az ALU-ban szlet eredmnyek nhny
fontos ismrvt mutatjk.
Fontos szerepet tlt be a regiszter-tr, mind a cmzsben, mind adat-
trolsban.
A processzor idzt-vezrljnek (TAC, Timing and Control) felada-
ta, hogy az utasts-elvteli s vgrehajtsi ciklusok llapotai alatt a tenni-

valknak megfelel vezrl-jeleket generlja. Ezek a vezrl-jelek lehetnek

az rajel valamelyik fzisval szinkronizlt impulzusok, pldul regiszterek
ber jelei, vagy valamely llapot valamelyik rajel-fzisra felfut, vala-
mely msik llapot valamelyik rajel fzisra lefut jel, pldul ALU funk-
ci bellts. Az idzt fogadja s generlja is azokat a vezrl jeleket,
amelyek a krnyezetbl szrmaznak, illetve a krnyezetnek szlnak. A
TAC ltal generlt vezrl-jelek a rendszert rtestik a kvetkezkrl:
a processzor rsi memria vagy I/O mveletet hajt vgre (WR),
a processzor memribl, vagy I/O egysgbl olvasst hajt vgre
(DBIN),
a processzor engedlyezi a megszaktst (INTE),
a processzor a tart-llapotba val tmenetre vonatkoz krst nyug-
tzza (HOLDA),
a processzor vrakoz llapotban van (WAIT)
a processzor kihelyezte az adatbuszra a sttusz-informcit (SYNC)
Az idzt-vezrl fogadja a kvetkez krnyezeti vezrl-jeleket:
megszakts-krs a processzorhoz (INT),
krs tart-llapotba val tmenetre (HOLD)
A processzor megszntetheti a vrakoz llapotot, a memria vagy I/O
elkszlt (READY)
4.6. A mikroprocesszor idbeli mkdse

A processzorok idzts-vezrlsnek llapotai gpi ciklusokba vannak
sorolva. A gpi ciklus azon llapotok halmaza, amelyek egy memrival
val kommunikcihoz kellenek Egy gpi llapot a ktfzis, nem-tlapolt
rajel els fzisnak (ph1) kt felfutsa kztti idtartomny. Egy gpi
ciklus vltoz szm llapotbl llhat, mg utastsok vgrehajtsa pedig
vltoz szm gpi ciklusbl ignyel. Kitntetett gpi ciklus az els, azaz
M1 ciklus, ami a FETCH, azaz az utasts-elvtel. A legrvidebb vgre-
hajts utastsok az M1 alatt vgre is hajtdnak A leghosszabb vgrehaj-
ts utastsok a fenti akr 4-6 gpi ciklust is ignyelhetnek.

4.7. Az utastskszlet
A mikroprocesszorok utastskszlett alkot utastsokat funkcijuk sze-
rint csoportostjuk, a kvetkezkppen.
adatmozgatk
aritmetikaiak
elgazk
verem, I/O s vezrlk
Adatmozgat utastsok vgrehajtsakor a memria-helyek, vagy a mem-
ria s a regisztertr kztti adattvitel zajlik. Az aritmetikai utastsok vg-
rehajtsakor operandusok kztti szmtsok vagy logikai mveletek
mennek vgbe a processzorban. Az elgaz utastsok sorn felttel nl-
kl, vagy adott logikai felttelek fennllsakor megvltozik a memriban
lev utastsok cm szerinti sorrendben val elvtele.
4.8. Nhny utasts vgrehajtsa

A processzor mkdsnek megrtse rdekben vizsgljuk meg, milyen
vezrlsi szekvencia tartozik nhny utasts elvtelhez s vgrehajts-
hoz.
4.8.1. A MOVEr,M (Move from Memory) utasts vgrehajtsa
Az utasts binris kdja: 01DDD110
Az utasts defincija: r(DDD) MEM(H_L)
Ciklusok szma: 2
llapotok szma: 7
Cmzs: regiszter-indirekt
A jelzbitek: nem vltoznak
Az utasts defincija szerint a processzor a DDD regiszter-cmmel kije-
llt gyors-regiszterbe hozza a H_L regiszter-pr aktulis tartalmval meg-
cmzett memria-szt. Az elvtellel egytt kt gpi ciklus kell a vgrehaj-
tshoz, s sszesen 7 gpi llapot, azaz rajel ciklus. A cmzs az indirekt
cmzsnek egy meghatrozott alfaja, amikor a memria-cm egy regiszter-
prban tallhat. Az utasts vgrehajtsa nem vltoztatja meg a procesz-
szor jelzbitjeit. A vgrehajts llapotonknt:
M1, T1: AB PC, EDB sttuszinformci
M1, T2: PC PC + 1

M1, T3: IR EDB

M1, T4:
M2, T1: ABB H_L, EDB sttuszinformci
M2, T2: IDB EDB
M2, T3: r(DDD) IDB
4.8.2. Az ADD M (Add Memory) utasts vgrehajtsa

Az utasts binris kdja: 10000110
Az utasts defincija: ACC MEM(H_L) + ACC
Ciklusok szma: 2
llapotok szma: 7
A jelzbitek: vltoznak
A vgrehajts llapotonknt:
M1, T2: PC PC + 1
M1, T3: IR EDB
M1, T4: ACT ACC
M2, T1: AB H_L, EDB sttuszinformci
M2, T2: IDB EDB
M2, T3: TEMP IDB
M1, T1: IDB ACT + TMP
M1, T2: ACC IDB
Vegyk szre, hogy az ADD M utasts vgrehajtsa tlapoldik a kvet-

kez utasts elvtelvel. Ezt a mkds gyorstsra ms utasts vgre-
hajtsnl is alkalmazzk.
4.8.3. A LDA ( Load Accumulator ) utasts vgrehajtsa
Az utasts kdja: 00111010
laddr
haddr
Az utasts defincija: ACC MEM(haddr_laddr)
Ciklusok szma: 4
llapotok szma: 13
Cmzs: direkt

A vgrehajts llapotonknt:
M1, T2: PC PC + 1
M1, T3: IR EDB
M1, T4:
M2, T2: PC PC + 1
M2, T3: Z MEM(AB)
M3, T2: PC PC + 1
M3, T3: W MEM(AB)
M4, T1: AB W_Z, EDB sttuszinformci
M4, T2: IDB EDB
M4, T3: ACC IDB
4.8.4. A CALL ( Call, azaz alprogram hvs) utasts

vgrehajtsa
laddr
haddr
Az utasts defincija: MEM(SP-1) h_PC
MEM(SP-2) l_PC
SP SP 2
PC haddr_laddr
Ciklusok szma: 5
llapotok szma: 17
Cmzs: kzvetlen
Az utasts vgrehajtsa llapotonknt:
M1, T2: PC PC + 1
M1, T3: IR EDB
M1, T4:
M1, T5: SP SP-1
M2, T1: AB PC, EBD sttuszinformci
M2, T2: PC PC + 1
M2, T3: Z MEM(AB)
M3, T2: PC PC + 1

M3, T3: W MEM(AB)

M4, T1: AB SP, EDB sttuszinformci
M4, T2: SP SP -1
M4, T3: EDB hPC

M5, T2: SP SP -1
M5, T3: EDB lPC

M1, T1: AB W_Z
M1, T2: PC W_Z + 1
4.9. A RETURN (Return, azaz visszatrs az

alprogrambl) utasts vgrehajtsa
Az utasts defincija: lPC MEM(SP)
hPC MEM(SP+1)
SP SP + 2
Ciklusok szma: 3
llapotok szma: 10
A vgrehajts, llapotonknt:
M1, T2: PC PC + 1
M1, T3: IR EDB
M1, T4:
M2, T2: SP SP + 1
M2, T3: Z MEM(AB)
M3, T2: SP SP + 1
M3, T3: W MEM(AB)
M1, T1: AB W_Z

M1, T2: PC W_Z + 1

4.10. A mikroprocesszor mkdsnek egyb

sajtossgai
4.10.1. A READY-WAIT jelpros
Az (Mi,T2) s az (Mi,T3) llapotok kztt ltalban memria rs vagy
olvass trtnik. Ha a memria nem olyan gyors, hogy a szmra elrt
mveletet el egy llapot alatt lehessen vgezni, egy (Mi,Tw) vrakoz lla-
potot kell beiktatni. Ez egy READY-WAIT jelpros segtsgvel valsul
meg. Amg a memria nem jelzi a READY segtsgvel, hogy elkszlt, a
processzor fenntartja a vrakoz llapotot, s a WAIT jelet.
4.10.2. A sttusz-informci
A processzor minden gpi ciklus T2 llapotban kiadja a krnyezetnek a
ciklusra vonatkoz informcit. Ezek mint kdolt binris vektorok az
EDB-n jelennek meg, s a SYNC lefut lvel eltrolhatk.
Nhny jellemz sttusz:
UTASTS ELVTEL,
MEMRIA OLVASS,
MEMRIA RS,
VEREM OLVASS,
VEREM RS
A sttuszinformcit rendszer-vezrlsre hasznljuk.
4.10.3. A jelzbitek
Z: 1, ha az ALU-ban kpzdtt eredmny 0,
CY: 1, ha van tvitel a legnagyobb binris helyirtkrl,
S: az ALU-ban kpzdtt eredmny eljele
4.10.4. Az SP rtknek belltsa
A veremmutat belltsra specilis utastst definiltak. Ez az SPHL
utasts, amely a H_L regisztertr tartalmt betlti a verem-mutatba.
SP H_L
4.10.5. A megszaktsok kezelse

Az EI utasts engedlyezi a megszaktst. Vgrehajts: a bels INTFF
(Interrupt flip-flop) 1-be ll, s INTE kimen jel magasra emelkedik. Ha
az INT a kls vezrl-jelen megrkezik, a kvetkez FETCH ciklus spe-
cilis utastst fogad. Ez nem a memribl jn, hanem a megszaktst

kr egysgnek kell az EDB-re tennie. Neve RSTn Fontos, hogy a folya-

matban lv utastst befejezzk, mieltt az RST n-t elindtjuk. Az RSTn
utasts kdja: 1 1 N N N 1 1 1
4.11. A mikroprocesszoros rendszer

Egy mikroprocesszoros rendszer magn a processzoron kvl termszete-
sen szmos ms rendszer-elemet is tartalmaz. A 4.3. brn bemutatott
rendszer a memria modulokat s a processzort kiszolgl egyb modu-
lokbl ll. A ROM (Read Only Memory), azaz csak olvashat memria)
modulok olyan memria ramkrk, amelyekbe adatot rni nem lehet, az
azokban rgztett adatok azonban ugyanolyan cmzsi s vezrlsi eljr-
sokkal olvashatk ki, mint az rhat-olvashat memrik esetben. Az
rhat olvashat memriamodulok a RAM (Random Access Memory)
egysgben foglalnak helyet. Ez az elnevezs nem a funkcira utal, hanem
arra, hogy az adatok kzl brmelyiket kzel azonos id alatt rhetjk el.
A memrikkal val kommunikcit a TIMER-egysg azzal segti, hogy a
lass memritl szrmaz ksleked READY jelet szinkronizlja a pro-
cesszor szmra, s fogadja a WAIT jelet. Az SC (System Controller,
rendszer-vezrl) a SYNC jellel szinkronban eltrolja a sttusz inform-
cit, s ennek segtsgvel megfelel mdon vezrli a processzort, de a
rendszer CB (Control Bus) vezrl-snjt is. A CB sszekti a processzor
kls adat-snjt a rendszer adat-snnel (DB). A rendszert az I/O kom-
munikcit segt egysgek egsztik ki. A kommunikci tbb, szabv-
4.3. bra. Mikroprocesszoros rendszer

nyos rendszert segt kommunikcis interfsz (CI), a perifrikkal val

kommunikcit vezrl perifria interfsz (PI), s a megszakts-krseket
prioritsi sorrendbe llt IPI (Interrupt Priority Inteface) modul.
4.12. Kommunikci mikroprocesszoros

rendszerelemek kztt
A tbb CPU-t, illetve ms intelligens egysget is tartalmaz mikroprocesz-
szoros rendszer elemei kztt adatok tvitele zajlik. Az adattvitelt kezde-
mnyez egysg a MASTER, a passzv fl pedig a SLAVE egysg. ltal-
ban egy CPU a MASTER, s tbb potencilis SLAVE kapcsoldik a
MASTER-hez. Ahogyan az adat- s a cm-sn is kzs s egyetlen a rend-
szerben, hasonl megolds alakult ki a vezrl jelek snjre is. A problma
az, hogyan hasznlhatja valamennyi egysg ugyanazt a vezrl-vonalat. A
megoldst a 4.4. bra mutatja. Egy kiragadott vezrl-vezetk valamennyi
egysghez csatlakozik, de a kommunikcis folyamat megindulsa eltt
minden egysg lebegteti azt. A vonal ellenllsokon keresztl a pozitv tp-
feszltsgre van ktve. gy alapllapotban egy gyenge 1-es szint van a
vonalon. Ezutn a kommunikciban aktv egysg a vonalra csatlakoz
MOSFET kapcsolja segtsgvel 0 szintet knyszerthet a vonalra, amelyet
a tbbiek rzkelnek. A 4.5. brn azt ltjuk, milyen vezrl-jelek szksge-
sek egy MASTER s egy ltala kijellt SLAVE kztti adattvitel lebonyo-
ltshoz. A SLAVE a cmsnen felismeri a sajt cmt, ezzel tudomsul
veszi a kijellst. Az adat-sn szolgl mind az rott, mind az olvasott adat
tvitelre. A MASTER a RD/NWR jelen kdolja, hogy olvasni vagy rni
akar. A kommunikci megindtsa a MASTER feladata a negatv logikj
NRQST (REQUEST) jel 0-ra val lehzsval. A kijellt SLAVE a
NDTACK jel lehzsval jelzi, hogy eleget tett a MASTER felszltsnak.
4.4. bra. negatv logikj vezrl-vezetk

4.5. bra. A MASTER s egy SLAVE kapcsolata
Kvessk most a kommunikci idbeli lefolyst a 4.6. bra segtsgvel.

A MASTER, amennyiben rst kezdemnyez, a kijellni kvnt SLAVE
cmt, az tvinni kvnt adatot elhelyezi az AB s az EDB sneken. Ezutn
lerntja az NRQST jelet. Ezt valamennyi egysg rzkeli, s mindenki
megvizsglja az AB-n lv cmet. A kijellt SLAVE felismeri a cmt, s
tudomsul veszi azt is, hogy az EDB-n lv adatot be kell olvasnia. Ezt
megteszi, majd az NDTACK vonal lerntsval jelzi, hogy a feladatot tel-
jestette. Ezutn a MASTER elengedi az NRQST vonalat, amire a SLAVE
az NDTACK vonal elengedsvel vlaszol.
4.6. bra. rs s olvass a MASTER kezdemnyezsre

Vizsgljuk most az olvass folyamatt. Ilyenkor a MASTER az EDB-t

lebegteti, hiszen azt majd a SLAVE-nak kell meghajtania. A MASTER
most is az NRQST-vel kezdi a folyamatot, de most az RD/NWR jel ma-
gasan marad. A SLAVE a cm s a szndk felismerse utn kiteszi adatt
az EDB-re, s az NDTACK jelet lerntja. Erre a MASTER, miutn az
EDB-n lv adatot beolvasta, elengedi az NRQST-t, amire a SLAVE az
NDTACK elengedsvel vlaszol. Ezt a kommunikcis folyamatot
HAND-SHAKE (kzfogsos) adattvitelnek nevezik.
4.13. A mikroprocesszoros rendszerek ASSEMBLY

szint programozsa
Egy igen egyszer pldval illusztrljuk a gpi kdhoz igen kzel ll AS-
SEMBLY nyelv programozs sajtossgait. Tegyk fel, hogy egy cmlista
elemei a memriban sztszrt adatok cmeit tartalmazza. A cmlista hosz-
sza nincs meghatrozva, ezrt a vgt egy specilis cm jelzi, legyen ez az
FFFFH, azaz a maximlis 4-jegy hexadecimlis sorszm. A program fel-
adata, hogy a cmlista elemeit egyenknt beolvassa, megvizsglja, hogy
nem a lista-vgt jelz cm-e, s ha nem, akkor hozza be a memribl a
listaelemmel megcmzett adatot, s adja hozz a mr kialakult rszsszeg-
hez. Az olvas feladata, hogy a mellkelt utasts-defincik alapjn rtel-
mezze az ASSEMBLY nyelv programot.
Cmke Mnem. Paramter Megjegyzs

LXI H, LIST A lista kezdcme a H_L be
CALL SUMMA rutin hvsa
SUMMA: XRA A Az ACC trlse
LOOP: MOV C, A Az ACC ttltse a C regiszterbe
MOV E, M Az els adat cmnek als rsze az E-be
kerl (H_L cmzs)
INX H A H_L nvelse
MOV A, M Az els adat cmnek fels rsze ACC-ba
kerl
CPI FF Ha ACC tartalma FF, Z nulla lesz
JZ BACK Ha vge, ugrs a BACK cmkre
MOV D, A Ha nincs vge, cm als fele D-be
LDAX D adatbyte a D_E ben megadott cmrl az
ACC-ba

ADD C ACC hozzadsa C-hez

JC OVER Ha CY=1, tlcsorduls, ugrs OVER-re
INX H H_L nvelse
JMP LOOP Visszaugrs
BACK: MOV A, C sszeg vissza az ACC-ba
RET Visszatrs
OVER: NOP A tlcsorduls lekezelsnek kezdete
A mg nem ismert utastsok defincii:

LXI: h r byte3, l r byte2
(az utastskd utni kt byte az r-regiszterprba kerl)
XRA: ACC A (XOR) r
(az ACC s a megcmzett regiszter XOR eredmnye az ACC-ba kerl)
INX: h r_l r h r_l r + 1
(az r regiszterpr tartalma inkrementldik)
CPI: ACC byte2
(az ACC tertalmbl az ALU kivonja az utasts utni byte-t, s bellt-
ja a jelzbiteket)
JZ: ha Z = 1, akkor PC byte3_byte2
(ugrs, ha Z = 1)
LDAX: ACC MEM(h r_l r)
(az ACC-t betltjk a megcmzett regiszterprban lev memriacmrl)
JC: ha CY = 1, akkor PC byte3_byte2
(ugrs, ha a CY jelzbit = 1)
JMP: PC byte3_byte2
(ugrs felttel nlkl)
NOP:
(No-operation, azaz res utasts)

DH Könyv PDF

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

DH Könyv PDF

Uploaded by

Copyright:

Available Formats

Keresztes Pter

Szerz: dr. Keresztes Pter

Lektor: dr. Sziray Jzsef

Keresztes Pter, 2006

Pozcionls a knyvjelzablak segtsgvel

A tartalomjegyzk s a trgymutat hasznlata

A dokumentum hasznlata | Tartalomjegyzk Vissza 3

A dokumentum hasznlata | Tartalomjegyzk Vissza 4

4.4. Szekvencilis program.............................................................................153

A dokumentum hasznlata | Tartalomjegyzk Vissza 5

1. Kombincis hlzatok tervezse

1.1. Logikai rtkek s alapmveletek

1.1.3. A logikai azonossgok

A dokumentum hasznlata | Tartalomjegyzk Vissza 6

tblk elrsai. Lssuk a legfontosabb azonossgokat Az els csoportban

A dokumentum hasznlata | Tartalomjegyzk Vissza 7

1.2. A kombincis hlzat modellje

1.1. bra. A kombincis hlzat fekete doboz modellje.

Ha m = 2, akkor a kimeneti varicik halmaza: (0 0, 0 1, 1 0, 1 1).

A dokumentum hasznlata | Tartalomjegyzk Vissza 8

Megjegyezzk, hogy a bemeneti rtkvarici helyett gyakran, ltalnosan

1.3. Logikai fggvnyek s megadsi mdjaik

A dokumentum hasznlata | Tartalomjegyzk Vissza 9

rtket, azaz az (1, 0, ) hrmas valamelyikt. Az ilyen tblzatot a fgg-

1.3.2. Logikai fggvny megadsa algebrai kifejezssel

A dokumentum hasznlata | Tartalomjegyzk Vissza 10

rezentljk. A negls mvelett INVERTEREK, a szorzattermeket S

1.2. bra. A logikai szimblumok

Az 1.3. brn mutatjuk meg pldnk inverterekkel, S, valamint VAGY

A dokumentum hasznlata | Tartalomjegyzk Vissza 11

1.3. bra. A plda szerint logikai hlzat megadsa

1.3.4. A ktvltozs logikai fggvnyek

Lthatjuk, hogy 16 ktvltozs logikai fggvny van. Ezek kzl ttekint-

A dokumentum hasznlata | Tartalomjegyzk Vissza 12

ekkor ppen 0-t szolgltat. Az elbbi neve S, az utbbi NEM-S, rvi-

1.4. A logikai fggvnyek kanonikus alakjai

F ( A, B, C ) = ABC + ABC + ABC + ABC

F ( A, B, C ) = ABC + ABC + ABC + ABC =

= ABC ABC ABC ABC =

A dokumentum hasznlata | Tartalomjegyzk Vissza 13

maxtermeknek nevezzk. Vegyk nyilvntartsba a kapott maxtermeket a

2. f ( X 1 , X 2 ,.... X n ) = min + m nj + ....mkn =

= M (2n n 1i ) M (2n n 1 j ) ..... M (2n n 1 k )

1.5. Teljesen hatrozott logikai fggvnyek

A dokumentum hasznlata | Tartalomjegyzk Vissza 14

itt is vgrehajthat. A logikai sszeg els kt szorzattermjbl s a mso-

1.4. bra. A Quine-mdszer oszlopai

Gondoljunk arra, hogyan hajtottuk vgre az algebrai egyszerstst az

A dokumentum hasznlata | Tartalomjegyzk Vissza 15

marad. Ezzel a kt sszevont minterm helyn a kzs szorztnyez ma-

1.5. bra. Prmimpliknsok lefedsi tblja

A dokumentum hasznlata | Tartalomjegyzk Vissza 16

Nyilvnval pldul, hogy az

A dokumentum hasznlata | Tartalomjegyzk Vissza 17

vannak egymstl. Ezrt a klnleges s szokatlan sorrend, azaz (0 1) utn

1.6. bra. 3-vltozs K-tbla ktfle formj peremezssel

A dokumentum hasznlata | Tartalomjegyzk Vissza 18

1.7. bra. Ngyvltozs K-tbla

sszevont termek kiolvassa K-tblbl

1.8. bra. sszevont term kiolvassa

A dokumentum hasznlata | Tartalomjegyzk Vissza 19

felismerjk, hogy az gy kialakult ktmintermes kt term ugyancsak szom-

1.9. bra. Kt szomszdos kettes term