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