システムLSI設計自動化技術の基礎 : パブリックドメインツールの利用法
Author(s)
Bibliographic Information
システムLSI設計自動化技術の基礎 : パブリックドメインツールの利用法
培風館, 2005.12
- Other Title
-
システムLSI設計自動化技術の基礎 : パブリックドメインツールの利用法
- Title Transcription
-
システム LSI セッケイ ジドウカ ギジュツ ノ キソ : パブリック ドメイン ツール ノ リヨウホウ
Available at / 64 libraries
-
No Libraries matched.
- Remove all filters.
Search this Book/Journal
Note
監修: VDEC
参考文献: p141-143
Description and Table of Contents
Description
本書は電子系ＣＡＤのうち、論理設計、システム設計でよく利用されているパブリックツールについて、その機能の概要、ダウンロード・インストールの仕方、簡単な使い方をまとめたものである。システム設計、論理合成、形式的論理検証、および基本ツール関係の諸ツールを紹介している。システム設計関係では、システム設計言語であるＳｐｅｃＣと計算機アーキテクチャ設計の評価のツールを、論理合成関係では、積和形論理式最小化と一般の多段論理式最小化、さらに非同期回路の自動合成ツールを紹介する。形式論理検証関係では、順序回路の性質を調べるツールを、基本ツール関係では、各種論理式の効率的操作手段や時相論理関係のツールを紹介している。
Table of Contents
- システム設計関連ツール（ＳｐｅｃＣリファレンスコンパイラ；ＳｉｍｐｌｅＳｃａｌａｒ Ｔｏｏｌ Ｓｅｔ）
- 論理合成関連ツール（多段論理合成ツールＳＩＳ；多値二段論理最小化ツールＥＳＰＲＥＳＳＯ‐ＭＶ ほか）
- 形式的検証関連ツール（順序回路検証ツールＳＭＶ；ＣＵＤＤ）
- 基本ツール（Ｃｈａｆｆ；論理妥当性判定ツールＣＶＣ ほか）
by "BOOK database"