Text this: Random Testing of Digital Circuits