• Návrh spolehlivých systémů v FPGA s použitím bezpečnostních kódů 

      Autor: Vojtěch Pail; Vedoucí práce: Kubalík Pavel; Oponent práce: Fišer Petr
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2021-01-29)
      Cílem této práce je analýza poruchového chování obvodů pomocí simulačního softwaru KČN. Pro obvody jsou nalezeny vhodné bezpečnostní kódy, které jsou schopné detekovat, případně opravovat tyto poruchy s co nejmenší redundancí. ...
    • Paralelní optimalizace logických obvodů 

      Autor: Rusin Lukáš; Vedoucí práce: Fišer Petr; Oponent práce: Schmidt Jan
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2017-06-28)
      Tato práce se zabývá rozdělováním logického obvodu na vhodné části, které následně paralelně resyntetizuje za účelem dosažení lepšího konečného výsledku, než kdyby se obvod resyntetizoval vcelku. Představen je vlastní ...
    • Určování míry podobnosti logických obvodů založené na grafových algoritmech 

      Autor: Janusz Piotr Wijas; Vedoucí práce: Fišer Petr; Oponent práce: Bělohoubek Jan
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2021-01-29)
      Tato práce se věnuje výpočtu podobností logických obvodů a zkoumáním závislosti \uv{common-mode} poruch na těchto podobnostech. Nejprve je provedena analýza existujících řešení se zaměřením na grafové algoritmy a návrh ...
    • Určování míry podobnosti logických obvodů založené na grafových algoritmech 

      Autor: Janusz Piotr Wijas; Vedoucí práce: Fišer Petr; Oponent práce: Bělohoubek Jan
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2020-08-26)
      Tato diplomová práce se zabývá problémem porovnávání logických obvodů pomocí grafových algoritmů.