Partially-Programmable Circuits with CAMs
スポンサーリンク
概要
- 論文の詳細を見る
本論文では回路製造後のECOを実現することが可能な新しいフレームワークを提案する.提案フレームワークでは、本来はLSlsの歩留まりを向上するために提案されたPartially-Programmable Circuits(PPCs)にContent-Addressable Memories(CAMs)を付加した新しい回路モデルを用いる.PPCにCAMを付加した回路モデルでECOを実現するため、本論文では新しい概念であるDesired Functionality Conditions(DFCs)を提案する.DFCsとは、LUTを含む回路の論理関数の自由度を表現するSPFDsをより拡張したものである.また本論文ではDFCsの自明でない計算方法についても言及する.我々のフレームワークを用いることによりECOに関する問題に新しい解決方法を提案する.
- 2012-11-19
著者
-
吉田 浩章
東北大学電気通信研究所
-
吉田 浩章
東京大学大規模集積システム設計教育研究センター(vdec)|科学技術振興機構戦略的創造研究推進事業crest
-
山下 茂
立命館大学
-
松尾 惇士
立命館大学大学院理工学研究科
-
吉田 浩章
Fujitsu Laboratories of America, Inc
関連論文
- 量子計算の並列シミュレーションにおける通信量削減手法(計算論,計算モデル)
- 量子探索アルゴリズムとその利用
- 「屋上緑化」による降温効果の測定
- 動的パッチ読み出し機構を備えた製造後機能修正可能アクセラレータ (画像工学)
- 動的パッチ読み出し機構を備えた製造後機能修正可能アクセラレータ (集積回路)
- 動的パッチ読み出し機構を備えた製造後機能修正可能アクセラレータ (信号処理)
- 学校ネットワークおよびコンピュータ活用方法の実践研究
- トランスダクション法に基づく単一磁束量子回路合成のためのフレームワーク
- RSFQ論理回路の回路変形による論理設計
- RSFQ論理回路の回路変形による論理設計(アルゴリズム)(VLSIの設計/検証/テスト及び一般)(デザインガイア2004-VLSI設計の新しい大地を考える研究会)
- RSFQ論理回路の回路変形による論理設計(アルゴリズム)(VLSIの設計/検証/テスト及び一般)(デザインガイア2004-VLSI設計の新しい大地を考える研究会-)
- Transformation-Based Logic Design for RSFQ Logic Circuits (デザインガイア 2004--VLSI設計の新しい大地を考える研究会)
- 仮想マルチプロセッサモデルに基づく高速SoCプロトタイピング手法 (ディペンダブルコンピューティング)
- 仮想マルチプロセッサモデルに基づく高速SoCプロトタイピング手法 (VLSI設計技術)
- 準形式的モデル検査のハードウェア実装による高速化の検討(モデル・回路,組込技術とネットワークに関するワークショップETNET2008)
- プラズマCVD法によるa-SiC:H/SiO_2積層形偏光分離素子の高性能化の検討
- RSFQ論理回路の回路変形による論理設計
- RSFQ論理回路の回路変形による論理設計(アルゴリズム)(VLSIの設計/検証/テスト及び一般)(デザインガイア2004-VLSI設計の新しい大地を考える研究会-)
- RSFQ論理回路の回路変形による論理設計(アルゴリズム)(VLSIの設計/検証/テスト及び一般)(デザインガイア2004-VLSI設計の新しい大地を考える研究会-)
- 動的パッチ読み出し機構を備えた製造後機能修正可能アクセラレータ
- 潜在的多様性を考慮したプログラマブルハードウェアの高位合成手法(プログラマブルデバイスと設計技術,システムオンシリコンを支える設計技術)
- 発見的手法に基づくスケーラブルなインクリメンタル高位合成 (ディペンダブルコンピューティング)
- 発見的手法に基づくスケーラブルなインクリメンタル高位合成 (VLSI設計技術)
- 高性能SoCプロトタイプのFPGA実装方式の検討 (ディペンダブルコンピューティング)
- 高性能SoCプロトタイプのFPGA実装方式の検討 (VLSI設計技術)
- 設計固有セルライブラリの自動生成手法(論理設計,デザインガイア2009-VLSI設計の新しい大地)
- Increasing yield using partially-programmable circuits (VLSI設計技術)
- 設計固有セルライブラリの自動生成手法(論理設計,デザインガイア2009-VLSI設計の新しい大地-)
- Increasing yield using partially-programmable circuits (ディペンダブルコンピューティング)
- チップ内プログラマブル配線向け形式的検証手法(暗号処理回路,システムオンシリコンを支える設計技術)
- リンク長及びレイテンシ制約下でのネットワークオンチップのトポロジ自動生成(ネットワークオンチップ,システムオンシリコンを支える設計技術)
- 内部等価点の推定によるルールベース高位検証の高精度化(高位検証,デザインガイア2008-VLSI設計の新しい大地)
- 反例を利用した網羅性の高いプロパティ集合生成手法(高位検証,デザインガイア2008-VLSI設計の新しい大地)
- 反例を利用した網羅性の高いプロパティ集合生成手法(高位検証,デザインガイア2008-VLSI設計の新しい大地)
- 反例を利用した網羅性の高いプロパティ集合生成手法(高位検証,デザインガイア2008-VLSI設計の新しい大地-)
- 既存設計の再利用を考慮したSoCの仕様記述手法と上位設計方法論
- 教育養成系学生の履修の実態 : 理科離れと学力低下の調査から
- 児童・教師の調査に基づいた支援とそのあり方
- (4, 1)-量子ランダムアクセス符号の非存在について
- 仮想マルチプロセッサモデルに基づく高速SoCプロトタイピング手法(高位設計1,デザインガイア2010-VLSI設計の新しい大地-)
- 仮想マルチプロセッサモデルに基づく高速SoCプロトタイピング手法(高位設計1,デザインガイア2010-VLSI設計の新しい大地-)
- 高性能SoCプロトタイプのFPGA実装方式の検討(論理設計1,デザインガイア2010-VLSI設計の新しい大地-)
- 高性能SoCプロトタイプのFPGA実装方式の検討(論理設計1,デザインガイア2010-VLSI設計の新しい大地-)
- 能動関数によるアサーション検証設計(続・システム検証の科学技術,サイバー増大号)
- 22pZC-1 SCS並びにTV会議システムを用いた初等物理実験遠隔共同授業
- SCS(衛星通信システム)を用いた遠隔授業 : 教員養成学部物理教育ミニマムの調査研究の一環として
- 25aM-6 大学間交換授業による教員養成学部における物理教育(3) : SCSを利用した初等物理実験に関する遠隔授業
- 28a-P-10 大学間交換授業による教員養成学部における物理教育(2) : SCSを利用した初等物理実験に関する遠隔授業
- 少品種高信頼セルを用いた高信頼回路設計手法と信頼性評価手法の提案
- 少品種高信頼セルを用いた高信頼回路設計手法と信頼性評価手法の提案
- 少品種高信頼セルを用いた高信頼回路設計手法と信頼性評価手法の提案
- 少品種高信頼セルを用いた高信頼回路設計手法と信頼性評価手法の提案
- 児童の理解を助ける実験装置 : 大学と小学校の連携
- 遠隔実験装置を活用した授業の研究(大会テーマ「学力向上への試み」)
- 地域における情報教育支援のオン・デマンド・ライブラリーの構築
- 発見的手法に基づくスケーラブルなインクリメンタル高位合成(高位設計1,デザインガイア2010-VLSI設計の新しい大地-)
- 発見的手法に基づくスケーラブルなインクリメンタル高位合成(高位設計1,デザインガイア2010-VLSI設計の新しい大地-)
- General Bounds for Quantum Biased Oracles (特集:量子計算と量子情報)
- Robust Quantum Algorithms for Oracle Identification (Theoretical Computer Science and its Applications)
- Transmitting classical information on the quantum network efficiently
- オラクル同定問題に対する頑健な量子アルゴリズム
- I/Oルーティング情報を用いたオンラインFPGAプレイスメント(FPGA・低消費電力設計・システムレベル合成,システム設計及び一般)
- I/Oルーティング情報を用いたオンラインFPGAプレイスメント(FPGA・低消費電力設計・システムレベル合成,システム設計及び一般)
- DS-1-12 鍵配布を必要としない量子秘密通信プロトコル(DS-1.COMP-NHC学生シンポジウム,シンポジウム)
- π計算表示から能動形プログラムの枠組みの生成
- I/Oタイミングを考慮したオンラインFPGAプレイスメント(ハードウェアマネジメント, デザインガイア-VLSI設計の新しい大地を考える研究会-)
- 不正者を識別可能な量子秘密分散法
- 不正者を識別可能な量子秘密分散法
- 配線リソースを考慮した再構成可能1bitプロセッサアレイ(アーキテクチャ, FRGAとその応用及び一般)
- 配線リソースを考慮した再構成可能1bitプロセッサアレイ
- 配線リソースを考慮した再構成可能1bitプロセッサアレイ(アーキテクチャ, FRGAとその応用及び一般)
- 配線リソースを考慮した再構成可能1bitプロセッサアレイ(アーキテクチャ, FRGAとその応用及び一般)
- ソフトウェアの自己変更を支援する機構について
- 耐タンパCPUによるプログラム実行の証明
- 耐タンパCPUによるプログラム実行の証明
- 例外検出用動的再構成可能なコプロセッサ(システム設計及び一般)
- 例外検出用動的再構成可能なコプロセッサ(システム設計および一般)
- 能動関数モジュールを再配置可能なアクティブソフトウェア向けアーキテクチャの提案(コデザイン及びアーキテクチャ)
- 柔軟性物質の緩和過程観測システムの開発
- 1PF-14 生徒の課題設定を重視した理科実験教材の開発に関する一考察
- 生徒の課題設定を重視した理科実験教材の開発に関する一考察
- IT-4 中学校生徒と保護者, 教師の目指す生きる力
- Web環境での遠隔操作による物理教材開発
- インクリメンタル高位合成に向けた設計記述間差分の計算手法 (ディペンダブルコンピューティング)
- インクリメンタル高位合成に向けた設計記述間差分の計算手法 (コンピュータシステム)
- 準形式的モデル検査のハードウェア実装による高速化の検討(モデル・回路,組込技術とネットワークに関するワークショップETNET2008)
- 準形式的モデル検査のハードウェア実装による高速化の検討(モデル・回路,組込技術とネットワークに関するワークショップETNET2008)
- 能動関数モジュールを再配置可能なアクティブソフトウェア向けアーキテクチャの提案(コデザイン及びアーキテクチャ)(デザインガイア2003 -VLSI設計の新しい大地を考える研究会-)
- 能動関数モジュールを再配置可能なアクティブソフトウェア向けアーキテクチャの提案(コデザイン及びアーキテクチャ)(デザインガイア2003 -VLSI設計の新しい大地を考える研究会-)
- 能動関数モジュールを再配置可能なアクティブソフトウェア向けアーキテクチャの提案(コデザイン及びアーキテクチャ)(デザインガイア2003 -VLSI設計の新しい大地を考える研究会-)
- インクリメンタル高位合成に向けた設計記述間差分の計算手法
- インクリメンタル高位合成に向けた設計記述間差分の計算手法
- Quantum Biased Oracles (特集:量子計算と量子情報)
- 準形式的モデル検査のハードウェア実装による高速化の検討(モデル・回路,組込技術とネットワークに関するワークショップETNET2008)
- 内部等価点の推定によるルールベース高位検証の高精度化(高位検証,デザインガイア2008-VLSI設計の新しい大地)
- 内部等価点の推定によるルールベース高位検証の高精度化(高位検証,デザインガイア2008-VLSI設計の新しい大地-)
- 動作レベル・レジスタ転送レベル混在設計記述向け高位合成手法 (VLSI設計技術)
- 動作レベル・レジスタ転送レベル混在設計記述向け高位合成手法(動作レベル設計と配線手法,システムオンシリコンを支える設計技術)
- Partially-Programmable Circuits with CAMs
- Partially-Programmable Circuits with CAMs