Text this: Verifying digital systems with MATLAB