Prohlížení Diplomové práce - 13134 dle předmětu "verification"

Zobrazují se záznamy 1-2 z 2

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

      Autor: Jiří Šindelář; Vedoucí práce: Jakovenko Jiří; Oponent práce: 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, ...

    • Implementace verifikační komponenty - modelu NFC přijímače 

      Autor: Ján Jendrušák; Vedoucí práce: Jakovenko Jiří; Oponent práce: Šťastný Jakub
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2019-06-13)
      Návrh digitálnych obvodov je komplexný proces, ktorý zahŕňa verifikáciu chovania návrhu predtým, ako je na záver implementovaný. Universal Verification Methodology (UVM) je prísľubom efektívneho spôsobu verifikovania ...