Digital Logic Testing and Simulation