Ｔｅｃｈ−Ｏｎ！Ｒａｎｋｉｎｇ［ＥＤＡ］〜「サクッと書いてサクッと検証」富士通九州がＣａｄｅｎｃｅの形式検証を評価
日経マイクロデバイス 第267号 2007.9.1
| 掲載誌 | 日経マイクロデバイス 第267号（2007.9.1） |
|---|---|
| ページ数 | 1ページ （全353字） |
| 形式 | PDFファイル形式 （299kb） |
| 雑誌掲載位置 | 105ページ目 |
富士通九州ネットワークテクノロジーズは，米Ｃａｄｅｎｃｅ Ｄｅｓｉｇｎ Ｓｙｓｔｅｍｓ， Ｉｎｃ．のフォーマル・ベリファイア「Ｉｎｃｉｓｉｖｅ Ｆｏｒｍａｌ Ｖｅｒｉｆｉｅｒ（ＩＦＶ）」を使った検証事例を「ＤＡ ＳＨＯＷ／ＣＤＮＬｉｖｅ！ Ｊａｐａｎ ２００７」で発表した。富士通九州 第１開発統括部 ユビキタス研究部の由利英介氏によると，これまでに九つのプロジェクトでＩＦＶを適用した。同氏は，「…
記事の購入（ダウンロード）
購入には会員登録が必要です 会員登録はこちら
価格 330円（税込）
他のIDで購入する
G-Search ミッケ！は雑誌を記事ごとに販売するサービスです。
この記事は「1ページ（全353字）」です。ご購入の前に記事の内容と文字数をお確かめください。
（注）特集のトビラ、タイトルページなど、図案が中心のページもございます。
Ｔｅｃｈ−Ｏｎ！Ｒａｎｋｉｎｇ［ＥＤＡ］〜２００７年上期の半導体の世界売上高価格下落で前年比２．１％増に
Ｔｅｃｈ−Ｏｎ！Ｒａｎｋｉｎｇ［ＥＤＡ］〜Ｃａｄｅｎｃｅが新設計手法論理設計とレイアウト設計の間の手戻りを削減
Ｔｅｃｈ−Ｏｎ！Ｒａｎｋｉｎｇ［ＥＤＡ］〜「コスト１／３で処理性能も向上」日本ＴＩがアナ─デジ混在チップ用ＥＤＡを乗り換え
Ｔｅｃｈ−Ｏｎ！Ｒａｎｋｉｎｇ［ＥＤＡ］〜ＩＰコア標準化機関のＶＳＩＡ活動停止へ
Ｎｅｗ Ｐｒｏｄｕｃｔｓ 数十μｍ厚の薄いウエーハに対応〜数十μｍ厚の薄いウエーハに対応
