Hledat
Zobrazují se záznamy 1-3 z 3
Pokročilé metody simulace v jazyce SystemVerilog, Advanced simulation methods in 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., 2021-06-04)
Tato práce se zabývá prací s nástroji pro simulaci číslicových obvodů. V první části se práce zabývá seznámením se s konstrukcemi jazyka SystemVerilog a knihovny UVM. Dále práce otestuje nástroje pro vytváření testbenchů, ...
Dálkový ovladač modelu auta, Remote control of the model car
; Vedoucí práce: Borecký Jaroslav; Oponent práce: Kohlík Martin (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2018-06-13)
Práce se zaměřuje na dokumentaci sestavení funkčního modelu auta na dálkové ovládání náklonem hřbetu ruky pomocí vývojových a rozšiřujicích desek od společnosti STMicroelectronics. Cílem praktické části je sestrojit funkční ...
Metody automatické verifikace v registrovém modelu jazyka SystemVerilog, Automatic verification methods in the SystemVerilog register access layer
; 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 ...