https://bookem.ir/books/770211-Automating-Design-of-Computer-Systems