Αποστολή με SMS: Equivalence Checking of Digital Circuits