Now showing items 1-2 of 2

    • Injekce kódu ve virtuálním prostředí pro operační systém Linux 

      Author: Jakub Čudka; Supervisor: Štěpánek Filip; Opponent: Dostál Jiří
      (Č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)
      Tato práce se zabývá vkládáním cizího kódu do operační paměti ve virtuálním prostředí VMware s operačním systémem Linux Debian 10 (verze 4.19.*). Cílem práce je analyzovat správu paměti a procesů v daném operačním systému ...
    • Metody automatické verifikace v registrovém modelu jazyka SystemVerilog 

      Author: Timur Ganeev; Supervisor: Kohlík Martin; Opponent: Borecký Jaroslav
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2024-06-07)
      Tato práce se zabývá metodologií pro verifikaci digitálních integrovaných obvodů (Universal Verification Methodology - UVM), zejména její registrovou vrstvou (Register Abstraction Layer - RAL). V dané práci je popsán proces ...