SMS versenden: Digital System Verification Using Simulation and Visualization