|
|
Verifikace funkčních bloků pro FPGA
Kříž, Daniel ; Smékal, David (oponent) ; Jedlička, Petr (vedoucí práce)
Tato diplomová práce je věnována problematice verifikací funkčních bloků pro FPGA. V teoretické části práce je popsán koncept verifikace, verifikačních metodologií, které poskytují potřebné nástroje pro otestování daného návrhu, a na závěr je diskutovaná problematika Ethernetu a jeho odlišnosti oproti nízkolatenční variantě. Cílem praktické části diplomové práce je na základě získaných teoretických znalostí a vybrané verifikační metodologie sestrojit verifikační prostředí, provést důkladnou verifikaci nízkolatenční fyzické vrstvy Ethernetu a na závěr realizovat měření latence a propustnosti tohoto obvodu.
|
|
|
Moderní metody verifikace smíšených integrovaných obvodů
Podzemný, Jakub ; Bohrn, Marek (oponent) ; Fujcik, Lukáš (vedoucí práce)
Práce se zabývá metodami, které jsou vhodné pro verifikaci smíšených integrovaných obvodů. Důraz je přitom kladen na tzv. „Assertion-based“ verifikaci. Tato metoda je v praxi aplikovatelná pomocí jazyků PSL a SystemVerilog. Tyto jazyky jsou mezi sebou porovnány a samostatně otestovány, aby byl následně stanoven jejich potenciál a aby byly nalezeny jejich funkční hranice a omezení. Jeden z těchto jazyků bude následně začleněn do verifikačních postupů společnosti SCG Czech Design Center s. r. o., aby zde mohla být rozvinuta metoda ABV i v analogové a smíšené doméně.
|
|
|
Integrace formálních technik do procesu verifikace procesoru RISC-V
Horký, Jakub ; Šnobl, Pavel (oponent) ; Hruška, Tomáš (vedoucí práce)
Tato práce krátce rozebírá architekturu RISC-V a návrh procesorů a jak jednoduše může vzniknout chyba při jejich vytváření. Dále popisuji, jakým způsobem se snaží funkční verifikace tyto chyby odhalit a jaké jsou její výhody a nedostatky. Konkrétněji se zaměřím, jak vypadá verifikační prostředí podle UVM. Popisuji, jakým způsobem do funkční verifikace zapadá formální verifikace a jaké jsou dostupné nástroje pro formální verifikaci. Ke konci této práce popisuji konkrétně způsob mého postupu při psaní tvrzení (psaných v SVA jazyce) pro RISC-V procesor za použití nástroje pro formální verifikaci tvrzení. Při využití těchto tvrzení pro ověření procesoru v pozdější fázi vývoje, kdy funkční verifikace již měla možnost většinu chyb odhalit, se mi přesto podařilo několik chyb najít.
|
|
|
Verifikace funkčních bloků pro FPGA
Kříž, Daniel ; Smékal, David (oponent) ; Jedlička, Petr (vedoucí práce)
Tato diplomová práce je věnována problematice verifikací funkčních bloků pro FPGA. V teoretické části práce je popsán koncept verifikace, verifikačních metodologií, které poskytují potřebné nástroje pro otestování daného návrhu, a na závěr je diskutovaná problematika Ethernetu a jeho odlišnosti oproti nízkolatenční variantě. Cílem praktické části diplomové práce je na základě získaných teoretických znalostí a vybrané verifikační metodologie sestrojit verifikační prostředí, provést důkladnou verifikaci nízkolatenční fyzické vrstvy Ethernetu a na závěr realizovat měření latence a propustnosti tohoto obvodu.
|
|
|
Perception of the English Vowel Schwa by Czech Learners
Fajtová, Zdeňka ; Červinková Poesová, Kristýna (vedoucí práce) ; Matuchová, Klára (oponent)
Tato práce se zabývá percepcí anglických samohlásek českými studenty se zaměřením na střední středovou hlásku šva. Teoretická část popisuje percepci cizího jazyka, rozdíl mezi českým a anglickým vokalickým systémem a roli negativního transferu z mateřského jazyka v percepci segmentů. Cílem praktické části je prozkoumat vliv českého jazyka na rozpoznání neutrálního vokálu šva v různých pozicích pomocí percepčního testu speciálně vytvořeného pro účely tohoto výzkumu. Výsledky výzkumného šetření ukazují, že percepce je poměrně silně ovlivněna mateřským jazykem studentů, jelikož úspěšná identifikace cílového vokálu byla shledána v necelé polovině zkoumaných případů.
|
|
|
Moderní metody verifikace smíšených integrovaných obvodů
Podzemný, Jakub ; Bohrn, Marek (oponent) ; Fujcik, Lukáš (vedoucí práce)
Práce se zabývá metodami, které jsou vhodné pro verifikaci smíšených integrovaných obvodů. Důraz je přitom kladen na tzv. „Assertion-based“ verifikaci. Tato metoda je v praxi aplikovatelná pomocí jazyků PSL a SystemVerilog. Tyto jazyky jsou mezi sebou porovnány a samostatně otestovány, aby byl následně stanoven jejich potenciál a aby byly nalezeny jejich funkční hranice a omezení. Jeden z těchto jazyků bude následně začleněn do verifikačních postupů společnosti SCG Czech Design Center s. r. o., aby zde mohla být rozvinuta metoda ABV i v analogové a smíšené doméně.
|
|
|
Role of Schwa in Word Stress Perception
Juránková, Martina ; Červinková Poesová, Kristýna (vedoucí práce) ; Bojarová, Marie (oponent)
Cílem této bakalářské práce je zjistit jakou roli hraje anglická redukovaná samohláska šva jakožto hlavní představitel samohláskové redukce v percepci anglického slovního přízvuku. Jako výzkumný nástroj bude sloužit percepční test složený ze tří skupin tří až pětislabičných slov. Jednotlivé skupiny slov se budou lišit umístěním cílové hlásky, a to buď před slabikou nesoucí hlavní přízvuk, za ní a nebo se v blízkosti hlavního přízvuku nevyskytne vůbec. Účastníky testu budou studenti základní, střední a vysoké školy, jejichž úkolem bude identifikovat a označit hlavní přízvuk ve vybraných slovech. Předpokládáme, že identifikace přízvučných slabik bude usnadněna přítomností šva v bezprostřední blízkosti hlavního přízvuku.
|
|
|
Perception of the English Vowel Schwa by Czech Learners
Fajtová, Zdeňka ; Červinková Poesová, Kristýna (vedoucí práce) ; Matuchová, Klára (oponent)
Tato práce se zabývá percepcí anglických samohlásek českými studenty se zaměřením na střední středovou hlásku šva. Teoretická část popisuje percepci cizího jazyka, rozdíl mezi českým a anglickým vokalickým systémem a roli negativního transferu z mateřského jazyka v percepci segmentů. Cílem praktické části je prozkoumat vliv českého jazyka na rozpoznání neutrálního vokálu šva v různých pozicích pomocí percepčního testu speciálně vytvořeného pro účely tohoto výzkumu. Výsledky výzkumného šetření ukazují, že percepce je poměrně silně ovlivněna mateřským jazykem studentů, jelikož úspěšná identifikace cílového vokálu byla shledána v necelé polovině zkoumaných případů.
|
host ::
RSS.