Výzkumná skupina Spolehlivé číslicové systémy

2015

GPDRC: Řadič částečné dynamické rekonfigurace pro odolné architektury, software, 2015
Autoři: STRAKA, M.; KAŠTIL, J.

Nástroje pro generování odolných architektur a hlídacích obvodů z jazyka VHDL, software, 2015
Autoři: STRAKA, M.

2013

intMAN: Prioritně řízený a na monitorování a adaptaci na zatížení založený hardware pro správu přerušení ve vestavných událostmi řízených systémech reálného času, prototyp, 2013
Autoři: STRNADEL, J.; ŠIMEK, V.

2008

TASTE: Soubor prostředků pro analýzu testovatelnosti, software, 2008
Autoři: STRNADEL, J.

2007

Generátor testovacích obvodů na úrovni RTL, software, 2007
Autoři: PEČENKA, T.; KOTÁSEK, Z.

Nástroje pro rozdělení obvodu na RT úrovni na Testovatelné bloky, software, 2007
Autoři: HERRMAN, T.; KOTÁSEK, Z.

Sada nástrojů pro analýzu testovatelnosti obvodů na úrovni RTL, software, 2007
Autoři: ŠKARVADA, J.; KOTÁSEK, Z.