Ing.

Marcela Zachariášová

Ph.D.

odborný asistent

+420 54114 1230
zachariasova@fit.vut.cz
L339 Kancelář
71999/osobní číslo VUT

Ž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í

Získaná ocenění

Nahoru