早稲田大学大学院 基幹理工学研究科
博 士 論 文 概 要
論 文 題 目
Reliability-driven High-level Synthesis Algorithms for Distributed-register SoC Architectures
レジスタ分散型集積回路アーキテクチャを対象 とした信頼性指向の高位合成に関する研究
申 請 者
Kazushi KAWAMURA 川村 一志
情報理工学専攻 情報システム設計研究
2015 年 12 月
半 導 体 素 子 の 微 細 化 ， 半 導 体 製 造 技 術 の 向 上 に よ り チ ッ プ 上 に 数 億 素 子 の 集 積 が 可 能 と な り ，必 要 と さ れ る 一 連 の 機 能 を 1 チ ッ プ に 収 め る S y s t e m - o n - a - c h i p（S o C） の 利 用 が 拡 大 し て い る ．S o C は 小 型 か つ 高 性 能 な 電 子 機 器 の 実 現 に 貢 献 す る 一 方 ， 搭 載 す る 機 能 の 多 様 化 か ら 開 発 過 程 が 複 雑 化 し ， そ の 設 計 コ ス ト の 削 減 が 求 め ら れ る ． 設 計 コ ス ト 削 減 の た め に 重 要 な 技 術 と し て 高 位 合 成 が あ る ． 現 在 ， 集 積 回 路 設 計 は R e g i s t e r Tr a n s f e r L e v e l（RT L） 設 計 が 主 流 で あ り ， 設 計 者 自 ら が ハ ー ド ウ エ ア 特 有 の レ ジ ス タ や ク ロ ッ ク に よ る 同 期 を 意 識 し RT L 回 路 を 記 述 す る ．高 位 合 成 は 抽 象 度 の 高 い C 言 語 等 で 書 か れ た 動 作 記 述 を 自 動 で RT L 回 路 へ と 変 換 す る 技 術 で あ り ， ハ ー ド ウ エ ア 特 有 の レ ジ ス タ や ク ロ ッ ク に よ る 同 期 を 高 位 合 成 ア ル ゴ リ ズ ム に 任 せ る こ と で 設 計 コ ス ト を 削 減 す る ． 高 位 合 成 を 用 い た 設 計 は 様 々 な 性 能 指 標 （ 速 度 、 電 力 、 信 頼 性 ） を 設 計 の 上 位 工 程 か ら 考 慮 す る こ と で 大 局 的 な 最 適 化 を 可 能 に す る ． 一 方 ， 従 来 の 高 位 合 成 ア ル ゴ リ ズ ム の 多 く は 下 位 工 程 と 切 り 離 さ れ て お り ， 十 分 に 回 路 性 能 を 引 き 出 す に 至 ら な い ．
微 細 化 の 進 展 と と も に ， 回 路 の 遅 延 に 占 め る 配 線 遅 延 の 割 合 は 増 加 す る ． 相 対 的 な 配 線 遅 延 の 増 加 は 高 位 合 成 が 抱 え る 問 題 の ひ と つ で あ り ， 高 位 合 成 を 通 し て 得 ら れ る 回 路 の 速 度 を 劣 化 さ せ る ． 下 位 工 程 と 切 り 離 さ れ た 高 位 合 成 で は ， 配 線 遅 延 の 影 響 に よ り 過 剰 な マ ー ジ ン を 挿 入 す る 必 要 が 生 じ ， 最 終 的 に 出 力 さ れ る 回 路 の 速 度 に 悪 影 響 を 及 ぼ す ． 一 方 ， 下 位 工 程 で 得 ら れ る 配 置 配 線 情 報 を 直 接 的 に 高 位 合 成 ア ル ゴ リ ズ ム に 利 用 す る こ と は 高 位 合 成 問 題 を 過 大 に 複 雑 化 さ せ る こ と か ら ， 最 適 化 の 妨 げ と な る ． こ れ を 受 け ， 配 線 遅 延 の 影 響 を 高 位 合 成 時 に 扱 う こ と を 目 的 と し た レ ジ ス タ 分 散 型 集 積 回 路 ア ー キ テ ク チ ャ が 提 案 さ れ た ． レ ジ ス タ 分 散 型 集 積 回 路 ア ー キ テ ク チ ャ を 対 象 と し た 高 位 合 成 で は 回 路 を 配 線 遅 延 の 影 響 が な い 範 囲 に 分 割 ， 抽 象 化 し ， 分 割 し た ブ ロ ッ ク に 対 し て フ ロ ア プ ラ ン を 実 行 す る ． フ ロ ア プ ラ ン さ れ た ブ ロ ッ ク 間 の 配 線 遅 延 を 予 測 し ， 配 線 遅 延 の 影 響 を 高 位 合 成 ア ル ゴ リ ズ ム 中 で 適 切 か つ 効 率 的 に 扱 う こ と で ， 最 終 的 に 出 力 さ れ る 回 路 の 速 度 向 上 に 大 き く 貢 献 す る ．
S o C の 信 頼 性 は 重 要 な 性 能 指 標 で あ る ．S o C の 利 用 範 囲 拡 大 に 伴 い ， 自 動 車 や
医 療 機 器 ， 社 会 イ ン フ ラ 等 ， 高 い 信 頼 性 が 要 求 さ れ る 場 面 が 増 加 し て い る ． そ の 一 方 ， プ ロ セ ス 技 術 の 進 展 は 信 頼 性 に 関 す る 様 々 な 技 術 的 課 題 を 生 む ． そ の ひ と つ と し て 集 積 回 路 チ ッ プ 内 部 の 発 熱 ， 特 に 局 所 発 熱 に よ る ホ ッ ト ス ポ ッ ト が 挙 げ ら れ る ． ホ ッ ト ス ポ ッ ト は 集 積 回 路 チ ッ プ 内 部 で 発 熱 が 集 中 し 局 所 的 に 温 度 が 高 く な る 部 分 を 指 し ， ホ ッ ト ス ポ ッ ト で の 遅 延 増 加 や 長 期 的 に 高 温 状 態 が 続 く こ と に よ る 劣 化 が S o C の 信 頼 性 低 下 を 引 き 起 こ す ．ホ ッ ト ス ポ ッ ト の 温 度 削 減 に 焦 点 を 当 て る 熱 考 慮 高 位 合 成 は グ ロ ー バ ル 最 適 化 の 面 か ら 重 要 で あ り ， こ れ ま で に 数 多 く の 手 法 が 提 案 さ れ た ． 従 来 の 熱 考 慮 高 位 合 成 は 下 位 工 程 で 得 ら れ た 回 路 に 対 す る 温 度 シ ミ ュ レ ー シ ョ ン 結 果 を フ ィ ー ド バ ッ ク し 利 用 す る 下 位 工 程 と 切 り 離 さ れ た 設 計 フ ロ ー を 持 ち ， 設 計 コ ス ト が 高 い ． さ ら に ， 配 線 遅 延 の 影 響 を 高 位 合 成
N o . 1
時 に 考 慮 し な い こ と か ら 回 路 の 速 度 を 劣 化 さ せ る ． 最 終 的 に 出 力 さ れ る 回 路 の 速 度 及 び 設 計 コ ス ト の 観 点 か ら ， 高 位 合 成 段 階 で モ ジ ュ ー ル フ ロ ア プ ラ ン を 扱 い ホ ッ ト ス ポ ッ ト の 温 度 を 削 減 す る こ と が 望 ま れ る ．
信 頼 性 に 関 す る 別 の 課 題 に ソ フ ト エ ラ ー に 起 因 し た 信 頼 性 の 低 下 が あ る ． 微 細 化 に 伴 う 電 源 電 圧 の 低 減 や 動 作 周 波 数 の 向 上 は ソ フ ト エ ラ ー 発 生 確 率 を 増 加 さ せ る ．集 積 回 路 の 動 作 中 に 発 生 し た ソ フ ト エ ラ ー は 一 時 的 に 回 路 故 障（ フ ォ ー ル ト ） を 引 き 起 こ す ． 放 射 線 粒 子 衝 突 と い っ た 外 的 要 因 で 引 き 起 こ さ れ る フ ォ ー ル ト は 現 在 の 集 積 回 路 製 造 技 術 で は 回 避 で き な い た め ，高 い 信 頼 性 が 要 求 さ れ る S o C に は フ ォ ー ル ト セ キ ュ ア な 設 計 が 必 須 で あ る ． 通 常 の 設 計 に 比 べ 高 い 信 頼 性 を 求 め る フ ォ ー ル ト セ キ ュ ア 設 計 は 必 然 的 に 速 度 ， 面 積 の 面 で オ ー バ ー ヘ ッ ド を 伴 う こ と か ら ， 低 コ ス ト で 高 い 信 頼 性 を 実 現 す る 設 計 手 法 が 求 め ら れ る ． フ ォ ー ル ト セ キ ュ ア 設 計 を 高 位 合 成 段 階 か ら 取 り 入 れ る こ と に よ り 低 コ ス ト で 高 い 信 頼 性 を 実 現 す る こ と が 期 待 さ れ ， こ れ ま で に 数 多 く の フ ォ ー ル ト セ キ ュ ア 高 位 合 成 手 法 が 提 案 さ れ た ． 従 来 の フ ォ ー ル ト セ キ ュ ア 高 位 合 成 は 並 行 誤 り 検 出 を 用 い る こ と を 考 え ， 通 常 計 算 と 再 計 算 を 実 行 す る 演 算 器 の 適 切 な 共 有 に よ り オ ー バ ー ヘ ッ ド の 削 減 を 図 る ． し か し ， 従 来 手 法 は 演 算 器 以 外 の 回 路 構 成 要 素 （ レ ジ ス タ ，M U X， 制 御 回 路 ） を 考 慮 し な い た め ， 回 路 面 積 の 評 価 が 不 十 分 で あ る ． 加 え て ， 面 積 増 加 に 伴 う 速 度 劣 化 へ の 対 処 も な さ れ て い な い ． 高 位 合 成 中 に モ ジ ュ ー ル フ ロ ア プ ラ ン を 扱 い ， フ ォ ー ル ト セ キ ュ ア 設 計 に 伴 う オ ー バ ー ヘ ッ ド を 適 切 に 評 価 ， か つ 削 減 す る こ と が 求 め ら れ る ．
本 論 文 で は ， レ ジ ス タ 分 散 型 集 積 回 路 ア ー キ テ ク チ ャ を 対 象 と し た 熱 考 慮 高 位 合 成 手 法 ， 及 び フ ォ ー ル ト セ キ ュ ア 高 位 合 成 手 法 を 提 案 す る ． ホ ッ ト ス ポ ッ ト ， ソ フ ト エ ラ ー に 代 表 さ れ る 信 頼 性 問 題 の 対 処 に あ た り ， そ の 付 加 コ ス ト の 削 減 は 極 め て 重 要 で あ る ． レ ジ ス タ 分 散 型 集 積 回 路 ア ー キ テ ク チ ャ を 用 い る 高 位 合 成 で は ， 抽 象 化 さ れ た モ ジ ュ ー ル フ ロ ア プ ラ ン か ら 高 位 合 成 段 階 で 配 線 遅 延 や 面 積 ， ホ ッ ト ス ポ ッ ト の 見 積 も り が 可 能 で あ る ． こ れ ら の 見 積 も り を 合 成 フ ロ ー 中 の 演 算 ス ケ ジ ュ ー リ ン グ ／ 演 算 器 バ イ ン デ ィ ン グ ， 演 算 器 ア ロ ケ ー シ ョ ン ， レ ジ ス タ バ イ ン デ ィ ン グ で の 性 能 指 標 最 適 化 に 使 用 し ， 低 コ ス ト で 高 信 頼 を 実 現 す る 高 位 合 成 ア ル ゴ リ ズ ム を 構 築 す る ． 提 案 手 法 は 計 算 機 上 に 実 装 し 評 価 さ れ る ． 提 案 熱 考 慮 高 位 合 成 手 法 は ， 従 来 手 法 と 比 較 し て 回 路 の 速 度 ， 面 積 を 劣 化 さ せ る こ と な く 最 大 1 5 . 5 %ホ ッ ト ス ポ ッ ト の 温 度 を 削 減 し た ． 二 種 の 提 案 フ ォ ー ル ト セ キ ュ ア 高 位 合 成 手 法 は ， フ ォ ー ル ト セ キ ュ ア 設 計 を 施 さ な い 手 法 と 比 較 し て 速 度 ， 面 積 の オ ー バ ー ヘ ッ ド な く 信 頼 性 を 最 大 2 4 %向 上 ， 従 来 の フ ォ ー ル ト セ キ ュ ア 設 計 と 比 較 し て 面 積 を 最 大 4 7 %削 減 す る と と も に ， 速 度 を 最 大 4 1 %向 上 さ せ た ．
1 章 ［I n t r o d u c t i o n］ で は 本 論 文 の 背 景 と 意 義 ， 構 成 を 示 す ．
2 章 ［R e l a t e d Wo r k s］ で は 関 連 研 究 を 紹 介 す る ． ま ず ， レ ジ ス タ 分 散 型 集 積 回 路 ア ー キ テ ク チ ャ の ひ と つ で あ る 規 則 性 レ ジ ス タ 分 散 型 ア ー キ テ ク チ ャ の 特 徴 を
N o . 2
ま と め ， そ の 高 位 合 成 フ ロ ー を 紹 介 す る ． 続 い て ， ホ ッ ト ス ポ ッ ト の 温 度 削 減 に 焦 点 を 当 て る 熱 考 慮 高 位 合 成 ， 並 行 誤 り 検 出 を 用 い る フ ォ ー ル ト セ キ ュ ア 高 位 合 成 に つ い て ， 代 表 的 な 既 存 手 法 を ま と め る ．
3 章［A T h e r m a l - a w a r e H i g h - l e v e l S y n t h e s i s A l g o r i t h m］で は レ ジ ス タ 分 散 型 集 積 回 路 ア ー キ テ ク チ ャ を 対 象 と し た 熱 考 慮 高 位 合 成 手 法 を 提 案 す る ． レ ジ ス タ 分 散 型 集 積 回 路 ア ー キ テ ク チ ャ は 回 路 を ブ ロ ッ ク 分 割 し ， フ ロ ア プ ラ ン す る た め ， 高 位 合 成 段 階 に お い て も ホ ッ ト ス ポ ッ ト の 特 定 が 可 能 で あ る ． 高 位 合 成 段 階 で ホ ッ ト ス ポ ッ ト に 対 処 す る こ と は 設 計 コ ス ト を 大 幅 に 削 減 す る ． 提 案 手 法 は 演 算 の 実 行 回 数 に 注 目 し て ブ ロ ッ ク 間 の 消 費 電 力 を 均 一 化 し ， 回 路 の 速 度 を 劣 化 さ せ る こ と な く ホ ッ ト ス ポ ッ ト の 温 度 を 削 減 す る ． さ ら に ， 可 能 で あ れ ば 新 し い 演 算 器 を ア ロ ケ ー シ ョ ン し ， 温 度 の 削 減 効 果 を 高 め る ． 提 案 手 法 を 計 算 機 上 に 実 装 し 温 度 シ ミ ュ レ ー シ ョ ン し た 結 果 ， 従 来 の レ ジ ス タ 分 散 型 集 積 回 路 ア ー キ テ ク チ ャ を 対 象 と し た 高 位 合 成 手 法 と 比 較 し ， 最 大 1 5 . 5 %ホ ッ ト ス ポ ッ ト の 温 度 を 削 減 で き る こ と を 確 認 し た ．
4 章 ［A n O v e r h e a d C o n s t r a i n t - b a s e d P a r t i a l l y R e d u n d a n t F a u l t - s e c u r e H i g h - l e v e l S y n t h e s i s A l g o r i t h m］で は レ ジ ス タ 分 散 型 集 積 回 路 ア ー キ テ ク チ ャ を 対 象 と し た 速 度 ・ 面 積 オ ー バ ー ヘ ッ ド 制 約 に も と づ く 部 分 二 重 化 フ ォ ー ル ト セ キ ュ ア 高 位 合 成 手 法 を 提 案 す る ． 本 手 法 は 回 路 の レ イ テ ン シ 制 約 ， 面 積 制 約 を 入 力 に 受 け 取 り ， 信 頼 性 の 最 大 化 を 目 的 と す る ． 信 頼 性 の 指 標 は ソ フ ト エ ラ ー 発 生 時 の エ ラ ー 出 力 確 率 と し て 定 式 化 す る ． 演 算 が 完 全 に 二 重 化 さ れ た 状 態 か ら ス タ ー ト し ， 提 案 手 法 は グ リ ー デ ィ に 制 約 を 満 足 す る 解 を 探 索 す る ． 計 算 機 実 験 の 結 果 か ら ， フ ォ ー ル ト セ キ ュ ア 設 計 を 施 さ な い 手 法 と 比 較 し 速 度 ， 面 積 の 面 で 一 切 の オ ー バ ー ヘ ッ ド を 伴 わ ず と も 最 大 2 4 %信 頼 性 を 向 上 さ せ る こ と に 成 功 し た ．
5 章 ［ A L o w - o v e r h e a d F u l l y R e d u n d a n t F a u l t - s e c u r e H i g h - l e v e l S y n t h e s i s A l g o r i t h m］で は レ ジ ス タ 分 散 型 集 積 回 路 ア ー キ テ ク チ ャ を 対 象 と し た 低 コ ス ト 指 向 の 完 全 二 重 化 フ ォ ー ル ト セ キ ュ ア 高 位 合 成 手 法 を 提 案 す る ． レ ジ ス タ 分 散 型 集 積 回 路 ア ー キ テ ク チ ャ を 用 い る 高 位 合 成 は ブ ロ ッ ク 単 位 で の 面 積 評 価 と そ れ に 伴 う 配 線 遅 延 評 価 を 可 能 に し ， こ れ ら の 評 価 結 果 を 高 位 合 成 フ ロ ー 中 で 適 切 に 扱 う こ と に よ り 高 い 信 頼 性 を 確 保 し た 上 で 回 路 の レ イ テ ン シ ， 面 積 を 最 小 化 す る ． 提 案 手 法 は 従 来 の 逐 次 的 な 合 成 フ ロ ー と は 異 な り ， 演 算 器 ア ロ ケ ー シ ョ ン や レ ジ ス タ ／ コ ン ト ロ ー ラ 合 成 を ス ケ ジ ュ ー リ ン グ ／ バ イ ン デ ィ ン グ と 統 合 的 に 実 行 す る フ ロ ー を 持 つ ． ス ケ ジ ュ ー リ ン グ ／ バ イ ン デ ィ ン グ と 他 の 高 位 合 成 ス テ ッ プ を 統 合 的 に 実 行 す る こ と で 最 終 的 に 出 力 さ れ る 回 路 の コ ス ト を ス ケ ジ ュ ー リ ン グ ／ バ イ ン デ ィ ン グ 中 に 見 積 も り ， 削 減 す る ． 計 算 機 へ の 実 装 実 験 の 結 果 か ら ， 従 来 の フ ォ ー ル ト セ キ ュ ア 設 計 と 比 較 し 面 積 を 最 大 4 7 %削 減 す る と と も に 速 度 を 最 大 4 1 %向 上 さ せ る こ と に 成 功 し た ．
6 章 ［C o n c l u s i o n］ で は 本 論 文 を 総 括 し ， 今 後 の 研 究 課 題 を 示 す ． N o . 3
No. 1
早稲田大学 博士（工学） 学位申請 研究業績書
氏 名 川村 一志 印
（ 2015年 11月 現在）
種 類 別 題名、 発表・発行掲載誌名、 発表・発行年月、 連名者（申請者含む）
a. 論文 学 術 誌 原 著論文 第一著者
その他
c. 講演 国際会議
国内学会
○K. Kawamura, M. Yanagisawa, and N. Togawa, “A thermal-aware high-level synthesis algorithm for RDR architectures through binding and allocation,” IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, vol. E96-A, no. 1, pp.
312-321, Jan. 2013.
K. Fujiwara, K. Kawamura, S. Abe, M. Yanagisawa, and N. Togawa, “A floorplan-driven high-level synthesis algorithm for multiplexer reduction targeting FPGA designs,” IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, vol.
E98-A, no. 7, pp. 1392-1405, July 2015.
K. Fujiwara, K. Kawamura, M. Yanagisawa, and N. Togawa, “Clock skew estimate modeling for FPGA high-level synthesis and its application,” in Proceedings of the IEEE 11th International Conference on ASIC (ASICON2015), Chengdu, China, Nov. 2015.
(招待講演)
K. Kawamura, Y. Hagio, Y. Shi, and N. Togawa, “A floorplan-aware high-level synthesis technique with delay-variation tolerance,” in Proceedings of 2015 IEEE International Conference on Electron Devices and Solid-State Circuits (EDSSC2015), pp. 122-125, Singapore, Singapore, June 2015.
K. Fujiwara, S. Abe, K. Kawamura, M. Yanagisawa, and N. Togawa, “A floorplan-aware high-level synthesis algorithm for multiplexer reduction targeting FPGA designs,” in Proceedings of 2014 IEEE Asia Pacific Conference on Circuits and Systems (APCCAS2014), pp. 244-247, Ishigaki, Japan, Nov. 2014.
(招待講演)
K. Kawamura and N. Togawa, “Floorplan-driven architecture and high-level synthesis for hot-spot temperature optimization,” in Proceedings of the 29th International Technical Conference on Circuits/Systems, Computers and Communications (ITC-CSCC2014), pp.
741-744, Phuket, Thailand, July 2014.
○K. Kawamura, S. Tanaka, M. Yanagisawa, and N. Togawa, “A partial redundant fault-secure high-level synthesis algorithm for RDR architectures,” in Proceedings of the 2013 IEEE International Symposium on Circuits and Systems (ISCAS 2013), pp. 1432-1435, Beiging, China, May 2013.
(査読あり)
伊東光希, 川村一志, 田宮豊, 柳澤政生, 戸川望, “ローテータベースマルチプレクサネッ トワークによるフィールドデータ抽出器の構成手法,” 情報処理学会 DA シンポジウム 2015論文集, pp. 29-34, 加賀市, 2015年8月.
No. 2
早稲田大学 博士（工学） 学位申請 研究業績書
種 類 別 題名、 発表・発行掲載誌名、 発表・発行年月、 連名者（申請者含む）
c. 講演 国内学会
川村一志, 阿部晋矢, 史又華, 柳澤政生, 戸川望, “タイミングエラー予測回路による再構 成可能デバイス上でのデータ依存最適化回路設計,” 信学技報, vol. 114, no. 328, pp. 51-56, 別府市, 2014年11月.
伊東光希, 川村一志, 柳澤政生, 戸川望, 田宮豊, “マルチプレクサ木分割によるフィール ドデータ抽出器の構成手法,” 信学技報, vol. 114, no. 328, pp. 197-202, 別府市, 2014年11 月.
川村一志, 柳澤政生, 戸川望, “フロアプラン統合化アーキテクチャを対象とした低面積指 向フォールトセキュア高位合成,” 電子情報通信学会2014年ソサイエティ大会, p. 56, 徳 島市, 2014年9月.
(査読あり)
藤原晃一, 阿部晋矢, 川村一志, 柳澤政生, 戸川望, “フロアプランを考慮したマルチプレ クサ削減FPGA高位合成手法,” 情報処理学会DAシンポジウム2014論文集, pp. 109-114, 下呂市, 2014年8月.
藤原晃一, 阿部晋矢, 川村一志, 柳澤政生, 戸川望, “フロアプランを考慮したマルチプレ クサ入力数制限FPGA向け高位合成手法,” 信学技報, vol. 114, no. 123, pp. 219-224, 札幌 市, 2014年7月.
川村一志, 柳澤政生, 戸川望, “信頼性と時間オーバーヘッド間のトレードオフを考慮し た面積制約にもとづく RDR アーキテクチャ向けフォールトセキュア高位合成手法,” 信 学技報, vol. 113, no. 320, pp. 129-134, 鹿児島市, 2013年11月.
(査読あり)
川村一志, 柳澤政生, 戸川望, “RDRアーキテクチャを対象とした時間・面積制約にもとづ くフォールトセキュア高位合成手法,” 第 26 回 回路とシステムワークショップ, pp.
454-459, 淡路市, 2013年7月.
川村一志, 柳澤政生, 戸川望, “RDR アーキテクチャを対象とした時間及び面積オーバー ヘッドのないフォールトセキュア高位合成手法,” 信学技報, vol. 113, no. 30, pp. 61-66, 北 九州市, 2013年5月.
川村一志, 柳澤政生, 戸川望, “島内消費電力量見積もりにもとづく温度特性を考慮した RDRアーキテクチャ向け高位合成手法,” 信学技報, vol. 112, no. 320, pp. 13-18, 福岡市, 2012年11月.
(査読あり)
川村一志, 柳澤政生, 戸川望, “温度特性を考慮したRDRアーキテクチャ向け高位合成手 法,” 情報処理学会DAシンポジウム2012論文集, pp. 133-138, 下呂市, 2012年8月.
No. 3
早稲田大学 博士（工学） 学位申請 研究業績書
種 類 別 題名、 発表・発行掲載誌名、 発表・発行年月、 連名者（申請者含む）
c. 講演 その他
e.その他 ( 業 績 賞 等)
(日本学術 振興会 科 学 研 究 費 補助金)
2015年8月 IEEE SSCS Japan Chapter VDEC デザイナーズフォーラム2015 Ph.D企画セッ ション パネリスト.
2015年8月 アルゴリズムデザインコンテスト優秀賞.
2014年11月 情報処理学会SLDM優秀発表学生賞.
2014年8月 アルゴリズムデザインコンテスト特別賞.
2013年11月 情報処理学会SLDM優秀発表学生賞.
2012年11月 情報処理学会SLDM優秀発表学生賞.
日本学術振興会特別研究員奨励費, “配線遅延の温度依存性を考慮し回路性能を最適化す る高位LSI設計技術,” 2015-2016年度, 総額190万円(2015年度:100万円, 2016年度:90万 円).
