Detail práce

Aproximace obvodů v nástroji Yosys

Bakalářská práce Student: Plevač Lukáš Akademický rok: 2021/2022 Vedoucí: Mrázek Vojtěch, Ing., Ph.D.
Název anglicky
Approximation of Digital Circuits in Yosys Tool
Jazyk práce
český
Abstrakt

Cílem této práce je představení rozšíření cgploss, které slouží k optimalizaci kombinačních obvodů v nástroji Yosys. V první části práce bude představena metoda Kartézského genetického programování, která lze použít na návrh a optimalizaci obvodů. Tato kapitola dále popisuje možné reprezentace kombinačních obvodů pro Kartézské genetické programování. Následuje představení nástroje Yosys z uživatelského i implementačního hlediska a popis tvorby rozšíření pro tento nástroj. Následující kapitola popisuje návrh rozšíření cgploss a jeho vnitřní struktury. Dále je popisována implementace rozšíření a jeho ovládání. V závěru práce je otestována funkčnost nástroje a jednotlivé použité reprezentace obvodu jsou porovnány mezi sebou.

Klíčová slova

kombinační obvod, optimalizace, optimalizace kombinačních obvodů, logické hradlo, Kartézské genetické programování, CGP, AIG, MIG, hradlová reprezentace, And-inverter graph, Majority-Inverter Graph, Yosys, Verilog

Ústav
Studijní program
Informační technologie
Soubory
Stav
obhájeno, hodnocení C
Obhajoba
14. června 2022
Oponent
Průběh obhajoby

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 C.

Otázky u obhajoby
  1. Na základě čeho jste se rozhodl implementovat paralelní simulaci nad 256-bitovými vektory? V praxi se ukazuje simulace nad 64-bitovými vektory efektivnější.
  2. Co Vás vedlo k rozhodnutí implementovat nestandardní prvky v rámci CGP algoritmu jako je Gausovská parametrizace počtu provedených mutací, operátor křížení, operátor reprodukce?
Komise
Sekanina Lukáš, prof. Ing., Ph.D. (UPSY FIT VUT), předseda
Hradiš Michal, Ing., Ph.D. (UPGM FIT VUT), člen
Jaroš Jiří, doc. Ing., Ph.D. (UPSY FIT VUT), člen
Křivka Zbyněk, Ing., Ph.D. (UIFS FIT VUT), člen
Lengál Ondřej, Ing., Ph.D. (UITS FIT VUT), člen
Citace
PLEVAČ, Lukáš. Aproximace obvodů v nástroji Yosys. Brno, 2022. Bakalářská práce. Vysoké učení technické v Brně, Fakulta informačních technologií. 2022-06-14. Vedoucí práce Mrázek Vojtěch. Dostupné z: https://www.fit.vut.cz/study/thesis/22357/
BibTeX
@bachelorsthesis{FITBT22357,
    author = "Luk\'{a}\v{s} Pleva\v{c}",
    type = "Bakal\'{a}\v{r}sk\'{a} pr\'{a}ce",
    title = "Aproximace obvod\r{u} v n\'{a}stroji Yosys",
    school = "Vysok\'{e} u\v{c}en\'{i} technick\'{e} v Brn\v{e}, Fakulta informa\v{c}n\'{i}ch technologi\'{i}",
    year = 2022,
    location = "Brno, CZ",
    language = "czech",
    url = "https://www.fit.vut.cz/study/thesis/22357/"
}
Nahoru