Digital Design & Dependability Research Group

Témata dizertačních prací nabízená skupinou VLSI

Formální metody návrhu číslicových obvodů s ohledem na zlepšené spolehlivostní parametry (Formal methods of digital design with respect to dependability parameters)
Zadavatel: doc. Ing. Hana Kubátová, CSc.

Dekompozice číslicového obvodu s ohledem na jeho optimální implementaci v programovatelných obvodech (Digital circuit decomposition with respect to the final effective implementation in programmable circuits)
Zadavatel: doc. Ing. Hana Kubátová, CSc.

Verification of Complex Systems
Zadavatel: Dipl.-Ing. Dr. techn. Stefan Ratschan

Constraint Solving
Zadavatel: Dipl.-Ing. Dr. techn. Stefan Ratschan

Randomizované iterativní algoritmy v logické syntéze
Zadavatel: doc. Ing. Petr Fišer, Ph.D.