Random Testing of Digital Circuits by Neil David & Rene David