Text this: Equivalence checking of digital circuits :