システムLSI設計自動化技術の基礎 : パブリックドメインツールの利用法
著者
書誌事項
システムLSI設計自動化技術の基礎 : パブリックドメインツールの利用法
培風館, 2005.12
- タイトル別名
-
システムLSI設計自動化技術の基礎 : パブリックドメインツールの利用法
- タイトル読み
-
システム LSI セッケイ ジドウカ ギジュツ ノ キソ : パブリック ドメイン ツール ノ リヨウホウ
大学図書館所蔵 件 / 全64件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
この図書・雑誌をさがす
注記
監修: VDEC
参考文献: p141-143
内容説明・目次
内容説明
本書は電子系CADのうち、論理設計、システム設計でよく利用されているパブリックツールについて、その機能の概要、ダウンロード・インストールの仕方、簡単な使い方をまとめたものである。システム設計、論理合成、形式的論理検証、および基本ツール関係の諸ツールを紹介している。システム設計関係では、システム設計言語であるSpecCと計算機アーキテクチャ設計の評価のツールを、論理合成関係では、積和形論理式最小化と一般の多段論理式最小化、さらに非同期回路の自動合成ツールを紹介する。形式論理検証関係では、順序回路の性質を調べるツールを、基本ツール関係では、各種論理式の効率的操作手段や時相論理関係のツールを紹介している。
目次
- システム設計関連ツール(SpecCリファレンスコンパイラ;SimpleScalar Tool Set)
- 論理合成関連ツール(多段論理合成ツールSIS;多値二段論理最小化ツールESPRESSO‐MV ほか)
- 形式的検証関連ツール(順序回路検証ツールSMV;CUDD)
- 基本ツール(Chaff;論理妥当性判定ツールCVC ほか)
「BOOKデータベース」 より