第１章ハードウエアを記述するということ
- １．１ディジタルシステム設計のフロー
- １．２ハードウエア記述言語を使うメリット
- １．３歴史的なＨＤＬの記述スタイル
- １．４ハンドシェイクの記述
- １．５静的オートマトン記述
- １．６高レベル自動設計
- １．７Ｃ言語によるシステム開発と設計
- 参考文献
第２章ＶｅｒｉｌｏｇＨＤＬの基本
- ２．１ＶｅｒｉｌｏｇＨＤＬはどのような言語か
- ２．２組合せ回路と順序回路
- ２．３レジスタ転送レベルの動作記述
- ２．４シミュレーション
- 参考文献
第３章命令解釈実行サイクルの記述
- ３．１命令の解釈実行
- ３．２ＣＩＳＣとＲＩＳＣ
- ３．３結線論理制御
- ３．４マイクロプログラム制御
- ３．５順序回路によるマイクロコードの生成ＨＭ２
- 参考文献
第４章パイプライン化
- ４．１時間並列とスループット
- ４．２予約表とスケジューリング
- ４．３命令解釈実行サイクルのパイプライン化
- ４．４データ依存関係とハザード
- 参考文献
第５章スーパースカラ
- ５．１空間並列の基本構成
- ５．２命令の発行
- ５．３インターロック
- 参考文献
第６章設計検証
- ６．１命題と述語
- ６．２部分正当性と停止性
- ６．３帰納的アサーション法
- ６．４停止性の証明
- 参考文献
付録
- Ａ．１ＶｅｒｉｌｏｇＨＤＬの規約
- Ａ．２ゲートレベルの構造記述
- Ａ．３シミュレーションについて
- Ａ．４記述例
- 参考文献