Seol mar théacs é seo: Verifying digital systems with MATLAB