「第1章 基本設計制約」 「第2章 RTL記述テクニック」 「第3章 RTL設計手法」 「第4章 検証のテクニック」 付録 「A-5 Design Compilerによる論理合成」 「A-6 Encounter RTL Compilerによる論理合成」 (VerilogHDL編のみ)「A-7 アサーションの各種演算子」