SMS dit: Verifying digital systems with MATLAB