システムLSI設計自動化技術の基礎 : パブリックドメインツールの利用法
著者
書誌事項
システムLSI設計自動化技術の基礎 : パブリックドメインツールの利用法
培風館, 2005.12
- タイトル別名
-
システムLSI設計自動化技術の基礎 : パブリックドメインツールの利用法
- タイトル読み
-
システム LSI セッケイ ジドウカ ギジュツ ノ キソ : パブリック ドメイン ツール ノ リヨウホウ
大学図書館所蔵 全64件
  青森
  岩手
  宮城
  秋田
  山形
  福島
  茨城
  栃木
  群馬
  埼玉
  千葉
  東京
  神奈川
  新潟
  富山
  石川
  福井
  山梨
  長野
  岐阜
  静岡
  愛知
  三重
  滋賀
  京都
  大阪
  兵庫
  奈良
  和歌山
  鳥取
  島根
  岡山
  広島
  山口
  徳島
  香川
  愛媛
  高知
  福岡
  佐賀
  長崎
  熊本
  大分
  宮崎
  鹿児島
  沖縄
  韓国
  中国
  タイ
  イギリス
  ドイツ
  スイス
  フランス
  ベルギー
  オランダ
  スウェーデン
  ノルウェー
  アメリカ
この図書・雑誌をさがす
注記
監修: VDEC
参考文献: p141-143
内容説明・目次
内容説明
本書は電子系CADのうち、論理設計、システム設計でよく利用されているパブリックツールについて、その機能の概要、ダウンロード・インストールの仕方、簡単な使い方をまとめたものである。システム設計、論理合成、形式的論理検証、および基本ツール関係の諸ツールを紹介している。システム設計関係では、システム設計言語であるSpecCと計算機アーキテクチャ設計の評価のツールを、論理合成関係では、積和形論理式最小化と一般の多段論理式最小化、さらに非同期回路の自動合成ツールを紹介する。形式論理検証関係では、順序回路の性質を調べるツールを、基本ツール関係では、各種論理式の効率的操作手段や時相論理関係のツールを紹介している。
目次
- システム設計関連ツール(SpecCリファレンスコンパイラ;SimpleScalar Tool Set)
- 論理合成関連ツール(多段論理合成ツールSIS;多値二段論理最小化ツールESPRESSO‐MV ほか)
- 形式的検証関連ツール(順序回路検証ツールSMV;CUDD)
- 基本ツール(Chaff;論理妥当性判定ツールCVC ほか)
「BOOKデータベース」 より