|
Generátor aritmetických obvodů
Klhůfek, Jan ; Vašíček, Zdeněk (oponent) ; Mrázek, Vojtěch (vedoucí práce)
Cílem této bakalářské práce je představení návrhu a implementace generátoru aritmetických obvodů v jazyce Python umožňující export těchto obvodů do různých reprezentací popisu v plochých a hierarchických podobách. Práce se nejprve věnuje specifikaci HW struktur jednotlivých typů aritmetických obvodů a způsobům popisu těchto struktur do různých reprezentací. Následuje představení koncepce a implementace nástroje zvaného ArithsGen schopného generovat aritmetické obvody a exportovat je do různých reprezentací popisu. Výstupní reprezentace pak slouží ke snadné simulaci funkčnosti navržených obvodů (C), k popisu hardwaru a logické syntéze (Verilog), k formální verifikaci (BLIF) či ke globální optimalizaci obvodů s využitím evoluční strategie (CGP). V závěru byly generované reprezentace jednotlivě otestovány a s využitím logické syntézy vzájemně porovnány.
|
|
Adungované soustavy diferenciálních rovnic
Kmenta, Karel ; Pindryč, Milan (oponent) ; Kunovský, Jiří (vedoucí práce)
Tento projekt se zabývá řešením diferenciálních rovnic. Cílem je nalézt vhodný algoritmus transformující diferenciální rovnice vyšších řádů s časově proměnnými koeficienty na ekvivalentní soustavy diferenciálních rovnic 1.řádu, následně pak ověřit jeho funkčnost pro rovnice obsahující umocněné goniometrické funkce a nakonec tento algoritmus naimplementavat. Důvodem pro tuto transformaci je požadavek, řešit tyto diferenciální rovnice programem TKSL (Taylor Kunovský simulation language).
|
|
Generátor aritmetických obvodů
Klhůfek, Jan ; Vašíček, Zdeněk (oponent) ; Mrázek, Vojtěch (vedoucí práce)
Cílem této bakalářské práce je představení návrhu a implementace generátoru aritmetických obvodů v jazyce Python umožňující export těchto obvodů do různých reprezentací popisu v plochých a hierarchických podobách. Práce se nejprve věnuje specifikaci HW struktur jednotlivých typů aritmetických obvodů a způsobům popisu těchto struktur do různých reprezentací. Následuje představení koncepce a implementace nástroje zvaného ArithsGen schopného generovat aritmetické obvody a exportovat je do různých reprezentací popisu. Výstupní reprezentace pak slouží ke snadné simulaci funkčnosti navržených obvodů (C), k popisu hardwaru a logické syntéze (Verilog), k formální verifikaci (BLIF) či ke globální optimalizaci obvodů s využitím evoluční strategie (CGP). V závěru byly generované reprezentace jednotlivě otestovány a s využitím logické syntézy vzájemně porovnány.
|
|
Adungované soustavy diferenciálních rovnic
Kmenta, Karel ; Pindryč, Milan (oponent) ; Kunovský, Jiří (vedoucí práce)
Tento projekt se zabývá řešením diferenciálních rovnic. Cílem je nalézt vhodný algoritmus transformující diferenciální rovnice vyšších řádů s časově proměnnými koeficienty na ekvivalentní soustavy diferenciálních rovnic 1.řádu, následně pak ověřit jeho funkčnost pro rovnice obsahující umocněné goniometrické funkce a nakonec tento algoritmus naimplementavat. Důvodem pro tuto transformaci je požadavek, řešit tyto diferenciální rovnice programem TKSL (Taylor Kunovský simulation language).
|