Now showing items 1-3 of 3

  • Automatizace verifikace pomocí neuronových sítí 

    Fajčík, Martin
    Úlohou tejto práce je analýza a riešenie optimalizačných problémov vychádzajúcich z automatizácie funkčnej verifikácie hardvéru pomocou umelých neurónových sietí. Verifikácia ľubovoľného integrovaného obvodu (Design Under ...
  • Generátor změn obrazu burzy 

    Cienciala, Ondřej
    Tento dokument analyzuje zprávy zasílané burzami NYSE Arca a ISE a popisuje návrh generátoru, který generuje zprávy měnící obraz burzy. Lze ho využít pro testování programů, které pracují s informacemi zasílanými elektronickými ...
  • Metody akcelerace verifikace logických obvodů 

    Zachariášová, Marcela
    Při vývoji současných číslicových systémů, např. vestavěných systému a počítačového hardware, je nutné hledat postupy, jak zvýšit jejich spolehlivost. Jednou z možností je zvyšování efektivity a rychlosti verifikačních ...