Ｉｎｓｉｄｅ ＬＳＩ〜Ｃ言語ベースのＬＳＩ設計を一気に効率化 論理機能の等価性検証ツールを開発
日経マイクロデバイス 第244号 2005.10.1
| 掲載誌 | 日経マイクロデバイス 第244号（2005.10.1） |
|---|---|
| ページ数 | 6ページ （全7777字） |
| 形式 | PDFファイル形式 （373kb） |
| 雑誌掲載位置 | 61〜66ページ目 |
ＬＳＩに搭載できる回路が１０００万ゲートを超える時代になり，Ｃ言語ベースの大規模論理の設計手法が注目を集めている。この設計手法では動作合成ツールを使うことになるが，これまでは動作合成前後の論理機能の等価性を効率よく検証する手段がなかった。米Ｃａｌｙｐｔｏ Ｄｅｓｉｇｎ Ｓｙｓｔｅｍｓ， Ｉｎｃ．の論理機能等価性検証ツールを用いることで，この検証が簡便に行えるようになる。Ｃ言語によるＬＳＩ設計が一気…
記事の購入（ダウンロード）
購入には会員登録が必要です 会員登録はこちら
価格 550円（税込）
他のIDで購入する
G-Search ミッケ！は雑誌を記事ごとに販売するサービスです。
この記事は「6ページ（全7777字）」です。ご購入の前に記事の内容と文字数をお確かめください。
（注）特集のトビラ、タイトルページなど、図案が中心のページもございます。
Ｃｏｖｅｒ Ｓｔｏｒｙ 時間を買う，次の技術開発のあり方〜ＩＭＥＣ● 独自の裁量で開発テーマを選定
Ｓｐｅｃｉａｌ Ｆｅａｔｕｒｅ 日本再生への提言 連載（２）●技術論〜連載（２）●技術論 半導体業界の定説を検証 「日本は技術の的を外している」
Ｉｎｓｉｄｅ ＦＰＤ〜ＦＰＤ画質ベンチマーク １型＝１万円への低価格化と ＦＰＤテレビの高画質化を両立
Ｉｎｓｉｄｅ Ｎｅｗ Ｔｅｃｈｎｏｌｏｇｙ〜ＭＥＭＳセンサーが変える 携帯電話機のユーザー・インタフェース
つわものＳｏＣ列伝 １〜キヤノンのビデオ・カメラ用「ＤＩＧＩＣ ＤＶ」 仕様変更に強いアーキテクチャに仕立てる
