Invia SMS: Digital System Verification Using Simulation and Visualization