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
; 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
; 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 ...