Anfonwch hwn fel neges destun: Verifying digital systems with MATLAB