Random Testing of Digital Circuits door Neil David & Rene David