Detail předmětu
Pokročilé techniky návrhu číslicových systémů
PND Ak. rok 2018/2019 zimní semestr
Předmět představuje pokročilé techniky návrhu číslicových systémů. Je zaměřen na logickou syntézu a verifikaci složitých číslicových obvodů, efektivní využití hardwarových a softwarových prostředků a moderních technologií pro konstrukci hardwarových zařízení. V rámci předmětu budou diskutovány následující oblasti: Pokročilá logická syntéza a verifikace, syntéza obvodů z vysokoúrovňových jazyků, hardware/software codesign, návrh zařízení s ohledem na nízkou spotřebu a rekonfigurovatelné počítání. Uvedené přístupy a techniky budou ukázány na příkladech aplikačně specifických systémů.
- Principy logické syntézy digitálních obovdů (reprezentace, optimalizace, mapování)
- Moderní přístupy k syntéze číslicových obvodů (AIG, BDD, ověřování funkční ekvivalence).
- Syntéza HW z vyšších programovacích jazyků (reprezentace, alokace, plánování, přiřazení) a jazyk Catapult C.
- Aplikace omezujících podmínek.
- Verifikace číslicových obvodů, metodologie OVM.
- Moderní výpočetní technologie (FPGA, 3D IC, IP-core, hard/soft CPU, DSP atd.).
- Konstrukce vestavěných systémů, architektura SW.
- Metodika návrhu HW/SW codesign, platformy, programovatelné obvody.
- Rekonfigurovatelné počítání.
- Principy redukce příkonu číslicových zařízení.
Garant předmětu
Jazyk výuky
Zakončení
Rozsah
- 39 hod. přednášky
Bodové hodnocení
- 100 bodů závěrečná zkouška
Zajišťuje ústav
Přednášející
Kořenek Jan, doc. Ing., Ph.D. (UPSY)
Růžička Richard, doc. Ing., Ph.D., MBA (UPSY)
Cvičící
Kořenek Jan, doc. Ing., Ph.D. (UPSY)
Růžička Richard, doc. Ing., Ph.D., MBA (UPSY)
Získané dovednosti, znalosti a kompetence z předmětu
Studenti budou schopni použít moderní techniky, nástroje a technologie pro návrh hardwarových zařízení.
Použití moderních technik návrhu hardwarových zařízení.
Cíle předmětu
Porozumět pokročilým technikám návrhu komplexních číslicových systémů. Získat schopnosti nutné k využití moderních technologií a návrhových systémů pro konstrukci hardwarových zařízení. Pochopit moderní principy syntézy obvodů, získat pokročilé znalosti z oblasti hardware/software codesign a rekonfigurovatelného počítání.
Literatura studijní
- Victor Kravets, Alan Mishchenko, Smita Krishnasamy, Nilesh Modi, Robert Brayton, Ruchir Puri, Kanupriya Gulati, and Sunil Khatri. 2010. Advanced Techniques in Logic Synthesis, Optimizations and Applications. Springer Publishing Company, Incorporated.
- Micheli G., High-Level Synthesis from Algorithm to Digital Circuit, ISBN 978-1-4020-8587-1, 2008
- Hauck, S., DeHon, A.: Reconfigurable Computing: The Theory and Practice of FPGA-Based Computation. Morgan Kaufmann Publishers Inc., USA, 2007, ISBN 978-0-12-370522-8.
- Ball, S. R.: Embeded Microprocessor Systems: Real World Design. Elsevier, USA, 2002, ISBN 0-7506-7534-9.
- J. M. Rabaey, Low Power Design Essentials, Series on Integrated Circuits and Systems, New York, NY: Springer New York, 2009.
Osnova přednášek
- Úvod: Shrnutí stávajících přístupů pro konstrukci číslicových zařízení.
- Moderní přístupy k syntéze číslicových obvodů, optimalizace na logické úrovni a na úrovni cílové technologie. Modely a metody syntézy (AIG, BDD,ověřování funkční ekvivalence).
- Syntézu obvodů z vysokoúrovňových programovacích jazyků (reprezentace obvodu, proces plánovaní, alokace a přiřazení zdrojů).
- Funkční verifikace číslicových obvodů s ohledem na pokrytí zdrojového kódů, stavů, atd. Synergie logické syntézy a verifikace. Metodologie OVM.
- Vestavěný počítačový systém, postupy návrhu vestavěných systémů s mikrokontroléry, specifikace požadavků na vestavěné systémy.
- Metody volby nejvhodnější platformy pro realizaci vestavěného systému, postupy při výběru vhodných klíčových součástí systému.
- Typická architektura software vestavěného systému. Testování, ladění a diagnostika vestavěných systémů.
- Moderní výpočetní technologie, struktury a heterogenní platformy (FPGA, 3D IC, IP-core, hard/soft CPU, DSP atd.).
- Souběžný návrh vestavěných HW/SW systémů (modely, rozdělování, odhady, syntéza, integrace, optimalizace).
- Rekonfigurovatelné počítání - urychlování výpočtů v hardware při flexibilitě návrhu blízké software (rekonfigurace, návrhové systémy pro popis v C/C++ a high-level syntézu atd.).
- Návrhu vestavěných systémů s ohledem na optimalizaci spotřeby energie (minimalizace příkonu na různých úrovních, ambientní zdroje energie a jejich použití atd.).
- Akcelerace aplikačně specifických časově kritických úloh (zpracování síťového provozu a obrazu).
- Aktuální trendy v oblasti technologií, logické syntézy a rekonfigurovatelného počítání.
Kontrolovaná výuka
Vypracování a prezentace projektu.
Zařazení předmětu ve studijních plánech
- Program VTI-DR-4, obor DVI4, libovolný ročník, volitelný
- Program VTI-DR-4, obor DVI4, libovolný ročník, volitelný
- Program VTI-DR-4 (anglicky), obor DVI4, libovolný ročník, volitelný
- Program VTI-DR-4 (anglicky), obor DVI4, libovolný ročník, volitelný