549書誌情報SystemVerilogによるモデリングと論理合成 = RTL Modeling and Logic Synthesis with SystemVerilog : ハードウェア記述言語による回路設計の基礎著者篠塚一也 著出版社共立出版出版年2026年ISBN9784320125926分類549 電子工学国立国会図書館サーチで確認する