• Asynchronní implementace šifry DES 

      Autor: Bělohoubek Jan; Vedoucí práce: Schmidt Jan; Oponent práce: Novotný Martin
      (České vysoké učení technické v Praze. Vypočetní a informační centrum., 2014-06-27)
    • Deadline Verification Using Model Checking 

      Autor: Jan Onderka; Vedoucí práce: Ratschan Stefan; 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., 2020-06-12)
      V této práci je představena nová aplikace pro formální verifikaci splnění nejzazších termínů (deadlines) v jednoduchých programech pro mikrokontroléry, pracující na úrovni strojového kódu. V práci jsou studovány dosavadní ...
    • Hardwarový akcelerátor pro dopočtení chybějících položek v datovém streamu 

      Autor: Dvořáček Josef; Vedoucí práce: Schmidt Jan; Oponent práce: Dostál Jiří
      (České vysoké učení technické v Praze. Vypočetní a informační centrum., 2012-07-24)
    • Nástroj pro monitorování sítě na čipu 

      Autor: Vaník Jakub; Vedoucí práce: Schmidt Jan; Oponent práce: Prokš Michal
      (České vysoké učení technické v Praze. Vypočetní a informační centrum., 2014-06-27)
    • Návrh digitálního I2C slave IP bloku 

      Autor: Vošalík Jan; Vedoucí práce: Schmidt Jan; Oponent práce: Trojan Stanislav
      (České vysoké učení technické v Praze. Vypočetní a informační centrum., 2012-07-24)
    • Návrh generického digitálního SoC obvodu pro FPGA platformu 

      Autor: Vanc Václav; Vedoucí práce: Hujer Martin; 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-05-09)
      Tato diplomová práce se zabývá návrhem nástroje pro tvorbu systémů na čipu (SoC). Vygenerovaný SoC je možné ovládat prostřednictvím počítače pomocí rozhraní UART. Prostředí pro ovládání z počítače je napsáno v jazyce Python. ...
    • 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í ...