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 |
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 |