|
|
Hardware Accelerated Functional Verification
Zachariášová, Marcela ; Kotásek, Zdeněk (oponent) ; Kajan, Michal (vedoucí práce)
Functional verification is a widespread technique to check whether a hardware system satisfies a given correctness specification. The complexity of modern computer systems is rapidly rising and the verification process takes a significant amount of time. It is a challenging task to find appropriate acceleration techniques for this process. In this thesis, we describe theoretical principles of different verification approaches such as simulation and testing, functional verification, and formal analysis and verification. In particular, we focus on creating verification environments in the SystemVerilog language. The analysis part describes the requirements on a system for acceleration of functional verification, the most important being the option to easily enable acceleration and time equivalence of an accelerated and a non-accelerated run of a verification. The thesis further introduces a design of a verification framework that exploits the field-programmable gate array technology, while retaining the possibility to run verification in the user-friendly debugging environment of a simulator. According to the experiments carried out on a prototype implementation, the achieved acceleration is proportional to the number of checked transactions and the complexity of the verified system. The maximum acceleration achieved on the set of experiments was over 130 times.
|
|
|
Vytvoření modelu procesoru AVR32
Sarčák, Rostislav ; Kajan, Michal (oponent) ; Masařík, Karel (vedoucí práce)
Tato práce se zabývá vytvořením instruction-accurate modelu procesoru AVR32 v jazyce CodAL pro popis architektur. V práci je popsána RISC architektura AVR32, způsob implementace modelu, testování a generování softwarových nástojů. Implementace modelu je realizována pomocí frameworku Codasip. V modelu je popsána instrukční sada procesoru. Výsledkem této práce je instruction-accurate model procesoru Atmel AVR32.
|
|
|
Systém pro správu sportovních týmů
Nowak, Jakub ; Kajan, Michal (oponent) ; Korček, Pavol (vedoucí práce)
Tato práce se zabývá problematikou správy sportovních týmů. Analyzuje potřeby a požadavky sportovních týmů na systém, který by jim pomohl při organizaci jejich záležitostí v rámci týmu. V rámci práce byla také provedena implementace tohoto systému a navržena marketingová strategie budoucího rozvoje. Celý systém je postaven na bázi webové aplikace s využitím programovacího jazyka PHP a relačního databázového serveru MariaDB. Systém je na internetu dostupný pro širokou veřejnost. Nadále probíhá jeho monitoring a na základě zpětné reakce od uživatelů i jeho rozšiřování a vývoj.
|
|
|
Filtrování paketů v počítačových sítích
Faron, Jan ; Kováčik, Michal (oponent) ; Kajan, Michal (vedoucí práce)
Tato bakalářská práce se zabývá problematikou klasifikace paketů v počítačových sítích. V úvodu jsou popsány některé oblasti využívající klasifikaci paketů. Dále je uvedena potřebná teorie spolu s požadavky na klasifikační algoritmus. Jsou popsány čtyři vysokoúrovňové přístupy ke klasifikaci paketů. Ke každému přístupu jsou popsány principy několika algoritmů. Pro detailnější rozbor a implementaci je vybrán algoritmus EffiCuts. Tento klasifikační algoritmus je porovnán s jinými klasifikačními algoritmy z knihovny NetBench.
|
|
|
Generátor náhodných čísel se zvoleným rozložením
Kajan, Michal ; Martínek, Tomáš (oponent) ; Kořenek, Jan (vedoucí práce)
Táto práca popisuje problematiku generovania pseudonáhodných čísel. V prvej časti sú priblížené spôsoby získavania pseudonáhodných postupností a uvedené typické príklady generátorov. Táto časť takisto obsahuje popis transformačných metód rozložení pseudonáhodných čísel a stručne pojednáva o testovaní vlastností generátorov náhodných čísel. V nasledujúcej časti je detailne rozobratý generátor typu LFSR, ktorý je najpoužívanejším typom generátoru pre hardvérové aplikácie. Nasleduje popis transformácie a implementácia obvodu, ktorý realizuje transformáciu do exponenciálneho rozloženia. Na záver sú uvedené hardvérové požiadavky pre realizáciu navrhnutých obvodov v FPGA.
|
|
|
Bezeztrátová komprese dat v IP sítích
Pánek, Richard ; Kajan, Michal (oponent) ; Korček, Pavol (vedoucí práce)
Tato bakalářská práce shrnuje metody použitelné při komprimací dat v IP sítích. Popisuje vývoj a funkcionalitu kompresního algoritmu LZW. Dále popisuje testování komprimace paketů IP sítě pomoci algoritmu LZW, kde bylo dosaženo snížení velikosti na 60% až 70% původní velikosti u páteřního provozu. Je zde uveden postup při vysokoúrovňové syntéze z jazyka C do jazyka VHDL algoritmu LZW.
|
|
|
Filtrování paketů v počítačových sítích
Holuša, Jan ; Kováčik, Michal (oponent) ; Kajan, Michal (vedoucí práce)
Tato bakalářská práce se zabývá problematikou klasifikace paketů v počítačových sítích. Práce obsahuje popis jednotlivých klasifikačních algoritmů implementovaných v experimentálním frameworku Netbench. K některým jsou uvedeny příklady jejich datových struktur a vyhledávání v nich. Součástí této práce je implementace algoritmu pro modulární vyhledávání. Dále jsou součástí práce experimenty provedené na tomto algoritmu za účelem zjištění vhodných parametrů a experimenty provedené na algoritmech knihovny Netbench za účelem porovnání jejich paměťové a výpočetní složitosti.
|
|
|
Akcelerace šifrování přenosu síťových dat
Koranda, Karel ; Kajan, Michal (oponent) ; Polčák, Libor (vedoucí práce)
Tato práce se zabývá tvorbou hardwarové jednotky urychlující proces zabezpečení přenosu síťových dat z vestavěného zařízení, které je součástí systému pro zákonné odposlechy vyvíjeného v rámci projektu Sec6Net. Součástí práce je analýza dostupných bezpečnostních mechanismů pro zabezpečení přenosu dat počítačovou sítí, na jejímž základě je jako nejvhodnější pro cílový systém vybrán protokol SSH. Práce se dále zabývá rozborem možných variant akcelerační jednotky pro protokol SSH a podrobným návrhem a implementací varianty jednotky založené na algoritmu AES-GCM, který zajišťuje důvěrnost, integritu a autentizaci přenášených dat. Implementovaná akcelerační jednotka dosahuje propustnosti 2,4 Gb/s.
|
|
|
Akcelerace mikroskopické simulace dopravy za použití OpenCL
Urminský, Andrej ; Kajan, Michal (oponent) ; Korček, Pavol (vedoucí práce)
S narastajúcim počtom vozidiel na našich cestách sa čoraz väčšmi stretávame so súčasnými problémami dopravy, medzi ktoré by sme mohli zaradiť početnejšie havárie, zápchy a zvýšenie vypúšťaných emisií CO2, ktoré znečisťujú životné prostredie. Na to, aby sme boli schopní efektívne využívať cestnú infraštruktúru, nám môžu poslúžiť napríklad simulátory dopravy. Pomocou takýchto simulátorov môžme vyhodnotiť vývoj premávky za rôznych počiatočných podmienok a tým vedieť, ako sa správať a reagovať v rôznych situáciách dopravy. Táto práca sa zaoberá témou akcelerácia mikroskopickej simulácie dopravy za použitia OpenCL. Akcelerácia simulácie je dôležitá pri potrebe analyzovať veľkú sieť infraštruktúry, kde nám bežné spôsoby implementácie simulátorov nestačia. Pre tento účel je možné použiť napríklad techniku GPGPU súčasných gra ckých kariet, ktoré sú schopné paralelne vykonávať všeobecné výpočty. Pri tvorbe tejto práce bola použitá práve táto technika pre urýchlenie výpočtov a boli dosiahnuté niekoľkonásobné zrýchlenia na GPU oproti paralelnej implementácii na CPU.
|
|
|
Komprese záznamů o IP tocích
Kaščák, Andrej ; Kajan, Michal (oponent) ; Žádník, Martin (vedoucí práce)
Diplomová práce pojednává o problémech komprese toků v síťových zařízeních. Od řešení se očekává úspora paměti toků a ulehčení zpracování síťového provozu. V úvodu jsou popsány protokoly sloužící pro ukládání a manipulaci s daty, následuje rozprava o možnostech současných kompresních metod. V další části je podrobná analýza zdrojových dat, která odhaluje jejich strukturu a složení. Přináší užitečné poznatky, které jsou dále použity při testování, zkoumání možností a využití existujících kompresních metod při kompresi toků. Práce posléze experimentuje se ztrátovou kompresí, kde na základě výsledků testů, dojde k popsání nového přístupu komprese založeného na ztrátové kompresi a klustrování toků. Závěrečná část práce obsahuje zhodnocení této metody a celkovou sumarizaci práce s nabídnutými návrhy možného pokračování vývoje v této problematice.
|
host ::
RSS.