「論理回路の設計と形式的検証」（１）

第１章　論理関数・論理回路の基礎
第２章　２段組合せ回路の簡単化
第３，４章　多段組合せ回路の簡素化

「論理回路の設計と形式的検証」（２）

第５章　テクノロジマッピング
　　　　　ＦＰＧＡ用のテクノロジマッピング
第６章　多段組合せの回路の高速化

「論理回路の設計と形式的検証」（３）

第６章　組合せマージング
第７章　算術演算の基本
第８，９章　浮動小数点演算器 １，２

「論理回路の設計と形式的検証」（４）

第１０，１１章　算術演算の高速化１，２
第９章（補）　剰余系演算

「論理回路の設計と形式的検証」（５）

第１２章　論理回路の設計と形式的検証
第１２章（補）　大規模な組合せ回路の検証手法 
第１３章　プロパティチェッキング

「論理回路の設計と形式的検証」（６）

第１４章　プロパティチェッキング 
第１５章　算術演算回路の形式的検証