https://bookem.ir/books/2147851-Correct-Hardware-Design-And-Verification-Methods