Synteza układów logicznych

Przedmowa
1. WSTĘP
   1.1. Rola i znaczenie syntezy logicznej
    1.2. Technologie mikroelektroniczne układów cyfrowych
    1.3. Programowalne moduły logiczne
    1.4. Zagadnienia związane z projektowaniem układów cyfrowych
    1.5. Charakterystyka zagadnień syntezy logicznej
Literatura
2. PODSTAWY MATEMATYCZNE
    2.1. Algebra Boole'a
    2.2. Grafy i hipergrafy
    2.3. Kostki, systemy zbiorów i podziały
    2.4. Zadania
Literatura
3. UKŁADY KOMBINACYJNE
    3.1. Funkcje i wyrażenia boolowskie
    3.2. Minimalizacja wyrażeń i funkcji boolowskich
    3.3. Metoda ekspansji
    3.4. Redukcja argumentów i dekompozycja równoległa
    3.5. Układy wielopoziomowe
    3.6. Zadania
Literatura
4. UKŁADY SEKWENCYJNE
    4.1. Pojęcia podstawowe
    4.2. Minimalizacja liczby stanów wewnętrznych
    4.3. Synchroniczne układy sekwencyjne
    4.4. Asynchroniczne układy sekwencyjne
    4.5. Zadania
Literatura
5. UKŁADY CYFROWE
    5.1. Informacje podstawowe
    5.2. Kody liczbowe
    5.3. Bloki funkcjonalne
    5.4. Przykład syntezy
    5.5. Układy mikroprogramowane
    5.6. Zadania
Literatura
6. METODA ESPRESSO
    6.1. Informacje ogólne
    6.2. Operacje na zbiorach kostek
    6.3. Ekspansja
    6.4. Pokrycie
    6.5. Uzupełnienie
    6.6. Układy wielowyjściowe
    6.7. Zadania
Literatura
7. MINIMALIZACJA WIELOWARTOŚCIOWA I SYMBOLICZNA
    7.1. Układy o wielowartościowych wejściach
    7.2. Minimalizacja symboliczna i kodowanie symboli
    7.3. Minimalizacja symboliczna w syntezie układów sekwencyjnych
Literatura
8. DEKOMPOZYCJA FUNKCJI BOOLOWSKICH
    8.1. Wprowadzenie
    8.2. Dekompozycja szeregowa
    8.3. Dekompozycja funkcji ze zmiennymi wielowartościowymi
    8.4. Dekompozycja funkcjonalna w syntezie układów sekwencyjnych
    8.5. Zadania
Literatura
9. KOMPUTEROWE SYSTEMY SYNTEZY LOGICZNEJ
    9.1. Informacje ogólne
    9.2. System ESPRESSO
    9.3. System SIS
    9.4. System DEMAIN
Literatura
10. METODY SYNTEZY LOGICZNEJ W ANALIZIE DANYCH
    10.1. Wstęp
    10.2. Podstawowe pojęcia z zakresu systemów informacyjnych
    10.3. Generowanie reguł decyzyjnych
    10.4. Dekompozycja tablicy decyzyjnej
    10.5. Zadania
Literatura
Skorowidz