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法による不完全定義インデックス生成関数の入力数削減に関する研究