Szekvenciális logika
A digitális áramköröknél a szekvenciális logika egy olyan logikai áramkör, ahol az áramkör kimenete nemcsak a bemeneti jelek állapotától függ, hanem a bemenő jelek korábbi állapotától is. Ennek ellentéte a kombinációs logika, ahol a kimenetek állapota csak a bemenetektől függ. Ez azt jelenti, hogy a szekvenciális logikának van állapota (memóriája), míg a kombinációs logikának nincs. Más szóval, a szekvenciális logika egy kombinációs logika memóriával.[1]
A szekvenciális logika fontos építőeleme szinte az összes digitális áramkörnek, memória áramkörnek, számítógépeknek. A gyakorlatban minden digitális készülék a szekvenciális logika és a kombinációs logika (kombinációs hálózat) keveréke.[1]
A digitális szekvenciális logikai áramkörök két részre oszthatók: szinkron és aszinkron áramkörökre. Szinkron áramkörökben az állapotok csak egy diszkrét időben változhatnak, amit az órajel biztosít. A szinkron esetben a kimeneti jel, és az áramkör állapota csak akkor változik, ha az órajel lehetővé teszi. Aszinkron áramkörökben nincs órajel, a kimenet változása közvetlenül a bemeneti jelek változásnak függvénye.
Szinkron szekvenciális logika
[szerkesztés]Közel az összes szekvenciális logika órajellel működik. Egy szinkron logikában az órajelet egy elektronikus oszcillátor állítja elő. Minden szekvenciális áramkörben az elemi szekvenciális logika a flipflop. A flipflop kimenete csak akkor változik, ha az órajel változik. A teljes áramkörben mindig csak az órajel hatására történik állapotváltozás, melyet az órajel szinkronizál. Az összes tároló elem (flipflopok) kimenete tartalmazza az áramkör aktuális állapotát. Minden következő órajelre történő állapotváltozás az előző állapottól függ.
A szinkron logika fő előnye az egyszerűség. Az órajelek közötti időnek elégnek kell lennie, hogy a logika minden eleme fel tudja venni az új állapotot. Ezt az időt terjedési időnek hívják, és függ az áramkörök típusától és az órajel periódusidejétől. Ezek határozzák meg a szinkron szekvenciális logika működési sebességet. A szinkron áramköröknél nincs hazárd és nehezen kiszámítható terjedési idő probléma.
Hátrányai:
- A legnagyobb elérhető órajel frekvenciát az áramkör leglassúbb eleme korlátozza (kritikus útvonal). Az összes logikai elemnek „alkalmazkodni „ kell a leglassúbb elemhez. Ezért a szinkron áramkör lassabban működik, mint az aszinkron. Létezik módszer a gyorsításra, ezt pipelining-nek hívják, és úgy működik, hogy szétválasztják egyes komplex elemeket egyszerűbb csoportokra. Ezt a módszert elterjedten alkalmazzák mikroprocesszorokban.
- Az órajelet el kell juttatni minden flipflophoz. Az órajel általában nagyfrekvenciás jel, szétosztása az egyes elemekhez többlet energiát igényel, és hőt termel. Az éppen nem működő tárolókhoz is eljut az órajel, és energiát fogyaszt.
Aszinkron szekvenciális logika
[szerkesztés]Az aszinkron logika nem órajellel működik, a kimenete csak akkor változik, ha a bemeneti jel változik. Ezért az aszinkron logika gyorsabb, mint a szinkron, mert nem kell várni a következő órajelre, hanem azonnal hatása van a bemeneti jel változásra. Az áramkör sebességét a terjedési idő és a logikai kapuk sebessége korlátozza. A hátrány, hogy az aszinkron áramköröket nehezebb tervezni, és olyan problémák merülhetnek fel, amik a szinkron logikában nem fordulnak elő. Versenyhelyzet fordulhat elő, amikor egy logikai elem bemenetére különböző útvonalból jönnek jelek. Ez úgynevezett hazárdjelenséget okozhat, amikor az egyik bemenet változása hamarabb okoz változást a kimeneten, mielőtt a másik bemeneti jel odaérne, és hamis kimeneti jelet produkálhat, amit glitch-nek hívnak. Ez nem fordulhat elő a szinkron áramkörökben, mert ott csak akkor történik változás, amikor az órajel megfelelő éle előidézi a változást. Az órajel ütemét és a teljes áramkört úgy kell tervezni, hogy a versenyfutási jelenségek már megtörténjenek, mielőtt az órajel érvényessé teszi a változást. Aszinkron logikát néhány kritikus áramköri részben alkalmaznak, így mikroprocesszoroknál is, a többi rész szinkron működésű. Az aszinkron logika tervezésének számos matematikai modellje ismert, a számítógépes tervezés fejlődése nagy segítséget nyújt a tervezőknek.[2]
Források
[szerkesztés]Irodalom
[szerkesztés]- Christopher Schenk - Ulrich Tietze: Analóg és digitális áramkörök. (hely nélkül): MŰSZAKI KÖNYVKIADÓ KFT. 2000. ISBN 9631600106
- Zvi Kohavi, Niraj K. Jha: Switching and Finite Automata Theory. 3rd ed. (hely nélkül): Cambridge University Press.. 2009. ISBN 978-0-521-85748-2
További információk
[szerkesztés]- Contemporary Logic Design, 2, Prentice Hall (2005. november 3.). ISBN 0-201-30857-6
- Switching and Finite Automata Theory, 3, Cambridge University Press (2009. november 3.). ISBN 978-0-521-85748-2
- Asynchronous logic elements. Venjunction and sequention, 2009 [2011. július 22-i dátummal az eredetiből archiválva]. (118 pages)
- Asynchronous Operators of Sequential Logic: Venjunction & Sequention — Digital Circuits Analysis and Design, 1, Lecture Notes in Electrical Engineering (LNEE), Riga, Latvia: Springer-Verlag. DOI: 10.1007/978-3-642-21611-4 (2011. november 3.). ISBN 978-3-642-21610-7 (xiii+1+123+7 pages) (NB. The back cover of this book erroneously states volume 4, whereas it actually is volume 101.)