Text this: Random testing of digital circuits