当日発送
送料無料

システムLSI設計自動化技術の基礎―パブリックドメインツールの利用法 [単行本]

ブランド:eiwGvIhg

お気に入りブランド

クチコミ評価4.9（32件）

販売価格：: ￥2540.00税込
獲得ポイント：: 532ポイント

商品がカートに追加されました

システムLSI設計自動化技術の基礎―パブリックドメインツールの利用法 [単行本]

販売価格：￥2540.00 税込

お買い物を続けるカートへ進む

在庫あり

※ 商品のお届けについてはこちらよりご確認ください。

SHOPPING が販売、発送いたします。

当日発送可 (14:00までのご注文が対象)

※
ご注文内容・出荷状況によっては当日発送できない場合もございます。
詳しくはこちらよりご確認ください。

利用可

※
ポストにお届け / 一点のみ購入でご利用可能です。
ゆうパケットでのお届けの場合はサンプル・ノベルティが対象外となります。
ゆうパケットには破損・紛失の保証はございません。
詳しくはこちらよりご確認ください。

商品の詳細

要旨（「BOOK」データベースより）

本書は電子系ＣＡＤのうち、論理設計、システム設計でよく利用されているパブリックツールについて、その機能の概要、ダウンロード・インストールの仕方、簡単な使い方をまとめたものである。システム設計、論理合成、形式的論理検証、および基本ツール関係の諸ツールを紹介している。システム設計関係では、システム設計言語であるＳｐｅｃＣと計算機アーキテクチャ設計の評価のツールを、論理合成関係では、積和形論理式最小化と一般の多段論理式最小化、さらに非同期回路の自動合成ツールを紹介する。形式論理検証関係では、順序回路の性質を調べるツールを、基本ツール関係では、各種論理式の効率的操作手段や時相論理関係のツールを紹介している。

目次（「BOOK」データベースより）

システム設計関連ツール（ＳｐｅｃＣリファレンスコンパイラ
ＳｉｍｐｌｅＳｃａｌａｒ　Ｔｏｏｌ　Ｓｅｔ）
論理合成関連ツール（多段論理合成ツールＳＩＳ
多値二段論理最小化ツールＥＳＰＲＥＳＳＯ‐ＭＶ　ほか）
形式的検証関連ツール（順序回路検証ツールＳＭＶ
ＣＵＤＤ）
基本ツール（Ｃｈａｆｆ
論理妥当性判定ツールＣＶＣ　ほか）

著者紹介（「BOOK著者紹介情報」より）（本データはこの書籍が刊行された当時に掲載されていたものです）

浅田邦博(アサダクニヒロ)
１９７５年東京大学工学部電子工学科卒。１９８０年東京大学大学院工学系研究科電子工学専門課程修了。工学博士。同大学講師、助教授、教授を経て、現職、東京大学大規模集積システム設計教育センター長教授

藤田昌宏(フジタマサヒロ)
１９８０年東京大学工学部電気工学科卒。１９８５年東京大学大学院工学系研究科情報工学専門課程修了。工学博士。富士通株式会社、米国富士通研究所を経て、２０００年東京大学大学院工学系研究科教授。現職、東京大学大規模集積システム設計教育センター教授