Stav dette: Verifying digital systems with MATLAB