|
|
Unified verification environment for digital part of automotive mixed-signal integrated circuits
Petráš, Samuel ; Dvořák, Vojtěch (oponent) ; Prokop, Roman (vedoucí práce)
This thesis is concerned with unified verification environment for the verification of small designs of the digital part of integrated circuits with mixed signals. By unified verification environment is meant an environment suitable for both simulation and emulation. The first chapter describes the current verification methods of such designs. The second chapter presents the requirements that emulation places on the verification environment implemented according to the Universal Verification Methodology (UVM) and the attached implementation of proposed environment. The third chapter contains practical knowledge gained during the implementation of the unified verification environment, problems and their solutions, as well as several comparisons between simulation and emulation.
|
|
|
Simulátor IED s podporou komunikace GOOSE
Ládr, Tomáš ; Lichtner, Ondrej (oponent) ; Matoušek, Petr (vedoucí práce)
Cílem této bakalářské práce je vytvoření simulátoru IED pracujícího jako publisher protokolu IEC 61850-GOOSE. Pro dosažení tohoto cíle byla použita knihovna libIEC61850. V rámci práce bylo naimplementován emulátor zařízení komunikujícího pomocí protokolu GOOSE. Zpráva obsahuje experimenty validující emulovanou komunikaci. Přínosem této práce je vytvoření open-source tohoto typu emlátoru pro operační systém Linux, protože ostatní existující řešní jsou komerční.
|
|
|
Simulace procesoru ARM pro výuku programování v asembleru
Ondryáš, Ondřej ; Goldmann, Tomáš (oponent) ; Orság, Filip (vedoucí práce)
Cílem této práce je vytvoření didaktického nástroje pro simulaci činnosti procesoru z rodiny Arm, který je integrován do editoru Visual Studio Code. Nástroj je určen pro výuku programování těchto procesorů na strojové úrovni. Implementuje službu umožňující překlad jazyka symbolických adres instrukční sady A32 a simulaci provádění jejích instrukcí. Využívá k tomu emulační jádro Unicorn a další nástroje s otevřeným zdrojovým kódem. Rozšíření pro editor poskytuje s pomocí služby podporu pro vývoj a ladění programů v tomto jazyce. Při tvorbě programu zobrazuje uživateli vysvětlivky pro použité instrukce a pomáhá s pochopením jejich funkcí. Při ladění umožňuje krokování a různé pohledy na vnitřní stav simulovaného procesoru, obsah registrů i paměti. Výsledkem práce je řešení, které je možné použít při výuce předmětu Pokročilé asemblery na FIT VUT. V budoucnu bude možné rozšířit jej o podporu jiných architektur a poskytnout tak nástroj pro usnadnění výuky i v dalších předmětech zaměřených na programování na strojové úrovni.
|
|
|
Návrh a realizace aplikace LLC měniče pro ověřování konceptů návrhů integrovaných LLC kontrolérů pomocí emulace
Pokorný, Ondřej ; Levek, Vladimír (oponent) ; Prokop, Roman (vedoucí práce)
Tato bakalářská práce se zabývá návrhem LLC měniče, který bude sloužit pro ověřování prototypů integrovaných obvodů, respektive jejich aplikace. V práci je rozebráno a vysvětleno, proč byl vybrán právě měnič typu LLC. Práce pokračuje rozborem tohoto měniče a popisem jeho činnosti. Stěžejním bodem této práce je numerický návrh se zadanými parametry, který je zakončen simulací, jenž ověřuje vypočtené hodnoty. Finálním výsledkem práce je návrh celého zapojení LLC měniče a testovací desky (modulu) a jejich realizace na DPS. Práce je zakončená ověřením celé konstrukce pomocí navržené testovací desky při praktickém měření. V práci je mimo jiné proveden návrh vlastní konstrukce transformátoru a je rozebrána problematika magnetických obvodů pro LLC měniče.
|
|
| |
|
|
Unified verification environment for digital part of automotive mixed-signal integrated circuits
Petráš, Samuel ; Dvořák, Vojtěch (oponent) ; Prokop, Roman (vedoucí práce)
This thesis is concerned with unified verification environment for the verification of small designs of the digital part of integrated circuits with mixed signals. By unified verification environment is meant an environment suitable for both simulation and emulation. The first chapter describes the current verification methods of such designs. The second chapter presents the requirements that emulation places on the verification environment implemented according to the Universal Verification Methodology (UVM) and the attached implementation of proposed environment. The third chapter contains practical knowledge gained during the implementation of the unified verification environment, problems and their solutions, as well as several comparisons between simulation and emulation.
|
|
|
Dlouhodobé uchování webového obsahu
Kvasnica, Jaroslav ; Pokorný, Jan (vedoucí práce) ; Souček, Martin (oponent)
Tato práce řeší problematiku dlouhodobé ochrany digitálních dokumentů, konkrétně webových stránek. Cílem práce je tuto problematiku vysvětlit, vymezit rozdíly mezi různými přístupy k ní, popsat možnosti dlouhodobého uchování webového obsahu, jako je migrace a emulace nebo vysvětlit jaká jsou rizika a výzvy při zavádění těchto strategií. Na základě této práce je možné si udělat představu o tom, jaké nové problémy přináší snaha o dlouhodobou ochranu webového obsahu a jaká jejich řešení jsou v současné době dostupná. Zároveň práce přináší pohled, jakým způsobem k problematice přistupují některé významné zahraničních institucí. Hlavním výsledkem této práce je podrobná analýza strategie dlouhodobé digitální ochrany Národní knihovny České republiky, která je jedinou institucí zabývající se v takovém rozsahu ochranou českého webu. V práci je podrobně popsán proces přípravy dat, proces vytváření metadat a proces uložení do LTP úložiště NK ČR, včetně příkladů a jejich vysvětlení. V závěru práce je přiblíženo, jako další kroky český webový archiv čekají, aby byl schopný svá data dlouhodobě ochránit. Powered by TCPDF (www.tcpdf.org)
|
|
|
Virtualization of laboratory tasks for the CISCO course
Abbasi, Farhad ; Komosný, Dan (oponent) ; Kubánková, Anna (vedoucí práce)
This bachelor thesis deals with the laboratory tasks for the new CISCO certification (CCNP ENARSI), get acquainted with the topics, select the most suitable environment for simulating laboratory tasks, then create a topology for each laboratory. In addition to the topology, a configuration file (.txt) was created and uploaded to the appropriate device for troubleshooting labs. Last but not least, a remote access solution was designed and implemented for prepared laboratories.
|
|
|
Management polygonu energetické přenosové soustavy
Bohačík, Antonín ; Musil, Petr (oponent) ; Blažek, Petr (vedoucí práce)
Diplomová práce je zaměřena na vytvoření ovládacího rozhraní pro polygon simulující datovou část rozvodné sítě České republiky, kde je komunikace mezi jednotlivými rozvodnami realizována protokolem IEC 60870-5-104. Teoretická část práce detailně vysvětluje základní principy, vlastnosti a možnosti komunikačních standardů IEC 60870 a IEC 61850. Další část je zaměřena na samotnou realizaci a následnou implementaci ovládacího rozhraní včetně implementace modulu IEC 61850-80-1 pro převod dat mezi zmíněnými standardy. Poslední část popisuje vytvořené scénáře chování či samotný rozbor komunikace.
|
|
|
Simulátor IED s podporou komunikace GOOSE
Ládr, Tomáš ; Lichtner, Ondrej (oponent) ; Matoušek, Petr (vedoucí práce)
Cílem této bakalářské práce je vytvoření simulátoru IED pracujícího jako publisher protokolu IEC 61850-GOOSE. Pro dosažení tohoto cíle byla použita knihovna libIEC61850. V rámci práce bylo naimplementován emulátor zařízení komunikujícího pomocí protokolu GOOSE. Zpráva obsahuje experimenty validující emulovanou komunikaci. Přínosem této práce je vytvoření open-source tohoto typu emlátoru pro operační systém Linux, protože ostatní existující řešní jsou komerční.
|
host ::
RSS.