Browsing by Author "Jiří Šindelář"

Now showing items 1-2 of 2

    • Funkční a Formální Verifikace Bloku Jump Controller pro RISC-V Procesor 

      Author: Jiří Šindelář; Supervisor: Jakovenko Jiří; Opponent: Kajan Michal
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2024-02-01)
      V této práci představíme dvě metody verifikace návrhu číslicových obvodů, které k tomuto problému přistupují z různách směrů. Těmito motodami jsou funkční verifikace, která používá somulaci pro získání podkladů pro verifikaci, ...

    • Inteligentní řízení osvětlení prostor 

      Author: Jiří Šindelář; Supervisor: Husák Miroslav; Opponent: Náhlík Josef
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2021-06-02)
      Tato bakalářská práce se zabývá řízením automatického osvětlení vnitřních obytných prostor. První kapitola představí některé současné nástroje k řešení problému. Druhá kapitola popisuje součástky, návrh a zapojení modelu. ...