https://bookem.ir/books/1150590-Principles-of-Verifiable-Rtl-Design