Zaslat SMS: Verifying digital systems with MATLAB