LSI設計入門
【第2版】 6.形式検証
第2版では、形式検証も追加した。LSIの大規模化が進んでも設計期間の短縮が必須のため、ダイナミック検証をできるだけ省略して形式検証を行うのが一般的である。形式検証でも等価性検証が多用されており、ゲート対ゲートだったのがゲート対RTLに広がり、さらに拡大している。
2010.08.28 Saturday
第4章 システムLSIの設計
comments(0)
trackbacks(0)
by
takuo3
0
【第2版】 5.非同期検証
現在では、RTLでの非同期検証とゲートレベルでの論理での非同期検証と2段階で行うことが多い。
2010.08.28 Saturday
第4章 システムLSIの設計
comments(0)
trackbacks(0)
by
takuo3
0
【第2版】 4.テスト容易化設計
2010.08.27 Friday
第4章 システムLSIの設計
comments(0)
trackbacks(0)
by
takuo3
0
【第2版】 3.タイミング検証
2010.08.27 Friday
第4章 システムLSIの設計
comments(0)
trackbacks(0)
by
takuo3
0
【第2版】 2.論理合成
第1版では追加資料として挙げていましたが、正式に章の中に組み込みました。それも設計フローに合わせて最初の方に持ってきました。論理合成はDesignCompilerなどのEDAツールで行なうのですが、そこには最適な合成を行なうためのノウハウがあり合成規約などをうまく作成しないと、チップサイズに影響するので重要項目です。
2010.08.26 Thursday
第4章 システムLSIの設計
comments(0)
trackbacks(0)
by
takuo3
0
【第2版】 1.システムLSIの設計フロー
やっと「第4章 システムLSIの設計」になります。まず、システムLSIの設計フロー全体の概要を説明します。個別の詳細は後の章で順次していきます。
2010.08.26 Thursday
第4章 システムLSIの設計
comments(0)
trackbacks(0)
by
takuo3
0
「論理合成」を追加
当初には記載していなかった論理合成について、合成制約とDCの実行手順などさらに詳しいこと記載しました。これは追加なので本編には含んでおりません。現在、「5.形式検証」をまとめているので。「論理合成」は6.
にしました。「形式検証」がうまくまとまらなければ、繰り上げるかもしれません。
2010.01.13 Wednesday
第4章 システムLSIの設計
comments(0)
trackbacks(0)
by
takuo3
0
第4章 4.非同期検証
最近のLSIは大規模になって、クロックドメインが多くなりLSI内を数十種類のクロック線が走ることも多くなりました。当然、信号線が乗り換える時には同期化してから接続するのですが、これを怠るとトラブルの原因になり、非同期検証は必須となります。基本的には、RTLでのチェックと構造チェックの2段階になりますが、まだ、ツールの完成度は100%ではなく、技術者のチェックも必要です。
2010.01.11 Monday
第4章 システムLSIの設計
comments(0)
trackbacks(0)
by
takuo3
0
第4章 3.タイミング検証(STA)
ゲート遅延よりも配線遅延が大きくなって久しいが、今もってLSI設計ではタイミングの最適化は苦労が多い工程であることにはかわりない。
2010.01.08 Friday
第4章 システムLSIの設計
comments(0)
trackbacks(0)
by
takuo3
0
第4章 2.テスト容易化設計(DFT)
LSIも大規模がどんどん進みにテスト時間とテスト品質をバランスよく設計しないとコストに影響するため、テスト容易化設計(DFT)が重要となった。今ではSCANやメモリBISTは当たり前となってきた。さらに、遅延やAC特性の選別のために苦労しているのが現状である。
2010.01.07 Thursday
第4章 システムLSIの設計
comments(0)
trackbacks(0)
by
takuo3
0
1
2
>|
next>>
このページの先頭へ▲
カレンダ
日
月
火
水
木
金
土
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
<<
March 2024
>>
新着記事
【第2版】 6.形式検証
(08/28)
【第2版】 5.非同期検証
(08/28)
【第2版】 4.テスト容易化設計
(08/27)
【第2版】 3.タイミング検証
(08/27)
【第2版】 2.論理合成
(08/26)
【第2版】 1.システムLSIの設計フロー
(08/26)
「論理合成」を追加
(01/13)
第4章 4.非同期検証
(01/11)
第4章 3.タイミング検証(STA)
(01/08)
第4章 2.テスト容易化設計(DFT)
(01/07)
カテゴリー別
01 まえがき
(2)
01_目次・索引
(16)
第1章 半導体物性とデバイス特性
(10)
第2章 アナログ設計
(11)
第3章 デジタル設計
(10)
第4章 システムLSIの設計
(11)
第5章 レイアウト設計
(12)
第6章 システムLSIの製造
(6)
第7章 開発環境
(5)
第8章 開発ツール
(6)
第9章 測定器とノイズ
(8)
第10章 品質と信頼性
(4)
第11章 知的財産
(2)
参考資料
(4)
00 製本のやり方
(5)
00_電子書籍
(4)
半導体関連
(2)
月別(ツリー構造)
2012年
2012年04月
(1)
2012年01月
(2)
2011年
2011年08月
(1)
2011年05月
(1)
2011年03月
(1)
2011年02月
(1)
2011年01月
(1)
2010年
2010年12月
(1)
2010年11月
(1)
2010年10月
(1)
2010年09月
(16)
2010年08月
(36)
2010年05月
(1)
2010年03月
(1)
2010年02月
(10)
2010年01月
(20)
2009年
2009年12月
(19)
2009年11月
(6)
サンプル(PDF)
【第1版】
まえがき・目次
第1章 半導体物性とデバイス特性
第2章 アナログ設計
第3章 デジタル設計
第4章 システムLSIの設計
第5章 レイアウト設計
第6章 システムLSIの製造
第7章 開発環境
第8章 開発ツール
第9章 測定器とノイズ
第10章 品質と信頼性
第11章 知的財産
参考文献と索引
【第2版】
まえがき・目次
第1章 半導体物性とデバイス特性
第2章 アナログ設計
第3章 デジタル設計
第4章 システムLSIの設計
第5章 レイアウト設計
第6章 システムLSIの製造
第7章 開発環境
第8章 開発ツール
第9章 測定器とノイズ
第10章 品質と信頼性
第11章 知的財産
参考文献と索引
【全編(第2版)】
全編(PDFファイル18MB)
〔パスワード保護〕
【付録】
付録 ドキュメント作成
付録 プレゼンテーション作成
コメント一覧
第2版全編のサンプルを用意
⇒
管理人 (10/18)
第2版全編のサンプルを用意
⇒
Suzuki (10/18)
第2版全編のサンプルを用意
⇒
管理人 (08/08)
第2版全編のサンプルを用意
⇒
Sugiyama (08/07)
第2版全編のサンプルを用意
⇒
管理人 (07/25)
第2版全編のサンプルを用意
⇒
ishikawa (07/24)
第2版全編のサンプルを用意
⇒
管理人 (03/26)
第2版全編のサンプルを用意
⇒
emori (03/25)
第2版全編のサンプルを用意
⇒
管理人 (01/18)
第2版全編のサンプルを用意
⇒
TI (01/18)
サイト内検索
参考URL一覧
理論一般
半導体/電子デバイス物理
CMOSアナログ設計
PLL回路
デジタル回路基礎
HDL入門
Verilog-HDL入門
VHDL入門
SystemVerilogマニュアル(PDF)
UNIX入門
Perl入門
ISE 10.1 マニュアル(PDF)
Quartus II マニュアル(PDF)
PSpice入門
オシロスコープ入門
品質/信頼性ハンドブック(PDF)
知的財産権(特許庁)
初心者のための半導体入門
半導体が出来るまで
バーチャル工場見学
LSI開発ものがたり
推薦図書
RTL設計スタイルガイド Verilog HDL編―LSI設計の基本
(JUGEMレビュー »)
推薦図書
RTL設計スタイルガイド VHDL編―LSI設計の基本
(JUGEMレビュー »)
推薦図書
入門技術解説 半導体の基礎理論
(JUGEMレビュー »)
堀田 厚生
推薦図書
LSI設計のためのCMOSアナログ回路入門 (半導体シリーズ)
(JUGEMレビュー »)
谷口 研二
推薦図書
アナログCMOS集積回路の設計 基礎編
(JUGEMレビュー »)
Behzad Razavi,黒田 忠広
推薦図書
(JUGEMレビュー »)
推薦図書
アナログCMOS集積回路の設計 演習編
(JUGEMレビュー »)
推薦図書
A/D・D/A変換回路入門
(JUGEMレビュー »)
相良 岩男
推薦図書
Verilog‐HDLによる論理合成の基礎―合成に向いたコーディングを考える
(JUGEMレビュー »)
枝 均
推薦図書
入門Verilog HDL記述―ハードウェア記述言語の速習&実践 (Design wave basic)
(JUGEMレビュー »)
小林 優
推薦図書
VHDLによるマイクロプロセッサ設計入門―パソコンによるシミュレーションから論理合成、配置配線まで (Design Wave Booksシリーズ)
(JUGEMレビュー »)
仲野 巧
推薦図書
VHDLによる論理合成の基礎―合成に向いたコーディングを考える
(JUGEMレビュー »)
枝 均
推薦図書
SystemVerilog設計スタートアップ―VerilogからSystemVerilogへステップアップするための第一歩 (Design Wave Advanceシリーズ)
(JUGEMレビュー »)
推薦図書
SystemVerilogによるLSI設計
(JUGEMレビュー »)
Stuart Sutherland,Peter Flake,Simon Davidmann
推薦図書
PSpiceで学ぶ電子回路設計入門―電子回路シミュレータPSpiceを使いこなす
(JUGEMレビュー »)
堀 桂太郎
推薦図書
たのしいUNIX―UNIXへの招待 (Ascii books)
(JUGEMレビュー »)
坂本 文
推薦図書
続・たのしいUNIX―シェルへの招待 (Ascii books)
(JUGEMレビュー »)
坂本 文
推薦図書
「分かりやすい文章」の技術 (ブルーバックス)
(JUGEMレビュー »)
藤沢 晃治
推薦図書
「分かりやすい表現」の技術―意図を正しく伝えるための16のルール (ブルーバックス)
(JUGEMレビュー »)
藤沢 晃治
プロファイル
takuo3
管理者用
管理者ページ
このブログを携帯で読む
powered