μレポート[LSI設計]〜シミュレーションでは 見つけられないバグを 数分で特定する検証技術
日経マイクロデバイス 第208号 2002.10.1
掲載誌 | 日経マイクロデバイス 第208号(2002.10.1) |
---|---|
ページ数 | 2ページ (全2105字) |
形式 | PDFファイル形式 (91kb) |
雑誌掲載位置 | 37〜38ページ目 |
検証システムLSIEDAツール「論理シミュレーションでは見つけられないバグを数分で特定できる」。こうした新しい検証技術の効果が設計現場で見えてきた。プロパティ・チェックと呼ぶシミュレーションの補完技術である。これまでは問題が多いと考えられていたが,EDAツールの進化によって実際の設計に適用する事例が増えてきた。その一例として富士通ディジタル・テクノロジ(FDT)が具体的な効果を示している。 論理シ…
記事の購入(ダウンロード)
購入には会員登録が必要です 会員登録はこちら
価格 330円(税込)
他のIDで購入する
G-Search ミッケ!は雑誌を記事ごとに販売するサービスです。
この記事は「2ページ(全2105字)」です。ご購入の前に記事の内容と文字数をお確かめください。
(注)特集のトビラ、タイトルページなど、図案が中心のページもございます。