1992年度 甘田 哲久 三分岐判定図を用いた主項の生成法に関する研究 1993年 岡村 康一郎 テーブル参照型書換え可能LSIの論理設計に関する研究 1995年度 笹倉 研司 主項を用いた関数分解に関する研究 吉原 和雄 NAND三段論理回路の最適構成法に関する研究 香月 貴志 置換え規則を用いたAND-EXOR論理式簡単化に関する研究 1996年度 泉原 史幸 Walsh変換を用いたAND-EXOR論理式の簡単化に関する研究 浜地 啓 疑似クロネッカ決定グラフと到達可能性行列を用いたEXOR多段論理回路の合成法に関する研究 和田 精二 疑似クロネッカ決定グラフを用いた多段論理回路に関する研究 1997年度 畠守 秀英 EXOR分解グラフを用いたAND-EXOR論理式の簡単化に関する研究 山下 淳一 関数分解による多段論理回路の構成法に関する研究 平井 康一 AND-AND-OR-OR論理回路の構成法に関する研究 堀田 真司 ユネイトカスケードを用いた論理回路の構成法に関する研究 矢内 裕介 Jacobianを用いた論理関数の分離的分解に関する研究 1998年度 図師 洋一 発見的方法による関数分解に関する研究 神野 博之 分解不能性を用いた関数分解の高速化に関する研究 1999年度 杉木 一也 不完全定義関数を表現する二分決定グラフの最小化に関する研究 2000年度 栗元 憲一 関数分解を用いたLUT型FPGAの設計に関する研究 2001年度 郷司 隼人 論理関数のカスケード実現と符号化に関する研究 平島 健太 大規模論理回路のBDDへの分割に関する研究 2002年度 迫 陽介 LUTカスケード回路のFPGAにおける表現法に関する研究 西山 雄吾 LSIのテストデータ符号化法に関する研究 2003年度 草野 将樹 順序回路型LUTカスケードにおけるメモリパッキングに関する研究 中村 祐輔 論理エミュレータを用いた論理関数評価法に関する研究 Qin Hui (シン キ) On the Study for Realization of Multiple-Output Functions by Sequential Look-Up Table Cascades 2004年度 石川 亮平 変数展開順序の変更によるBDDの節点数削減法に関する研究 中原 啓貴 LUTリングを用いた順序回路の実現に関する研究 2005年度 熊本 正之 不完全定義関数のドント・ケアを用いたBDDの最小化に関する研究 永松 健一 LUTカスケードを用いた離散コサイン変換回路の実現に関する研究 永安 伸也 LUTカスケード・エミュレータにおけるレール出力の符号化法に関する研究 2006年度 多神田 修 FPGAを用いた画像処理のトラックビジョン回路への応用に関する研究 田中 浩之 決定グラフに基づく論理関数の評価のメモリパッキングを用いた高速化に関する研究 2007年度 潮屋 亮 決定グラフを用いたIPルーティング回路の構成法に関する研究 2008年度 中村 高明 不完全定義インデックス生成関数の変数最小化とその応用に関する研究 2009年度 清水 敬介 Smith-WatermanアルゴリズムのFPGA上への実装とその評価に関する研究 星野 司 パケットフィルタリング用のデータ構造とアルゴリズムに関する研究 長野 巧 繰り返し回数に制限のある正規表現回路の簡略化に関する研究 2010年度 鳥倉 貴道 決定性有限オートマトンによるパターンマッチング回路のメモリ削減手法に関する研究 中島 拓也 関数分解における変数分割法に関する研究 福山 泰介 3アドレスQDDマシンのコードサイズ削減に関する研究 山口 聡 MDDブランチング・プログラム・マシンの冗長変数削除によるコードサイズ圧縮に関する研究 2011年度 江口 拓也 並列演算命令を用いた正規表現マッチングに関する研究 田中 陽士 可変ストライド型DFAを用いたマルチパターンマッチングに関する研究 樋口 陽介 パケット分類回路用多値CAMの符号化法に関する研究 吉田 孝裕 SAT問題のための再構成可能なハードウエア・アクセラレータに関する研究 2012年度 甲斐宗一郎 遺伝的アルゴリズムを用いた不完全定義インデックス生成関数の入力数削減に関する研究 島田高志 SIMD命令及びマルチコアを用いたパターンマッチングアルゴリズムの高速化に関する研究 前田政人 アフィン同値類を用いた不完全定義インデックス生成関数の入力数削減に関する研究 松尾賢吾 改良Simovici法による不完全定義インデックス生成関数の入力数削減に関する研究