SPIS TREŚCI
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 1.6. 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
2.5. 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
3.7. 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.3.1. Przerzutniki i funkcje wzbudzeń 4.3.2. Kodowanie stanów
4.4. Asynchroniczne układy sekwencyjne 4.5. Zadania
4.6. Literatura
5.1. Informacje podstawowe
5.2. Kody liczbowe
5.3. Bloki funkcjonalne
5.3.1. Multipleksery i demultipleksery 5.3.2. Układy arytmetyczne
5.3.3. Rejestry i liczniki
5.3.4. Pamięci
5.4. Przykład syntezy
5.5. Układy mikroprogramowane 5.5.1. Informacje podstawowe
5.5.2. Synteza układów sterujących 5.5.3. Dekodery mikrorozkazów 5.6. Zadania
5.7. 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
6.8. 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 7.4. Literatura
8.
DEKOMPOZYCJA FUNKCJI BOOLOWSKICH
8.1. Wprowadzenie
8.2. Dekompozycja szeregowa
8.2.1. Model bezpośredni
8.2.2. Dekompozycja szeregowa – model ogólny 8.3. Dekompozycja funkcji ze zmiennymi wielowartościowymi 2
8.4. Dekompozycja funkcjonalna w syntezie układów sekwencyjnych 8.5. Zadania
8.6. Literatura
9. KOMPUTEROWE SYSTEMY SYNTEZY LOGICZNEJ
9.1. Informacje ogólne
9.2. System ESPRESSO
9.2.1. Opis programu
9.2.2. Standard ESPRESSO zapisu funkcji boolowskich 9.2.3. Przykłady
9.3. System SIS
9.3.1. Wprowadzenie
9.3.2. Sposoby opisu projektu 9.3.3. Metody syntezy i optymalizacji 9.4. System DEMAIN
9.4.1. Wprowadzenie
9.4.2. Program DEMAIN – opis działania 9.4.3. Format plików wynikowych (*.ans) 9.4.4. Konwertery plików ans na inne formaty 9.4.5. Przykłady zastosowania programu DEMAIN
9.5. Literatura
10.
METODY SYNTEZY LOGICZNEJ W ANALIZIE DANYCH
10.1. Wstęp
10.2. Podstawowe pojęcia z zakresu systemów informacyjnych 10.3. Generacja reguł decyzyjnych 10.4. Dekompozycja tablicy decyzyjnej 10.5. Literatura
3