Random testing of digital circuits Theory and application - David lhRene