digitallogictestingandsimulation