Prohlížení katedra číslicového návrhu dle předmětu "Vestavěné sekvence"
Zobrazují se záznamy 1-1 z 1
-
Metody automatické verifikace v registrovém modelu jazyka SystemVerilog
; Vedoucí práce: Kohlík Martin; Oponent práce: 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 ...