<図書>
システムLSI設計自動化技術の基礎 : パブリックドメインツールの利用法
システム LSI セッケイ ジドウカ ギジュツ ノ キソ : パブリック ドメイン ツール ノ リヨウホウ
責任表示 | 浅田邦博, 藤田昌宏共編 |
---|---|
データ種別 | 図書 |
出版者 | 東京 : 培風館 |
出版年 | 2005.12 |
本文言語 | 日本語 |
大きさ | v, 147p : 挿図 ; 27cm |
概要 | 本書は電子系CADのうち、論理設計、システム設計でよく利用されているパブリックツールについて、その機能の概要、ダウンロード・インストールの仕方、簡単な使い方をまとめたものである。システム設計、論理合成、形式的論理検証、および基本ツール関係の諸ツールを紹介している。システム設計関係では、システム設計言語であるSpecCと計算機アーキテクチャ設計の評価のツールを、論理合成関係では、積和形論理式最小化と...般の多段論理式最小化、さらに非同期回路の自動合成ツールを紹介する。形式論理検証関係では、順序回路の性質を調べるツールを、基本ツール関係では、各種論理式の効率的操作手段や時相論理関係のツールを紹介している。続きを見る |
目次 | システム設計関連ツール(SpecCリファレンスコンパイラ SimpleScalar Tool Set) 論理合成関連ツール(多段論理合成ツールSIS 多値二段論理最小化ツールESPRESSO‐MV ほか) 形式的検証関連ツール(順序回路検証ツールSMV CUDD) 基本ツール(Chaff 論理妥当性判定ツールCVC ほか) |
所蔵情報
状態 | 巻次 | 所蔵場所 | 請求記号 | 刷年 | 文庫名称 | 資料番号 | コメント | 予約・取寄 | 複写申込 | 自動書庫 |
---|---|---|---|---|---|---|---|---|---|---|
|
理系図2F 開架 | 549.7/A 81 | 2005 |
|
010112010012922 |
|
||||
|
理系図2F 開架 | 549.7/A 81 | 2005 |
|
026112005001603 |
|