Email Record: Random testing of digital circuits :