Title: Random Testing of Digital Circuits