SYNTEZA I OPTYMALIZACJA UKŁADÓW CYFROWYCH DE MICHELI G. Księgarnia

Synteza i optymalizacja układów cyfrowych

Jest to nowoczesny i kompleksowy podręcznik z zakresu syntezy i optymalizacji układów cyfrowych realizowanych w najnowszych technologiach.

Przedstawiono w nim układy i ich modele matematyczne oraz podstawy teoretyczne z teorią grafów i algebrą Boole’a, przy czym zrobiono to w sposób mało sformalizowany .

Omówiono syntezę i optymalizację na poziomie architektury i na poziomie logicznym., co jest wielką zaletą książki.

Podano charakterystykę przyszłych kierunków badań . Zamieszczono wiele doskonale dobranych przykładów projektowania układów cyfrowych.

Książka jest przeznaczona dla studentów wyższych lat studiów kierunków : telekomunikacja, elektronika, automatyka

CZĘŚĆ I UKŁADY I MODELE

1.Wprowadzenie
1.1. Mikroelektronika
1.2. Technologie półprzewodnikowe i systematyka układów
1.3. Sposoby projektowania układów mikroelektronicznych
1.4. Projektowanie układów mikroelektronicznych
1.5. Synteza i optymalizacja wspomagane komputerowo
1.6. Układ treści w książce
1.7. Zagadnienia związane z projektowaniem układów cyfrowych
1.8. Synteza i optymalizacja: historia rozwoju
1.9. Literatura

2. Podstawy
2.1. Notacja
2.2. Grafy
2.3. Optymalizacja kombinatoryczna
2.4. Problemy i algorytmy optymalizacji grafów
2.5. Algebra Boole'a i jej zastosowania
2.6. Perspektywy
2.7. Literatura
2.8. Problemy i zadania

3. Modelowanie sprzętu
3.1. Wprowadzenie
3.2. Języki modelowania sprzętu
3.3. Modele abstrakcyjne
3.4. Kompilacja oraz optymalizacja behawioralna
3.5. Perspektywy
3.6. Literatura
3.7. Problemy i zadania

CZĘŚĆ II SYNTEZA I OPTYMALIZACJA POZIOMU ARCHITEKTURY

4. Synteza architektury
4.1. Wprowadzenie
4.2. Opis układów do celów syntezy architektury
4.3. Podstawowe problemy syntezy architektury
4.4. Szacowanie powierzchni oraz szybkości działania
4.5. Strategie optymalizacji architektury
4.6. Synteza ścieżki danych
4.7. Synteza jednostki sterującej
4.8. Synteza układów z przetwarzaniem potokowym
4.9. Perspektywy
4.10. Literatura
4.11. Zadania i problemy

5. Algorytmy kolejkowania
5.1. Wstęp
5.2. Model problemów kolejkowania
5.3. Kolejkowanie bez ograniczeń wykorzystania zasobów
5.4. Kolejkowanie przy ograniczeniach zasobów
5.5. Algorytmy kolejkowania rozszerzonych modeli sekwencyjnych*
5.6. Kolejkowanie układów potokowych*
5.7. Perspektywy
5.8. Literatura
5.9. Zadania i problemy

6. Współdzielenie oraz łączenie zasobów
6.1. Wprowadzenie
6.2. Współdzielenie zasobów oraz łączenie w przypadku układów zdominowanych przez zasoby
6.3. Współdzielenie i łączenie w przypadku układów nie zdominowanych przez zasoby*
6.4. Współbieżne łączenie i kolejkowanie
6.5. Współdzielenie zasobów oraz łączenie wykonywane przed kolejkowaniem
6.6. Problem wyboru modułu
6.7. Współdzielenie i łączenie zasobów w przypadku układów potokowych
6.8. Współdzielenie zasobów i strukturalna testowalność*
6.9. Perspektywy
6.10. Literatura
6.11. Zadania i problemy

CZĘŚĆ III SYNTEZA I OPTYMALIZACJA

7. Dwupoziomowa optymalizacja logiczna
7.1. Wprowadzenie
7.2. Zasady optymalizacji logicznej
7.3. Operacje wykonywane na pokryciach dwupoziomowych funkcji logicznych
7.4. Algorytmy minimalizacji funkcji logicznych
7.5. Minimalizacja symboliczna oraz kodowanie
7.6. Minimalizacja relacji logicznych *
7.7. Perspektywy
7.8. Literatura
7.9. Zadania i problemy

8. Wielopoziomowa optymalizacja logicznych układów kombinacyjnych
8.1. Wprowadzenie
8.2. Modele i przekształcenia sieci kombinacyjnych
8.3. Model algebraiczny
8.4. Model logiczny
8.5. Synteza sieci testowalnych
8.6. Algorytmy oceny i optymalizacji opóźnienia
8.7. Systemy optymalizacji oparte na regułach
8.8. Perspektywy
8.9. Literatura
8.10. Problemy i zadania

9. Optymalizacja sekwencyjnych układów logicznych
9.1. Wprowadzenie
9.2. Optymalizacja układów sekwencyjnych z wykorzystaniem modeli opartych na diagramach stanów
9.3. Optymalizacja układów sekwencyjnych z wykorzystaniem modeli sieciowych
9.4. Niejawne metody trawersu automatów skończonych
9.5. Testowalność w przypadku układów synchronicznych
9.6. Perspektywy
9.7. Literatura
9.8. Zadania i problemy

10. Łączenie komórek z bibliotekami
10.1. Wprowadzenie
10.2. Sformułowanie problemu oraz jego analiza
10.3. Algorytmy łączenia bibliotek
10.4. Szczególne problemy oraz algorytmy łączenia bibliotek
10.5. Łączenie bibliotek oparte na regułach
10.6. Perspektywy
10.7. Literatura
10.8. Zadania i problemy

11. Stan wiedzy i perspektywy rozwoju
11.1. Synteza układów- stan wiedzy
11.2. Systemy syntezy
11.3. Rozwój syntezy w najbliższej oraz w dalszej przyszłości
11.4. Zakończenie
11.5. Literatura
Skorowidz

638 stron, Format: 18.0x25.0cm, oprawa twarda

Po otrzymaniu zamówienia poinformujemy,
czy wybrany tytuł polskojęzyczny lub anglojęzyczny jest aktualnie na półce księgarni.