Aleš Smrčka

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.