Ing. Aleš Smrčka, Ph.D.

2014HADES (Hazard Detection System), software, 2014
Authors: Charvát Lukáš, Smrčka Aleš, Vojnar Tomáš
2010Framework for Formal Verification of Clock Domain Crossing, software, 2010
Authors: Smrčka Aleš, Vojnar Tomáš
2009Clock Domain Crossing Analyzer, software, 2009
Authors: Smrčka Aleš
 FAST to ARMC Translator, software, 2009
Authors: Smrčka Aleš
2007Translator of VHDL Design to Counter Automaton, software, 2007
Authors: Smrčka Aleš, Vojnar Tomáš

Your IPv4 address: 54.198.246.116
Switch to IPv6 connection

DNSSEC [dnssec]