|
|
Ladění software v Codasip Studiu pomocí JTAG rozhraní simulovaném v RTL simulátoru
Michl, Kamil ; Husár, Adam (oponent) ; Zachariášová, Marcela (vedoucí práce)
Tato práce se zabývá možností propojení RTL simulace procesoru se softwarovým debuggerem. Podle mého návrhu probíhá komunikace mezi těmito komponentami přes JTAG a Nexus rozhraní. Simulace je ovládána pomocí vybraného rozhraní mezi jazyky pro popis hardwaru a softwaru. Pro implementaci je použit JTAG adaptér od společnosti Codasip, RTL simulátor Questa Advanced Simulator od společnost Mentor, a Siemens Business, a rozhraní VPI pro komunikaci mezi jazyky Verilog a C++. Teoretická a částečně i praktická část této práce je použitelná pro více možných implementací zavislých na rozdílných programech a rozhraních. Konkrétní implementace uvedená v této práci je otestována a je funkční. V současnosti je používána společností Codasip a bude se pravděpodobně v budoucnu rozvíjet a vylepšovat.
|
|
|
Generování objektových souborů pro RISC-V
Benna, Filip ; Zachariášová, Marcela (oponent) ; Hruška, Tomáš (vedoucí práce)
Tato diplomová práce se zabývá překladem zdrojových souborů programů pro procesorovou architekturu RISC-V. Smyslem rozšíření překladových nástrojů, které je v této práci popsáno, je kompatibilita vzniklých objektových souborů s open source nástroji sady GNU binutils dostupnými pro tuto architekturu. Problematika spočívá především v korektním rozpoznání a následném správném uložení různých typů relokací specifických pro architekturu RISC-V v rámci nástrojů Codasip Studio.
|
|
|
Transformace popisu procesoru v jazyce CodAL do struktur SystemC
Ondruš, Tomáš ; Hynek, Jiří (oponent) ; Přikryl, Zdeněk (vedoucí práce)
Cílem této práce je vytvořit generátor simulátorů a hardwarové reprezentace aplikačne specifických procesorů v jazyce SystemC. Prvním úkolem je vytvořit zapouzdřující vrstvu kompatibilní se SystemC TLM 2.0, která zapouzdřuje existující simulátor pro potřeby transakčně orientovaných systémů. Druhý úkolem je vytvořit generátor hardwarové reprezentace procesoru. Vygenerovaný kód je vhodný nejen k syntéze procesoru, ale také k simulaci na úrovní cyklů. Výsledné řešení dosahuje komerčních kvalit srovnatelných s existujícími generátory.
|
|
|
Vytvoření modelu procesoru RISC-V
Nosterský, Milan ; Zachariášová, Marcela (oponent) ; Hruška, Tomáš (vedoucí práce)
Bakalářská práce se zabývá implementací modelu procesoru RISC-V v jazyce pro popis architektur CodAL. Teoretická část práce se zaměřuje na popis jazyka CodAL a klasifikaci procesorů. Praktická část práce se věnuje samotné implementaci procesoru RISC-V na úrovni instrukčního modelu a jeho testování. Dále se práce zabývá implementací MMU, časovačem a analýzou proxy kernelu.
|
|
|
Model procesoru NIOS II
Masařík, Marek ; Dolíhal, Luděk (oponent) ; Zachariášová, Marcela (vedoucí práce)
Cílem této bakalářské práce bylo vytvoření návrhu modelu procesoru Nios II v jazyce pro popis architektur procesoru zvaném CodAL. Návrh procesoru probíhal na dvou úrovních abstrakce. První úroveň se skládala z popisu instrukční sady a druhá z návrhu architektury a implementace hardwarového modelu. Důležitou součástí návrhu procesoru je testování a verifikace, které proběhly úspěšně na připravené benchmarkové testovací sadě. Výsledný procesor je tak možné potenciálně využít v reálných aplikacích.
|
|
|
Překlad OpenCL aplikací pro vestavěné systémy
Šnobl, Pavel ; Čekan, Ondřej (oponent) ; Hruška, Tomáš (vedoucí práce)
Tato diplomová práce se zabývá podporou pro překlad a spouštění programů napsaných pomocí OpenCL frameworku na vestavěných systémech. OpenCL je systém pro programování heterogenních systémů, složených z procesorů, grafických akcelerátorů a dalších výpočetních zařízení. Využití má ovšem i na systémech skládajících se pouze z jedné výpočetní jednotky, kde umožňuje zápis paralelních programů (funkční a datový paralelismus) a práci s hierarchickým systémem pamětí. V rámci této práce jsou porovnány jednotlivé dostupné open source implementace OpenCL a následně je jedna vybraná integrována s překladačem LLVM. Tento překladač je generován v rámci sady nástrojů poskytovaných vývojovým prostředím pro tvorbu procesorů s aplikačně specifickou instrukční sadou zvaným Codasip Studio. Dále jsou navrženy a implementovány optimalizace pro architektury se SIMD instrukcemi a architektury typu VLIW. Výsledek je otestován a demonstrován na sadě testovacích aplikací.
|
|
|
Vytvoření modelu procesoru 8051
Krůpa, Tomáš ; Kajan, Michal (oponent) ; Masařík, Karel (vedoucí práce)
Počítačové modelování je dnes velmi důležitou součástí vývojového cyklu téměř každého nového produktu. Cílem této bakalářské práce je vytvoření modelu mikrokontroléru 8051, který by měl rozšířit portfolio upravitelných procesorů dostupných v prostředí Codasip. Model je popsán na dvou úrovních abstrakce na úrovni jednotlivých instrukcí a na úrovni procesorových cyklů. K ověření modelu byly použity programy v ANSI C překládané pomocí volně dostupného překladače SDCC.
|
|
|
Funkční verifikace výpočetních jednotek procesoru
Valach, Lukáš ; Lengál, Ondřej (oponent) ; Masařík, Karel (vedoucí práce)
Práce se zaobírá začleněním procesu funkční verifikace do vývojového cyklu návrhu funkčních jednotek v prostředí pro souběžný návrh hardwaru a softwaru systému Codasip. Cílem bylo navrhnout a implementovat verifikační prostředí v jazyku SystemVerilog pro verifikaci automaticky generované hardwarové reprezentace těchto jednotek. Na začátku jsou rozebrány přínosy a obvyklé postupy při funkční verifikaci a vlastnosti systému Codasip. Dále je v práci popsán návrh, implementace, analýza průběhu a výsledků testů verifikace simulačního modelu aritmeticko-logické jednotky. Závěrem jsou zhodnoceny dosažené výsledky práce a navrhnuta zlepšení pro možný další rozvoj verifikačního prostředí.
|
|
|
Informační systém pro správu licencí software
Nejedlý, Jakub ; Masařík, Karel (oponent) ; Burget, Radek (vedoucí práce)
Tato práce pojedává o vytvoření informaního systému pro správu softwarových licencí. Zadavatelem je společnost Codasip zabývající se výrobou procesorů a s tím souvisejících softwarových nástrojů. Tato firma již disponovala webovým portálem a systém pro správu licencí je jeho rozšiřujícím modulem. Proto jsou zdrojové kódy projektu vytvořeny, stejně jako originální webové rozhraní, v jazyce PHP spoužitím Nette frameworku. Dále je zde také popsána technologie licencování softwaru LM-X a její nasazení v konkurenčním řešení. Prácě specifikace produktu od firmy X-Formation společně s požadavky Codasipu poskytují fundamentální základy pro nárh licenčního systému. Samotný návr a popis implementace podle návrhového vzoru MVP jsou součástí práce.
|
|
|
Vytvoření modelu procesoru M68000
Adamec, Ondřej ; Přikryl, Zdeněk (oponent) ; Masařík, Karel (vedoucí práce)
Cílem této bakalářské práce je vytvoření modelu procesoru Motorola 68000 za použití jazyka pro popis architektur CodAL a integrovaného vývojového prostředí Codasip Studio. V práci jsou použité nástroje představeny. Procesor M68000 se řadí mezi architektury s komplexní instrukční sadou. Architektura procesoru je detailně popsána. Zaměřuji se zejména na programátorský model, formát instrukcí a popis instrukční sady. Struktura vytvořeného modelu je do detailu popsána. Důležitou součástí této práce je také testování výsledného modelu. Je nutné se ujistit, že model je plně funkční a zcela odpovídá reálnému procesoru. K tomu byla použita sada testovacích programů. Pro účely testování byla zprovozněna sada nástrojů pro překlad zdrojových textů z jazyka C do jazyka symbolických adres. Výsledkem je funkční model, který byl otestován aby byla zaručena jehosprávnost.
|
host ::
RSS.