Email Record: Equivalence checking of digital circuits :