Životopis

Přehled zaměstnání

• 2015-09-01 - ...

  Fakulta Informačních Technologií, Vysoké Učení Technické v Brně
  Odborný asistent, akademický pracovník
  

• 2018-02-01 - ...

  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í