Pentium(R) Pro SMP Bridge Chip Set大規模論理検証技術
スポンサーリンク
概要
- 論文の詳細を見る
Pentium Pro 及び周辺チップセットをグルーロジックなしに最大16CPUのSMP(対称型マルチプロセッサ)構成を可能とするSMP制御LSIを開発した。このLSIは,MESI制御の3次キャッシュメモリを持ち、複数のCPU内蔵のキャッシュメモリと主記憶間のデータのコヒーレンシー制御を行う。つまり、計算機システムとしての動作確認が重要となる。そのために、今回のLSI開発には、システムレベルの大規模論理検証を適用した。本稿では、大規模論理検証を行う上での技術的課題とその解決方法について報告する。
- 一般社団法人情報処理学会の論文
- 1996-09-04
著者
関連論文
- CBS-1-6 UHF帯RFIDの課題と対策(7) : バッテリー駆動電子タグ用RF回路(CBS-1.無線電力伝送-RFIDから宇宙太陽発電まで,シンポジウム)
- 1チップマイクロコンピュータM16の開発(1) : ハードウェア記述言語を駆使した機能設計
- CBS-1-6 UHF帯RFIDの課題と対策(7) : バッテリー駆動電子タグ用RF回路(CBS-1.無線電力伝送-RFIDから宇宙太陽発電まで,シンポジウム)
- A-3-2 多重イベント大規模論理検証技術(2) : 多重イベント定義手法(A-3. VLSI設計技術,一般セッション)
- テストケース自動生成ツール「Mirage」による1チップCPUプロセッサの機能検証
- B-5-110 UHF帯RFID干渉回避策に関する検討(4) : RFIDリーダライタ機能検証機(B-5. 無線通信システムA(移動通信), 通信1)
- B-5-109 UHF帯RFID干渉回避策に関する検討(3) : 予備実験報告(B-5. 無線通信システムA(移動通信), 通信1)
- 汎用マイクロプログラミングツールによる1チップCPUプロセッサのマイクロプログラム開発
- A-3-3 多重イベント大規模論理検証技術(3) : 多重イベント生成手法(A-3. VLSI設計技術,一般セッション)
- A-3-1 多重イベント大規模論理検証技術(1) : 多重イベント検証方式(A-3. VLSI設計技術,一般セッション)
- A-20-3 UHF帯RFIDシステムにおける通信最適化方式の検討(A-20. スマートインフォメディアシステム,一般セッション)
- B-7-126 多段階LBTによる近接システム間干渉回避方式の実証(B-7.情報ネットワーク,一般講演)
- A-20-2 中距離RFIDセンシング情報結合技術(A-20.スマートインフォメディアシステム,一般講演)
- B-5-15 UHF帯RFIDの課題と対策(3) : リアルタイム化への方式検討(B-5.無線通信システムA(移動通信),一般講演)
- B-5-14 UHF帯RFIDの課題と対策(2) : 高速移動体への適用検討(B-5.無線通信システムA(移動通信),一般講演)
- B-5-13 UHF帯RFIDの課題と対策(1) : RFIDシステム普及への課題と取り組み(B-5.無線通信システムA(移動通信),一般講演)
- AS-3-13 タイムスロット方式における輻輳制御アルゴリズムに関する検討(AS-3.将来ライフを拓くユビキタス技術(1)-RFID(ICカード・ICタグ)技術-,シンポジウム)
- AS-3-5 UHF帯RFIDにおけるセキュリティ対策(AS-3.将来ライフを拓くユビキタス技術(1)-RFID(ICカード・ICタグ)技術-,シンポジウム)
- B-5-16 UHF帯RFIDの課題と対策(4) : リーダ/ライタ装置・電子タグ間干渉の回避策検討(B-5.無線通信システムA(移動通信),一般講演)
- D-6-4 組込み向け命令コード最適配置方法について(D-6.コンピュータシステムA(アーキテクチャ),一般セッション)
- A-3-1 非破壊型高速DMA方式(A-3.VLSI設計技術,一般セッション)
- Windows NT/UNIX融合環境における論理検証負荷の分散
- Pentium(R) Pro SMP Bridge Chip Set大規模論理検証技術
- C-12-16 非破壊型高速多量DMA方式実装化の検討(C-12.集積回路,一般セッション)
- D-6-1 組込み向けデータ配置最適化の評価手法について(D-6.コンピュータシステムA(アーキテクチャ),一般セッション)