Now showing items 1-1 of 1

  • 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 ...