Prohlížení Diplomové práce - 13134 dle předmětu "UVM"
Zobrazují se záznamy 1-1 z 1
-
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, ...