システムLSI設計自動化技術の基礎 : パブリックドメインツールの利用法
Author(s)
Bibliographic Information
システムLSI設計自動化技術の基礎 : パブリックドメインツールの利用法
培風館, 2005.12
- Other Title
-
システムLSI設計自動化技術の基礎 : パブリックドメインツールの利用法
- Title Transcription
-
システム LSI セッケイ ジドウカ ギジュツ ノ キソ : パブリック ドメイン ツール ノ リヨウホウ
Available at 64 libraries
  Aomori
  Iwate
  Miyagi
  Akita
  Yamagata
  Fukushima
  Ibaraki
  Tochigi
  Gunma
  Saitama
  Chiba
  Tokyo
  Kanagawa
  Niigata
  Toyama
  Ishikawa
  Fukui
  Yamanashi
  Nagano
  Gifu
  Shizuoka
  Aichi
  Mie
  Shiga
  Kyoto
  Osaka
  Hyogo
  Nara
  Wakayama
  Tottori
  Shimane
  Okayama
  Hiroshima
  Yamaguchi
  Tokushima
  Kagawa
  Ehime
  Kochi
  Fukuoka
  Saga
  Nagasaki
  Kumamoto
  Oita
  Miyazaki
  Kagoshima
  Okinawa
  Korea
  China
  Thailand
  United Kingdom
  Germany
  Switzerland
  France
  Belgium
  Netherlands
  Sweden
  Norway
  United States of America
Search this Book/Journal
Note
監修: VDEC
参考文献: p141-143
Description and Table of Contents
Description
本書は電子系CADのうち、論理設計、システム設計でよく利用されているパブリックツールについて、その機能の概要、ダウンロード・インストールの仕方、簡単な使い方をまとめたものである。システム設計、論理合成、形式的論理検証、および基本ツール関係の諸ツールを紹介している。システム設計関係では、システム設計言語であるSpecCと計算機アーキテクチャ設計の評価のツールを、論理合成関係では、積和形論理式最小化と一般の多段論理式最小化、さらに非同期回路の自動合成ツールを紹介する。形式論理検証関係では、順序回路の性質を調べるツールを、基本ツール関係では、各種論理式の効率的操作手段や時相論理関係のツールを紹介している。
Table of Contents
- システム設計関連ツール(SpecCリファレンスコンパイラ;SimpleScalar Tool Set)
- 論理合成関連ツール(多段論理合成ツールSIS;多値二段論理最小化ツールESPRESSO‐MV ほか)
- 形式的検証関連ツール(順序回路検証ツールSMV;CUDD)
- 基本ツール(Chaff;論理妥当性判定ツールCVC ほか)
by "BOOK database"