資料詳細

  • 1 件中、 1 件目

【図書】 システムＬＳＩ設計自動化技術の基礎

パブリックドメインツールの利用法 --
浅田邦博 ／共編, 藤田昌宏 ／共編, ＶＤＥＣ ／監修   -- 培風館 -- ２００５．１２ -- ２７ｃｍ -- １４７ｐ

資料詳細

タイトル システムＬＳＩ設計自動化技術の基礎
副書名 パブリックドメインツールの利用法
著者名等 浅田邦博 ／共編, 藤田昌宏 ／共編, ＶＤＥＣ ／監修  
出版 培風館 ２００５．１２
大きさ等 ２７ｃｍ １４７ｐ
分類 549.7
件名 集積回路
注記 文献あり　索引あり
要旨 本書は電子系ＣＡＤのうち、論理設計、システム設計でよく利用されているパブリックツールについて、その機能の概要、ダウンロード・インストールの仕方、簡単な使い方をまとめたものである。システム設計、論理合成、形式的論理検証、および基本ツール関係の諸ツールを紹介している。システム設計関係では、システム設計言語であるＳｐｅｃＣと計算機アーキテクチャ設計の評価のツールを、論理合成関係では、積和形論理式最小化と一般の多段論理式最小化、さらに非同期回路の自動合成ツールを紹介する。形式論理検証関係では、順序回路の性質を調べるツールを、基本ツール関係では、各種論理式の効率的操作手段や時相論理関係のツールを紹介している。
目次 システム設計関連ツール（ＳｐｅｃＣリファレンスコンパイラ；ＳｉｍｐｌｅＳｃａｌａｒ　Ｔｏｏｌ　Ｓｅｔ）；論理合成関連ツール（多段論理合成ツールＳＩＳ；多値二段論理最小化ツールＥＳＰＲＥＳＳＯ‐ＭＶ　ほか）；形式的検証関連ツール（順序回路検証ツールＳＭＶ；ＣＵＤＤ）；基本ツール（Ｃｈａｆｆ；論理妥当性判定ツールＣＶＣ　ほか）
ISBN(13)、ISBN 　　 4-563-06755-5
書誌番号 1105094182
URL https://opac.lib.city.yokohama.lg.jp/winj/opac/switch-detail.do?bibid=1105094182

ページの先頭へ

所蔵

所蔵は 1 件です。現在の予約件数は 0 件です。

所蔵館 所蔵場所 別置 請求記号 資料区分 状態 取扱 資料コード
中央 ４階自然科学 Map 549.7 一般書 利用可 - 2036432236 iLisvirtual

ページの先頭へ