Využití funkcionálních jazyků pro hardwarovou akceleraci
| but.committee | prof. Ing. Václav Dvořák, DrSc. (předseda) doc. Ing. Zdeněk Kotásek, CSc. (místopředseda) doc. Ing. Jan Kořenek, Ph.D. (člen) Ing. Zbyněk Křivka, Ph.D. (člen) doc. Ing. Ondřej Ryšavý, Ph.D. (člen) prof. Ing. Karel Vlček, CSc. (člen) | cs |
| but.defence | Studentka nejprve prezentovala výsledky, kterých dosáhla v rámci své práce. Komise se pak seznámila s hodnocením vedoucího a posudkem oponenta práce. Studentka následně odpověděla na otázky oponenta a na další otázky přítomných. Komise se na základě posudku oponenta, hodnocení vedoucího, přednesené prezentace a odpovědí studentky na položené otázky rozhodla práci hodnotit stupněm " C ". Otázky u obhajoby: Proč jste si vybrala takovéto téma? Provedla jste syntézu do FPGA pro Vámi generovaný obvod? Jaké jsou výsledky syntézy? Jak jsou na tom výsledky syntézy Vašeho obvodu v porovnání s nejlepšími známými obvody stejného typu? Jaké experimenty jste provedla s vygenerovanými obvody? Jaký další postup navrhujete ve Vaší práci? Na co je třeba se nejvíce zaměřit a při možném budoucím rozvoji? | cs |
| but.jazyk | čeština (Czech) | |
| but.program | Informační technologie | cs |
| but.result | práce byla úspěšně obhájena | cs |
| dc.contributor.advisor | Fučík, Otto | cs |
| dc.contributor.author | Hodaňová, Andrea | cs |
| dc.contributor.referee | Kadlček, Filip | cs |
| dc.date.created | 2013 | cs |
| dc.description.abstract | Cílem této práce je prozkoumat možnosti využití funkcionálního paradigmatu pro hardwarovou akceleraci, konkrétně pro datově paralelní úlohy. Úroveň abstrakce tradičních jazyků pro popis hardwaru, jako VHDL a Verilog, přestáví stačit. Pro popis na algoritmické či behaviorální úrovni se rozmáhají jazyky původně navržené pro vývoj softwaru a modelování, jako C/C++, SystemC nebo MATLAB. Funkcionální jazyky se s těmi imperativními nemůžou měřit v rozšířenosti a oblíbenosti mezi programátory, přesto je předčí v mnoha vlastnostech, např. ve verifikovatelnosti, schopnosti zachytit inherentní paralelismus a v kompaktnosti kódu. Pro akceleraci datově paralelních výpočtů se často používají jednotky FPGA, grafické karty (GPU) a vícejádrové procesory. Praktická část této práce rozšiřuje existující knihovnu Accelerate pro počítání na grafických kartách o výstup do VHDL. Accelerate je možno chápat jako doménově specifický jazyk vestavěný do Haskellu s backendem pro prostředí NVIDIA CUDA. Rozšíření pro vysokoúrovňovou syntézu obvodů ve VHDL představené v této práci používá stejný jazyk a frontend. | cs |
| dc.description.abstract | The aim of this thesis is to research how the functional paradigm can be used for hardware acceleration with an emphasis on data-parallel tasks. The level of abstraction of the traditional hardware description languages, such as VHDL or Verilog, is becoming to low. High-level languages from the domains of software development and modeling, such as C/C++, SystemC or MATLAB, are experiencing a boom for hardware description on the algorithmic or behavioral level. Functional Languages are not so commonly used, but they outperform imperative languages in verification, the ability to capture inherent paralellism and the compactness of code. Data-parallel task are often accelerated on FPGAs, GPUs and multicore processors. In this thesis, we use a library for general-purpose GPU programs called Accelerate and extend it to produce VHDL. Accelerate is a domain-specific language embedded into Haskell with a backend for the NVIDIA CUDA platform. We use the language and its frontend, and create a new backend for high-level synthesis of circuits in VHDL. | en |
| dc.description.mark | C | cs |
| dc.identifier.citation | HODAŇOVÁ, A. Využití funkcionálních jazyků pro hardwarovou akceleraci [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2013. | cs |
| dc.identifier.other | 79311 | cs |
| dc.identifier.uri | http://hdl.handle.net/11012/53474 | |
| dc.language.iso | cs | cs |
| dc.publisher | Vysoké učení technické v Brně. Fakulta informačních technologií | cs |
| dc.rights | Standardní licenční smlouva - přístup k plnému textu bez omezení | cs |
| dc.subject | funkcionální jazyky | cs |
| dc.subject | funkcionální paradigma | cs |
| dc.subject | jazyky pro popis hardwaru | cs |
| dc.subject | vysokoúrovňová syntéza | cs |
| dc.subject | Haskell | cs |
| dc.subject | VHDL | cs |
| dc.subject | Accelerate | cs |
| dc.subject | GPGPU | cs |
| dc.subject | CUDA | cs |
| dc.subject | datově paralelní výpočty | cs |
| dc.subject | functional languages | en |
| dc.subject | functional paradigm | en |
| dc.subject | hardware description languages | en |
| dc.subject | HDLs | en |
| dc.subject | high-level synthesis | en |
| dc.subject | Haskell | en |
| dc.subject | VHDL | en |
| dc.subject | Accelerate | en |
| dc.subject | GPGPU | en |
| dc.subject | CUDA | en |
| dc.subject | data-parallel computing | en |
| dc.title | Využití funkcionálních jazyků pro hardwarovou akceleraci | cs |
| dc.title.alternative | Hardware Acceleration Using Functional Languages | en |
| dc.type | Text | cs |
| dc.type.driver | masterThesis | en |
| dc.type.evskp | diplomová práce | cs |
| dcterms.dateAccepted | 2013-06-19 | cs |
| dcterms.modified | 2020-05-10-16:11:10 | cs |
| eprints.affiliatedInstitution.faculty | Fakulta informačních technologií | cs |
| sync.item.dbid | 79311 | en |
| sync.item.dbtype | ZP | en |
| sync.item.insts | 2025.03.26 15:15:12 | en |
| sync.item.modts | 2025.01.15 18:05:12 | en |
| thesis.discipline | Počítačové a vestavěné systémy | cs |
| thesis.grantor | Vysoké učení technické v Brně. Fakulta informačních technologií. Ústav počítačových systémů | cs |
| thesis.level | Inženýrský | cs |
| thesis.name | Ing. | cs |