Now showing items 1-4 of 4

  • Metodika vkládání kontrolních prvků do číslicového systému 

    Bartl, Michal
    Problematika popisovaná a řešená v této diplomové práci zapadá tématicky do oblasti testování číslicových obvodů. Jsou v ní vysvětleny základní pojmy jako spolehlivost, řiditelnost, pozorovatelnost a testovatelnost obvodu. ...
  • Metodologie pro návrh číslicových obvodů se zvýšenou spolehlivostí 

    Straka, Martin
    Práce představuje alternativní metodiku k již existujícím technikám pro návrh číslicových systémů se zvýšenou spolehlivostí implementovaných do obvodů FPGA a doplňuje některé nové vlastnosti při realizaci a testování těchto ...
  • Polymorfní samočinně testovatelné obvody 

    Mazuch, Martin
    Táto diplomová práca sa zaoberá problematikou návrhu samočinne testovateľných polymorfných obvodov. Pojednáva o konvenčnom návrhu spoľahlivých a samočinne kontrolovaných obvodov, predstavujúc základné techniky a metódy ich ...
  • Statická analýza zdrojového kódu jazyka CodAL 

    Fajčík, Martin
    Cílem této bakalářské práce je návrh a implementace rozšíření editorů jazyka CodAL v oblasti statické analýzy zdrojového kódu tohoto jazyka a návrhu jeho automatických oprav. Tato forma analýzy je vhodná například pro ...