Graduated Bc. and MSc. Students, Semestral Projects

2024

• Exploiting Logic Synthesis in SAT-solving - Jan Kimr (BP)

2022

• Databáze konferencí a publikací IV - Peter Hajtol (DP)

2021

• Určování míry podobnosti logických obvodů založené na grafových algoritmech - Janusz Wijas (DP)

2020

• Komprese testu pro číslicové obvody s Illinois-Scan architekturou - Daniel Králík (BP)
• Komprese testu pro PRAS architekturu založená na řešení SAT problému - Karel Pajskr (BP)

2019

• Databáze konferencí a publikací III - Peter Hajtol (BP)

2018

• Databáze konferencí a publikací II - Stanislav Štipl (DP)
• Aplikace pro demonstraci funkce Tabu prohledávání - Jaroslav Veselý (DP)
• Aplikace pro demonstraci funkce simulovaného ochlazování - Michal Kluzáček (DP)
• Aplikace pro demonstraci funkce genetických algoritmů - Adam Kugler (DP)
• Resyntéza obvodu po částech - Lukáš Rusin (DP)

2015

• Randomizace algoritmů v systému ABC - Jakub Lerl (BP)
• Webová databáze konferencí - Petr Svoboda (BP)
• Webová databáze referencí - Jan Kubálek (DP)

2014

• Centralizované řízení distribuovaných procesů - Miroslav Bauer (DP)

2013

• Optimalizace logických obvodů pomocí kartézského genetického programování - Stanislav Pelák (DP)
• Nová verze databáze konferencí - Vít Zdrubecký (BP)
• Dekompozice logických funkcí s použitím XOR hradel - Lukáš Rusin (BP)

2012

• Parametrizovaný generátor náhodných logických obvodů - Karel Houžvička (DP)
• Randomizace algoritmů v systému ABC - Tomáš Hruška (DP)
• Paralelizace logické syntézy - Ondřej Šírek (DP)
• Návrh generátoru pseudonáhodných vektorů pro vestavěnou diagnostiku - Pavel Galaktionov (DP)

2011

• Paralelizace nástroje pro minimalizaci logických funkcí BOOM - Richard Fritsch (BP)
• Rozšíření databáze publikací II - Kateřina Pospíšilová (BP)
• Manipulace s logickými funkcemi pomocí grafů II - David Kottás (BP)
• Nástroj pro syntézu sekvenčních logických obvodů - Petr Kraus (BP)
• Minimalizace DNF logických funkcí založená na ternárních stromech - David Toman (DP)

2010

• Výpočet komplementu logické funkce - Jan Kučera (BP)
• Rychlý simulátor kombinačních obvodů - Karel Houžvička (BP)
• Vizualizace minimalizace logických funkcí - Jakub Zelenka (DP)
• Řešení problému pokrytí - Filip Cakl (DP)
• Dekompozice logických funkcí založená na binárních rozhodovacích diagramech - Zdeněk Kalčík (DP)
• Ortogonalizace logických funkcí - Lukáš Höger (DP)
• Tcl/Tk rozhraní k interaktivnímu nástroji pro syntézu logických obvodů ABC - Jan Petr (DP)

2009

• Minimalizace neúplně určených funkcí pomocí BDD - Martin Blum (BP)
• ESOP minimalizace - Lukáš Patera (BP)
• Dekompozice log. obvodů se zaměřením na jejich diagnostiku - Pavel Směšný (BP)
• Generátor komprimovaných testovacích vektorů založený na modifikaci ATPG - Jiří Balcárek (DP)
• Detekce tautologie - Jan Schindler (DP)
• Rozšíření databáze zkušebních obvodů - Martin Hübner (BP)
• Kreslení schémat logických obvodů - Tomáš Macik (BP)
• Grafické uživatelské rozhraní pro interaktivní návrhový systém - Karel Kohout (BP)
• Rozšíření databáze publikací - Martin Vodička (DP)
• Manipulace s logickými funkcemi pomocí grafů - Petr Vála (DP)
• Moderní metody řešení problému pokrytí - Michael Kalouš (DP)

2008

• Interaktivní nástroj pro kreslení schémat logických obvodů - Robert Škorpil (BP)
• Úprava nástroje Espresso - Martin Miklánek (BP)
• Mapování logických obvodů do FPGA - Miroslav Karšulín (BP)
• Syntéza asynchronních obvodů - Zbyněk Moler (BP)
• Úprava ATPG nástroje Atalanta - Radovan Myslík (BP)
• Rozšíření databáze konferencí - Petr Galík (BP)
• Skupinová minimalizace neúplně určených logických funkcí pomocí modifikovaných rozhodovacích diagramů - Pavel Černý (DP)
• Implementace paralelního Selfish Gene genetického algoritmu - Floris van der Meijs (DP)
• Implementace prostředků pro vestavěnou diagnostiku v FPGA - Jiří Robek (DP)
• Moderní metody řešení problému pokrytí - Lukáš Krejčík (DP)
• Parametrizovaný generátor náhodných logických obvodů - Tomáš Měchura (DP)
• Řešení problému splnitelnosti booleovské formule - Jan Lomitzki (BP)
• Implementace algoritmů pro BIST v FPGA - Jiří Šimák (BP)
• Porovnání dostupných programových balíků pro manipulaci s binárními rozhodovacími diagramy - Martin Felcman (BP)
• Simulace logických obvodů v SystemC - Miroslav Maněna (DP)
• Automatický generátor testovacích vektorů (ATPG) založený na testu splnitelnosti booleovské formule - Jiří Červák (DP)
• Paralelní simulátor poruch - Jan Blažek (DP)
• Použití genetických algoritmů pro syntézu prostředků pro vestavěnou diagnostiku (BIST) - Filip Čech (DP)
• Převod víceúrovňové logiky na dvouúrovňovou - Jaroslav Bartoník (DP)

2007

• Nástroj pro manipulaci s logickými funkcemi popsanými algebraickým výrazem - David Toman (BP)
• Dekompozice kombinačních logických obvodů - Jakub Zahradník (BP)
• Vizualizace binárních rozhodovacích diagramů - Miloslav Klášterka (BP)
• Řešení problému splnitelnosti booleovské formule (SAT) pomocí binárních rozhodovacích diagramů - Jiří Balcárek (BP)
• Kódování stavů konečného automatu - Jan Egert (BP)
• Řešení SAT problému pomocí genetických algoritmů - Jaromír Hořejší (BP)
• Moderní metody řešení problému pokrytí - Kamil Kopejtko (BP)
• Použití genetických algoritmů pro syntézu celulárních automatů pro testování logických obvodů - Petr Hašlar (DP)
• Minimalizace neúplně určených logických funkcí pomocí modifikovaných binárních rozhodovacích diagramů - Jan Bílek (DP)
• Převod víceúrovňové logické sítě na dvouúrovňovou pomocí BDD - Přemek Rucký (DP)
• Vizualizace běhu simulovaného ochlazování - Přemysl Jiřík (DP)
• Databáze benchmarků - Jaroslav Pachola (DP)
• Předpověď spolehlivosti zálohovaných systémů pomocí Booleovy algebry - Vojtěch Babič (DP)

2006

• Databáze publikací - Martin Vodička (BP)
• Vstupní a výstupní konverze VHDL - Martin Halamíček (BP)
• Port balíku CUDD pod Windows - Ondřej Kološ (BP)
• Interaktivní nástroj pro kreslení schémat logických obvodů - Rastislav Pastor (BP)
• Detekce tautologie za pomocí BDD - Michal Navrkal (BP)
• Webová stránka VLSI skupiny - Martin Zatřepálek (BP)
• Vizualizace běhu genetických algoritmů - Petr Benhák (BP)
• Generování testovacích vektorů pomocí genetických algoritmů - Pavel Galaktionov (BP)
• Databáze konferencí - Jan Kemr (BP)
• Univerzální uživatelské rozhraní pro EDA systém - Ondřej Švejdar (DP)
• Parametrizovaný generátor náhodných booleovských funkcí - Tomáš Měchura (BP)

2005

• Řešení problému pokrytí - Lukáš Krejčík (BP)
• Program pro kreslení schémat logických obvodů - Martin Kučera (BP)
• ATPG pro kombinační obvody - Kamil Staufčík (DP)
• Použití vícehodnotové logiky pro syntézu log. obvodů - Filip Trávnický (BP)
• Převaděč formátů pro specifikaci log. obvodů - Vlastimil Kozák (DP)
• Port BOOMu - Jiří Šádek (BP)
• Řešení SAT problému - Antonín Lejsek (SP)
• Převod binárních rozhodovacích diagramů (BBD) na součet součinů (SOP) logických proměnných při rozhodování - Vojtěch Babič (SP)

2004

• Detekce tautologie, výpočet komplementu booleovské funkce - Radek Chromý (SP)

Celkem: 50 BP, 44 DP