図書館で2冊借りてきた

なかなかの良書だと思う。
特にPart I理論編がとても良い。ブール代数の基礎、カルノー図・クワインマクラスキー法を使った論理圧縮、など内容が充実していてとても良い。Part II以降はかなりポイントを絞っていて演算回路とかはほとんど紹介されていない。

図解 ModelSim実習 ゼロからわかるディジタル回路シミュレーション

図解 ModelSim実習 ゼロからわかるディジタル回路シミュレーション

うーむ。ModelSimの英語のドキュメントを読むよりは良いかもしれない。