SMS versenden: Nedeterministické algoritmy generovania testov pre VHDL modely