https://bookem.ir/books/3559829-Logic-Synthesis-for-Compositional-Microprogram-Control-Units