Digital logic testing and simulation. - Miczo, Alexander