Products
-
2023
Network application tester based on fault-injection, software, 2023
Authors: ROZSÍVAL, M.; SMRČKA, A. -
2014
HADES - Hazard Detection System, software, 2014
Authors: CHARVÁT, L.; SMRČKA, A.; VOJNAR, T. -
2010
Framework for Formal Verification of Clock Domain Crossing, software, 2010
Authors: SMRČKA, A.; VOJNAR, T. -
2009
Clock Domain Crossing Analyzer, software, 2009
Authors: SMRČKA, A.FAST to ARMC Translator, software, 2009
Authors: SMRČKA, A. -
2007
Translator of VHDL Design to Counter Automaton, software, 2007
Authors: SMRČKA, A.; VOJNAR, T.