Text this: Equivalence Checking of Digital Circuits