Now showing items 1-20 of 22

  • Funkční verifikace výpočetních jednotek procesoru 

    Valach, Lukáš
    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í ...
  • Generování objektových souborů pro RISC-V 

    Benna, Filip
    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 ...
  • Hardwarově akcelerovaná funkční verifikace procesoru 

    Funiak, Martin
    Mezi aktuálně používané verifikační přístupy patří funkční verifikace. Při funkční verifikaci se ověřuje korektnost implementace počítačového systému vzhledem k specifikaci. Slabým místem v rámci přístupu funkční verifikace ...
  • Informace o architektuře pro optimalizace v překladači LLVM 

    Svoboda, Jan
    Tato práce se zabývá automatickou extrakcí informací o architektuře procesoru z jazyka CodAL. Získané informace jsou využity jako základ pro cenový model optimalizátoru překladače LLVM. V rámci práce vznikl nový systém, ...
  • Informační systém pro správu licencí software 

    Nejedlý, Jakub
    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 ...
  • Kompilátor jazyka C pro VLIW architektury 

    Mináč, Tomáš
    Tato práce pojednává o jazyce CodAl a Codasip frameworku. Dále popisuje kompilační platformu LLVM, jazyk LLVM IR a optimalizace nad tímto jazykem. Vytvoření návrhu a implementace rozšíření kompilační platformy LLVM o ...
  • Ladění software v Codasip Studiu pomocí JTAG rozhraní simulovaném v RTL simulátoru 

    Michl, Kamil
    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 ...
  • Model procesoru NIOS II 

    Masařík, Marek
    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 ...
  • Návrh specializovaných instrukcí 

    Koscielniak, Jan
    Tato práce se věnuje návrhu a implementaci specializovaných instrukcí pro architekturu instrukční sady RISC-V. Tato instrukční rozšíření slouží k akceleraci sady vybraných kryptografických algoritmů. Nové instrukce jsou ...
  • Optimalizace v překladači C pro VLIW architektury 

    Baručák, Robert
    Prezentován je implementovaný algoritmus alias analýzy, který byl následně integrován s frameworkem LLVM. Diskutovány jsou vlastnosti a limity různých algoritmů. Dále jsou demonstrovány rozličné přístupy k práci s predikovanými ...
  • Paměťový subsystém v SystemC 

    Michl, Kamil
    Tato práce se zabývá návrhem a implementací paměťového subsystému pro simulaci procesoru. Paměťový subsystém je navržen s pomocí principu modelování na úrovni transakcí. Implementace je provedena v jazyce C++ s využitím ...
  • Podpora ladicích informací v sestavujícím programu 

    Nikl, Vojtěch
    Tato práce popisuje převod objektového formátu CCOFF do formátu ELF a zpět. Nejdříve je popsán obecný formát objektového souboru a využité ladicí informace DWARF, poté konkrétněji formát CCOFF a ELF. Veškerá funkcionalita ...
  • Překlad C++ aplikací pro vestavěná zařízení 

    Nosterský, Milan
    Tato diplomová práce se zabývá přidáním podpory překladu jazyka C++ a jeho standardu C++11 v rámci překladače pro vestavěné systémy. Překladač, založený na projektu LLVM se generuje v rámci prostředí Codasip Studia. Toto ...
  • Překlad OpenCL aplikací pro vestavěné systémy 

    Šnobl, Pavel
    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 ...
  • Software pipelining v překladači LLVM 

    Glasnák, Ondrej
    Tahle práce pojednává o návrhu a implementaci techniky programového zřetězení aneb Software pipelining, optimalizaci cyklů v programu, která se snaží plně využít paralelismus na úrovni instrukcí. To dosahuje plánovaním ...
  • Transformace popisu procesoru v jazyce CodAL do struktur SystemC 

    Ondruš, Tomáš
    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 ...
  • Vytvoření modelu procesoru 8051 

    Krůpa, Tomáš
    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 ...
  • Vytvoření modelu procesoru M68000 

    Adamec, Ondřej
    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 ...
  • Vytvoření modelu procesoru pomocí ADL jazyka 

    Ostatník, Kristián
    Cieľom práce je implementácia modelu procesora ARC v ADL jazyku CodAL na inštrukčnej úrovni. Prvá časť bakalárskej práce sa venuje klasifikácii procesorov a popisu ADL jazykov. Druhá časť práce popisuje priebeh implementácie ...
  • Vytvoření modelu procesoru PowerPC 

    Blaha, Hynek
    Architektury procesorů jsou čím dál více složitější, proto je kladen velký důraz na automatizaci jejich návrhů. Tato bakalářská práce popisuje návrh procesoru PowerPC v jazyce pro popis architektur Codal. Funkčnost a ...