Ing.
Marcela Zachariášová
Ph.D.
odborný asistent
Životopis
Přehled zaměstnání
-
01.09.2015 - ...
Fakulta Informačních Technologií, Vysoké Učení Technické v Brně
Odborný asistent, akademický pracovník -
01.02.2018 - ...
ASICentrum
Senior verifikační inženýr, vedoucí verifikačního teamu v BU Automotive
Pedagogická činnost
- FVS: Funkční verifikace číslicových systémů (garant, přednášející, cvičící)
- PCS: Pokročilé číslicové systémy (přednáška o verifikaci, cvičení o verifikaci)
- ITP: Technika personálních počítačů (garant, přednášející)
- IPZ: Periferní zařízení (garant, přednášející)
Vědeckovýzkumná činnost
- Funkční verifikace (SystemVerilog, UVM) digitálních a digitálně-analogových obvodů, procesorů.
- Verifikace pomocí portovatelných stimulů.
- Hardwarová akcelerace funkční verifikace pomocí FPGA.
- Verifikace řízená pokrytím s využitím genetického programování a jiných samoučících se algoritmů.
- Návrh a testování systémů odolných proti poruchám.
- Automatické generování UVM verifikačních prostředí.
Univerzitní aktivity
Témata BP/DP:
- funkční verifikace obvodů - optimalizace procesů verifikace
- verifikace open-source procesorů (např. RISC-V)
- verifikace digitálně-analogových obvodů
- portovatelné stimuli
- hardwarová akcelerace
- genetické algoritmy a genetické programování