Přehled studia | Přehled oborů | Všechny skupiny předmětů | Všechny předměty | Seznam rolí | Vysvětlivky               Návod
36APC Automatizace projektování číslicových systémů Rozsah výuky:2+2
Přednášející (garant):Schmidt J. Typ předmětu:S Zakončení:Z,ZK
Zodpovědná katedra:336 Kreditů:4 Semestr:Z

Anotace:
Nejen počítačová podpora, ale i automatizace návrhu (Electronic Design Automation, EDA) jsou dnes nevyhnutelné pro produkci číslicových zařízení. Používaný software patří k nejnáročnějším: velké objemy dat, NP-těžké problémy, uživatelské rozhraní pro profesionální použití. Předmět poskytuje informaci pro výběr a nasazení takových systémů, studuje typické pracovní procesy, programovou architekturu a algoritmické problémy.

Osnovy přednášek:
1. Soudobé technologie realizace číslicových zařízení, charakteristiky, výrobní vztahy
2. Vývoj metod návrhu, důležitých pojmů a kvantitativních nároků na počítačové podporu
3. Trendy pracovních postupů a jejich důsledky, nároky na uživatelské rozhraní
4. Datová základna EDA systému, typické pojmy, realizace
5. Konstrukční návrh: propojení
6. Konstrukční návrh: rozmístění a dekompozice
7. Logický návrh: mapování na technologii
8. Logický návrh: optimalizace a dekompozice
9. Syntéza: základní charakteristika, úrovně, užité formalismy popisu
10. Syntéza ze zadaného chování: plánování
11. Syntéza ze zadaného chování: přidělování zdrojů
12. Verifikace: základní charakteristiky, užití formální logiky
13. Verifikace: užití rozhodovacích diagramů
14. Rezerva

Osnovy cvičení:
1. Přehled technologií užívaných na cvičení, zaměření účastníků
2. Praktikum v návrhu na úrovni polygonů (INTROMIC)
3. Praktikum v konstrukčním návrhu na vyšší úrovni (XACT)
4. Praktikum v syntéze z úrovně registrových přenosů (ABEL atd.)
5. Setkání s profesionálními návrháři, diskuse pracovních postupů a příkladů návrhu
6. Experimenty s propojováním a rozmístěním (XACT, FORMICA)
7. Experimenty s mapováním (XACT)
8. OctTools a SIS: návrh na logické úrovni, příklad univerzitního software
9. Experimenty s minimalizací logických výrazů (Espresso)
10. Experimenty s optimalizací sekvenčních obvodů I (SIS)
11. Experimenty s optimalizací sekvenčních obvodů II (SIS)
12. Syntéza
13. Prezentace semestrálních projektů
14. Prezentace semestrálních projektů, zápočet

Literatura Č:
[1] Lengauer, T.: Combinatorial Algorithms for Integrated Circuit Layout. Wiley, 1990
[2] Ku, D.C., De Micheli, G.: High Level Synthesis of ASICs Under Timing and Synchronization Constraints. Kluwer, Boston 1992

Literatura A:
[1] Lengauer, T.: Combinatorial Algorithms for Integrated Circuit Layout. Wiley, 1990
[2] Ku, D.C., De Micheli, G.: High Level Synthesis of ASICs Under Timing and Synchronization Constraints. Kluwer, Boston 1992

Požadavky:

Rozsah výuky v kombinované formě studia: 14+4
Typ cvičení: l

Předmět je zahrnut do těchto studijních plánů:
Plán Obor Role Dop. semestr
*VT Výpočetní technika S 9


Stránka vytvořena 25. 2. 2002, semestry: Z/2001-2, Z/2002-3, L/2001-2, L/2002-3, připomínky k informační náplni zasílejte správci studijních plánů Návrh a realizace: I. Halaška (K336), J. Novák (K336)