https://bookem.ir/books/1730581-Logic-synthesis-and-verification-algorithms