Mixed-Signal Verification with MATLAB & Simulink