.

0 (hodnocen0 x )

(3) Půjčeno:3x 

BK

1. vyd.

Praha : SNTL - Nakladatelství technické literatury, 1983

467 s. : il. ; 24 cm

000111826

Předmluva // PROBLÉMY KLASICKÉ TEORIE LOGICKÝCH OBVODŮ // Základní pojmy // Úvod // Boolova algebra // Základní postuláty // Vlastnosti // Boolovy funkce a výrazy // Použití k popisu logických obvodů // Kombinační obvody // Analýza kombinačních obvodu // Syntéza kombinačních obvodu // Sekvenční obvody // Konečné automaty // Paměťové členy // Zpožďovací a časové členy // Syntéza sekvenčních obvodů // Analýza sekvenčních obvodů // Funkce, které nelze realizovat konečnými automaty // Prameny // Literatura // Cvičení // Kombinační obvody — vybrané partie // Kombinační obvody s několika výstupy // Generování skupinových prostých implikantů // Výběr minimálního pokrytí skupinových prostých implikantů // Vícestupňové kombinační obvody // Rozklad kombinačních funkcí // Prosté disjunktní rozklady // Složité disjunktní rozklady // Nedisjunktní rozklady // Speciální třídy kombinačních funkcí // Symetrické funkce // Monotónní funkce // Prahové funkce // Úplné soubory základních logických členů // Prameny // Literatura // Cvičení // Sekvenční obvody — vybrané partie // Redukce vývojových tabulek // Vytváření slučitelných tříd stavů // Výběr minimální množiny slučitelných tříd // Experimenty na konečných automatech // Rozlišovací posloupnosti // Cílové posloupnosti // Identifikace automatů — ověřovací experimenty // Speciální třídy konečných automatů // Automaty bez ztráty informace // Lineární sekvenční obvody // Regulární výrazy // Odvození vývojové tabulky z regulárního výrazu // Odvození regulárního výrazu z vývojové tabulky // Prameny // Literatura // Cvičení // ČASOVÝ REŽIM A STRUKTURA // Asynchronní sekvenční obvody // Úvod // Zadání fázové tabulky // Redukce fázové tabulky //

Kódování stavů // Kódování se souvislými řádkovými množinami // Kódy se sdílenými stavy // Kódy s jednou přechodovou dobou (jednorázové kódy) // Kódy pro fázové tabulky s násobnými výstupními změnami // Zadání У-matice // Zpoždění a hazardy // Kombinační hazardy // Sekvenční hazardy // Využití ternární algebry k detekci hazardů // Příklad syntézy // Mnohonásobné vstupní změny // Simultánní vstupní změny // Neomezené vstupní změny // Předpoklady omezených zpoždění // Neomezená zpoždění členů // Prameny // Literatura // Cvičení // Strukturně jednoduché realizace konečných automatů // Úvod // Algebra rozkladů a úplné jednoznačné kódy // Algebra systémů množin pro víceznačné kódy // Dekompozice konečných automatů // Redukované závislosti s využitím dalších paměťových členů // Realizace s redukovanou zpětnou vazbou // Obvody bez zpětných vazeb // Realizace s jedinou zpětnovazební smyčkou // Využití výstupní funkce jako zpětnovazební funkce // Realizace se zpětnovazebním posuvným registrem // Realizace s minimální zpětnou vazbou využívající klopné obvody RS // Univerzální kanonické dekompozice konečných automatů // Redukované závislosti v asynchronních sekvenčních obvodech // Dekompozice asynchronních automatů // Realizace asynchronních obvodů s využitím posuvných registrů // Dvoufázové sekvenční obvody a čítače // Prameny // Literatura // Cvičení // Modulární logický návrh // Univerzální logický modul — ULM // ULM s jednocestnými vstupy // ULM s jedním dvoucestným vstupem // ULM s dvoucestnými vstupy // ULM s propojenými vývody // Omezení počtu vývodů ULM // Modulární realizace konečných automatů // Konečné automaty s pevným počtem vstupů // Stromové struktury //

Celulární struktury // Jednorozměrná pole // Dvourozměrná pole // Iterativní realizace konečných automatů // Programovatelná celulární pole // Prameny // Literatura // Cvičení // PŘÍBUZNÉ PROBLÉMY, FYZIKÁLNÍ NÁVRH A MODELOVÁNÍ // Problémy fyzikálního návrhu // Úvod // Grafické modely obvodů // Rozklady minimalizující počet spojů — optimální řešení // Formulace v podobě problému pokrytí Formulace v rámci matematického programování // Optimální rozklady s replikací prvků // Rozklady minimalizující počet spojů — suboptimální řešení // Iterativní metoda rozkladu // Konstruktivní heuristické metody rozkladu // Rozklady minimalizující zpoždění // Rozklady s optimálním zpožděním pro stromové grafy // Rozklady s minimálním zpožděním při omezeném počtu vývodů // Rozmísťovací úloha // Spodní odhad minimální délky spojů // Částečně enumerativní procedura // Iterativní suboptimální rozmísťovací procedury // Konstruktivní rozmísťovací metody // Návrh spojů // Výběr spojů sítě // Určení vodivých cest // Prameny // Literatura // Cvičení // Matematické modely logických obvodů s magnetickými bublinkami // Úvod // Fyzikální principy // Posouvání bublinek // Generování, anihilace a detekce bublinek // Logické operace // Matematický model interakce bublinek // Optimalizační problémy // Respektování časových a prostorových vztahů // Univerzální paměťová rozložení // Počet příkazů pro realizaci funkce // Urychlování výpočtů // Realizace iterativními sítěmi // Logické obvody bez anihilace bublinek // Celulární realizace s rezidentními bublinkami // Buňka pro rozvětvení a přenos // Buňka pro překřížení // Buňka NAND // Použití buněk s rezidentními bublinkami // Buňka pro klopný obvod RS //

Použití magnetických bublinek // Závěr // Prameny // Literatura // Cvičení // IV. DODATEK 455 // A.1. Definice a značení 456 // A.2. Matematické programování 459 // Literatura 459 // Rejstřík 461

(OCoLC)39594008

cnb000008644