商品の詳細
要旨(「BOOK」データベースより)
本書は電子系CADのうち、論理設計、システム設計でよく利用されているパブリックツールについて、その機能の概要、ダウンロード・インストールの仕方、簡単な使い方をまとめたものである。システム設計、論理合成、形式的論理検証、および基本ツール関係の諸ツールを紹介している。システム設計関係では、システム設計言語であるSpecCと計算機アーキテクチャ設計の評価のツールを、論理合成関係では、積和形論理式最小化と一般の多段論理式最小化、さらに非同期回路の自動合成ツールを紹介する。形式論理検証関係では、順序回路の性質を調べるツールを、基本ツール関係では、各種論理式の効率的操作手段や時相論理関係のツールを紹介している。目次(「BOOK」データベースより)
システム設計関連ツール(SpecCリファレンスコンパイラSimpleScalar Tool Set)
論理合成関連ツール(多段論理合成ツールSIS
多値二段論理最小化ツールESPRESSO‐MV ほか)
形式的検証関連ツール(順序回路検証ツールSMV
CUDD)
基本ツール(Chaff
論理妥当性判定ツールCVC ほか)
著者紹介(「BOOK著者紹介情報」より)(本データはこの書籍が刊行された当時に掲載されていたものです)
浅田 邦博(アサダ クニヒロ)1975年東京大学工学部電子工学科卒。1980年東京大学大学院工学系研究科電子工学専門課程修了。工学博士。同大学講師、助教授、教授を経て、現職、東京大学大規模集積システム設計教育センター長教授
藤田 昌宏(フジタ マサヒロ)
1980年東京大学工学部電気工学科卒。1985年東京大学大学院工学系研究科情報工学専門課程修了。工学博士。富士通株式会社、米国富士通研究所を経て、2000年東京大学大学院工学系研究科教授。現職、東京大学大規模集積システム設計教育センター教授
商品の説明
FreeBSD ハンドブック
内藤電誠工業 LSI設計事業部の紹介
Cisco Unified Computing System 製品カタログ | PDF
デザインウェーブマガジン システムLSI開発を支えるEDA技術の最新動向(1)
Culture,Research,Industry \"Global Hub KYOTO\"/京都府ホームページ
ロジック設計(FPGA・カスタムLSI設計) | デジタル回路 | エッジ
最新のクチコミ
長年の 感動です‼️ 皆様も 是非 このコスパで この品質 お試しあれ‼️ 悲願でありました ワインセラーを ついに 購入しかも 32本収容‼️
- abc07699642
- クチコミ投稿 1件
購入品
最近は普通にスマートメディアが売ってませんからね〜(笑) スマートメディアの行く末は。。。(笑)
- IreIre
- クチコミ投稿 1件
購入品
8ヶ月の子供が廊下へのドアの前で居座る?為ドアが開けれなくなるのでドアの前へ行けないよう設置しました。ドア開閉時指を挟まない為に役立っています!開閉もしやすく設置も簡単でした。
- ありまま1117
- クチコミ投稿 1件
購入品
5ヶ月の孫に買いました 少し太ももが太いから、テーブルを毎回着脱させての作業は、手間がかかりますが、それほど、しっかり安定されるということです 是非オススメ5つ星です お座り椅子にも、お風呂の椅子にもなり、座らせると30分くらいアンパンマンたちを触ったり、眺めたり。時にはパクついたりして、遊んでくれます
- 抹茶ん2304
- クチコミ投稿 1件
購入品
急ぎで必要なときにはこの速達チケットが重宝します。ポストに投函ですから受け取りの時間帯を気にすることもなくていいですね!
- K清太郎
- クチコミ投稿 1件
購入品
薄い水色の無地Tシャツと、ミントグリーンのリネンワイドパンツの2点。 どちらも着心地が良く、当たりでした。
- ヌーベルイケチャンマン
- クチコミ投稿 1件
購入品
レディース・ヘアアクセサリー・その他キング
-
-
4
図説 体表解剖学 [単行本]
xLtdS5Y3
¥ 7150.00
-
5
源氏物語回廊(笠間書院) [電子書籍]
N6w8FZ3l
¥ 13160.00
-
6
つくし工房TS4 [コーンサインTS 「歩行者通路」]
c74KQJwN
¥ 1590.00
-
9
MOGU モグ雲に抱きつく夢枕 専用替カバー SWH
nfxOvLyA
¥ 3400.00
-
10
創筵 いぐさ JAPANNO.46 [拝敷 更沙 一帖]
exGngpUS
¥ 6540.00