Wyślij wiadomość: Verifying digital systems with MATLAB