Detail předmětu
Pokročilé techniky návrhu číslicových systémů
FIT-PNDAk. rok: 2018/2019
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í.
Jazyk výuky
Garant předmětu
Zajišťuje ústav
Výsledky učení předmětu
Použití moderních technik návrhu hardwarových zařízení.
Učební cíle
Vymezení kontrolované výuky a způsob jejího provádění a formy nahrazování zameškané výuky
Doporučená literatura
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.
J. M. Rabaey, Low Power Design Essentials, Series on Integrated Circuits and Systems, New York, NY: Springer New York, 2009.
Micheli G., High-Level Synthesis from Algorithm to Digital Circuit, ISBN 978-1-4020-8587-1, 2008
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.
Zařazení předmětu ve studijních plánech
Typ (způsob) výuky
Přednáška
Vyučující / Lektor
Osnova
- Ú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í.
Konzultace v kombinovaném studiu
Vyučující / Lektor