Aproximace obvodů s využitím alternativních reprezentací
| but.committee | doc. Ing. Lukáš Burget, Ph.D. (předseda) doc. RNDr. Pavel Smrž, Ph.D. (člen) Ing. Zbyněk Křivka, Ph.D. (člen) doc. Ing. František Zbořil, Ph.D. (člen) Ing. František Grézl, Ph.D. (člen) Ing. Vojtěch Mrázek, Ph.D. (člen) | cs |
| but.defence | Student nejprve prezentoval výsledky, kterých dosáhl v rámci své práce. Komise se poté seznámila s hodnocením vedoucího a posudkem oponenta práce. Student následně odpověděl 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í studenta na položené otázky rozhodla práci hodnotit stupněm A. | cs |
| but.jazyk | čeština (Czech) | |
| but.program | Informační technologie a umělá inteligence | cs |
| but.result | práce byla úspěšně obhájena | cs |
| dc.contributor.advisor | Sekanina, Lukáš | cs |
| dc.contributor.author | Michalisko, Tomáš | cs |
| dc.contributor.referee | Mrázek, Vojtěch | cs |
| dc.date.created | 2024 | cs |
| dc.description.abstract | Tato diplomová práce se zabývá návrhem aproximačních obvodů s využitím alternativních reprezentací. Mezi zkoumané reprezentace patří And-inverter graf, Majority-Inverter graf a Xor-Majority graf. Pro automatizaci návrhu je použito kartézské genetické programování. Díky výpočtu aproximační chyby pomocí formálních metod je možné vytvořený systém aplikovat i na složitější obvody. V první části experimentů je vyhodnocena a optimalizována rychlost programu. Následně je hledán vhodný mutační operátor. Poté je systém otestován při aproximaci 8bitových násobiček a 16bitových sčítaček s cílem minimalizovat velikost a zpoždění. Bylo zjištěno, že sčítačky i násobičky v reprezentaci XMG dosahují lepších fitness hodnot v porovnání s evolucí na úrovni hradel. Na závěr je provedena evoluce s cílem mapování na technologii k-LUT. Zde zůstávají nejefektivnější reprezentací hradla. | cs |
| dc.description.abstract | This master's thesis deals with the design of approximate circuits using alternative representations. The investigated representations include the And-inverter graph, Majority-Inverter graph, and Xor-Majority graph. Cartesian genetic programming is employed for design automation. By computing the approximation error using formal methods, the developed system can be applied to more complex circuits. In the first part of the experiments, the speed of the program is evaluated and optimized. Subsequently, a suitable mutation operator is searched for. Then, the system is tested for approximating 8-bit multipliers and 16-bit adders with the aim of minimizing size and delay. The results show that adders and multipliers in the XMG representation achieve better fitness values compared to evolution at the gate level. Finally, an evolution targeting the k-LUT technology is performed. Here, gates remain the most efficient representation. | en |
| dc.description.mark | A | cs |
| dc.identifier.citation | MICHALISKO, T. Aproximace obvodů s využitím alternativních reprezentací [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2024. | cs |
| dc.identifier.other | 154750 | cs |
| dc.identifier.uri | http://hdl.handle.net/11012/248903 | |
| 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 | aproximace obvodů | cs |
| dc.subject | kartézské genetické programování | cs |
| dc.subject | And-Inverter graf | cs |
| dc.subject | Majority-Inverter graf | cs |
| dc.subject | Xor-Majority graf | cs |
| dc.subject | LUT mapování | cs |
| dc.subject | approximate circuits | en |
| dc.subject | carthesian genetic programming | en |
| dc.subject | And-Inverter graph | en |
| dc.subject | Majority-Inverter graph | en |
| dc.subject | Xor-Majority graph | en |
| dc.subject | LUT mapping | en |
| dc.title | Aproximace obvodů s využitím alternativních reprezentací | cs |
| dc.type | Text | cs |
| dc.type.driver | masterThesis | en |
| dc.type.evskp | diplomová práce | cs |
| dcterms.dateAccepted | 2024-06-19 | cs |
| dcterms.modified | 2024-06-19-12:42:51 | cs |
| eprints.affiliatedInstitution.faculty | Fakulta informačních technologií | cs |
| sync.item.dbid | 154750 | en |
| sync.item.dbtype | ZP | en |
| sync.item.insts | 2025.03.26 15:38:16 | en |
| sync.item.modts | 2025.01.15 13:17:31 | en |
| thesis.discipline | Strojové učení | 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 |