1 / 1
Obserwuj
- Oferta od osoby prywatnej
- Stan używane
- Tematyka informatyka, internet
Tytuł: Synteza i optymalizacja układów cyfrowych
Autorzy: Giovanni de Micheli
Spis treści:
Część I Układy i modele
1. Wprowadzenie. 11
1.1. Mikroelektronika. 11
1.2. Technologie półprzewodnikowe i systematyka układów. 13
1.3. Sposoby projektowania układów mikroelektronicznych. 15
1.4. Projektowanie układów mikroelektronicznych. 19
1.5. Synteza i optymalizacja wspomagane komputerowo. 21
1.6. Układ treści w książce 34
1.7. Zagadnienia związane z projektowaniem układów cyfrowych 38
1.8. Synteza i optymalizacja: historia rozwoju 43
2. Podstawy 46
2.1. Notacja 46
2.2. Grafy 47
2.3. Optymalizacj a kombinatoryczna 53
2.4. Problemy i algorytmy optymalizacji grafów 66
2.5. Algebra Boole’a i jej zastosowania 80
2.6. Perspektywy 111
2.8. Problemy i zadania 113
3. Modelowanie sprzętu 114
3.1. Wprowadzenie 114
3.2. Języki modelowania sprzętu 115
3.3. Modele abstrakcyjne 134
3.4. Kompilacja oraz optymalizacja behawioralna 146
3.5. Perspektywy 157
3.7. Problemy i zadania 159
Część II Synteza i optymalizacja poziomu architektury
4. Synteza architektury 163
4.1. Wprowadzenie 163
4.2. Opis układów do celów syntezy architektury 165
4.3. Podstawowe problemy syntezy architektury 168
4.4. Szacowanie powierzchni oraz szybkości działania 178
4.5. Strategie optymalizacji architektury 182
4.6. Synteza ścieżki danych 188
4.7. Synteza jednostki sterującej 191
4.8. Synteza układów z przetwarzaniem potokowym 205
4.9. Perspektywy 208
4.11. Zadania i problemy 210
5. Algorytmy kolejkowania 212
5.1. Wstęp 212
5.2. Model problemów kolejkowania 213
5.3. Kolejkowanie bez ograniczeń wykorzystania zasobów 215
5.4. Kolejkowanie przy ograniczeniach zasobów 226
5.5. Algorytmy kolejkowania rozszerzonych modeli sekwencyjnych 246
5.6. Kolejkowanie układów potokowych 249
5.7. Perspektywy 255
5.9. Zadania i problemy 257
6. Współdzielenie oraz łączenie zasobów 260
6.1. Wprowadzenie 260
6.2. Współdzielenie zasobów oraz łączenie w przypadku układów zdominowanych przez zasoby. 262
6.3. Współdzielenie i łączenie w przypadku układów nie zdominowanych przez zasoby*. 276
6.4. Współbieżne łączenie i kolejkowanie 282
6.5. Współdzielenie zasobów oraz łączenie wykonywane przed kolejkowaniem 285
6.6. Problem wyboru modułu 290
6.7. Współdzielenie i łączenie zasobów w przypadku układów potokowych 293
6.8. Współdzielenie zasobów i strukturalna testowalność 295
6.9. Perspektywy 297
6.11. Zadania i problemy 299
Część III Synteza logiczna oraz optymalizacja
7. Dwupoziomowa optymalizacja logiczna. 303
7.1. Wprowadzenie 303
7.2. Zasady optymalizacji logicznej 304
7.3. Operacje wykonywane na pokryciach dwupoziomowych funkcji logicznych 323
7.4. Algorytmy minimalizacji funkcji logicznych 340
7.5. Minimalizacja symboliczna oraz kodowanie 356
7.6. Minimalizacja relacji logicznych 372
7.7. Perspektywy 376
7.9. Zadania i problemy 379
8. Wielopoziomowa optymalizacja logicznych układów kombinacyjnych 382
8.1. Wprowadzenie 382
8.2. Modele i przekształcenia sieci kombinacyjnych 384
8.3. Model algebraiczny 399
8.4. Model logiczny 419
8.5. Synteza sieci testowalnych 457
8.6. Algorytmy oceny i optymalizacji opóźnienia 460
8.7. Systemy optymalizacji oparte na regułach 477
8.8. Perspektywy 480
8.10. Problemy i zadania 484
9. Optymalizacja sekwencyjnych układów logicznych 487
9.1. Wprowadzenie 487
9.2. Optymalizacja układów sekwencyjnych z wykorzystaniem modeli opartych na diagramach stanów. 489
9.3. Optymalizacja układów sekwencyjnych z wykorzystaniem modeli sieciowych 505
9.4. Niejawne metody trawersu automatów skończonych 539
9.5. Testowalność w przypadku układów synchronicznych 545
9.6. Perspektywy 549
9.8. Zadania i problemy 552
10. Łączenie komórek z bibliotekami 554
10.1. Wprowadzenie 554
10.2. Sformułowanie problemu oraz jego analiza 555
10.3. Algorytmy łączenia bibliotek 560
10.4. Szczególne problemy oraz algorytmy łączenia bibliotek 590
10.5. Łączenie bibliotek oparte na regułach 598
10.6. Perspektywy 600
10.8. Zadania i problemy 603
Część IV Wnioski
11. Stan wiedzy i perspektywy rozwoju 607
11.1. Synteza układów - stan wiedzy 607
11.2. Systemy syntezy 609
11.3. Rozwój syntezy w najbliższej oraz w dalszej przyszłości 617
11.4. Zakończenie 623
Skorowidz 626
Stan jak na zdjęciu, egzemplarz używany.
Wysyłka na terenie Polski przesyłką rejestrowaną przy przedpłacie: 9,99 PLN
Jednorazowy zakup powyżej 50PLN koszt przesyłki zawsze 10,99 PLN
Jednorazowy zakup powyżej 100PLN koszt przesyłki zawsze 11,99 PLN
Jednorazowy zakup powyżej 200PLN koszt przesyłki zawsze GRATIS
----------
Jesteś zainteresowana(-y), masz pytanie? Napisz wiadomość podając adres e-mail na który mamy odpisać!
Jesteś zdecydowana(-y) na kupno, wyślij informację o publikacjach (link lub nr ogłoszenia) jakimi jesteś zainteresowana(-y), dane do wysyłki, prośbę o numer konta do wpłaty oraz koniecznie ADRES E-MAIL na który mamy odpisać!
Jeżeli nie masz zamiaru korzystać z poczty e-mail lub masz zamiar zadzwonić lub masz zamiar zapytać się o dostępność, nie marnuj swojego i naszego czasu na wysyłanie zbędnych wiadomości!
Kontaktujemy się TYLKO przez POCZTĘ E-MAIL, wszystkie zaś niedostępne pozycje są na bieżąco usuwane!
Większe zakupy zawsze jeden koszt przesyłki. Brak możliwości odbioru osobistego. Nie wysyłamy za pobraniem. Dostępne formy płatności to przelew. Termin realizacji od 1 do 31 dni w zależności od ogłoszenia. Wysyłka poza obszar Polski przy przedpłacie - indywidualny koszt do ustalenia.
----------
Skontaktuj się
A.Informatyczny
Liczba odsłon: 1106
Zgłoś nadużycie
25 zł
