Verilog入門書は？

　今年もよろしくお願いします。RZ-1は長い正月休みだったため、話題もなくブログの更新をサボっていました。今年はペースダウンしそうな状況です。

　図書館や本屋でいろいろ調べたVerilog関係の書籍について

　①意外と入門書としていいものがありませんでした。この１冊かな。

　入門Verilog HDL記述―ハードウェア記述言語の速習&実践
　　小林優

　②論理合成のVerilogを書くのであれば、やはり、この１冊でしょう。
　　Verilog‐HDLによる論理合成の基礎
　　―合成に向いたコーディングを考える　　枝均

　③最終的には、Verilog設計者はSTARCでまとめた『設計スタイルガイド』Verilog編に行き着くということでしょうか。