https://bookem.ir/books/1741455-Formal-verification-of-circuits