Random testing of digital circuits Theory & application - DavidlhRene