Title: Equivalence checking of digital circuits
Subjects: Digital electronics, Testing