研究者
J-GLOBAL ID:202101019001697702
更新日: 2024年02月01日 松永 裕介
マツナガ ユウスケ | Matsunaga Yusuke
所属機関・部署: 職名:
准教授
競争的資金等の研究課題 (19件): - 2019 - 2022 ポストムーア時代を支える100ギガヘルツ級時空間超伝導コンピューティング
- 2018 - 2020 論理IPの盗用を防ぐ堅牢な論理暗号化アルゴリズムの研究
- 2015 - ソフトウエアのバイナリレベル等価性検証に関する研究
- 2013 - 2014 システムレベル合成アルゴリズムの研究
- 2012 - 2013 システムレベル合成アルゴリズムの研究
- 2011 - 2012 システムレベル合成アルゴリズムの研究
- 2009 - 2012 統合的高信頼化設計のためのモデル化と検出・訂正・回復技術
- 2010 - 2011 システムレベル合成アルゴリズムの研究
- 2011 - ミニマルファブ用EDAツールの開発
- 2009 - 2010 システムレベル合成アルゴリズムの研究
- 2008 - 2009 システムレベル合成アルゴリズムの研究
- 2007 - 2009 価値と信用を搭載するディペンダブルなLSIの設計手法の研究
- 2002 - 2006 社会基盤を構築するためのシステムLSI設計手法の研究
- 2002 - 2006 次世代システムLSI設計支援技術の研究開発
- 2001 - 2003 ハードウェア構成を動的に最適化する「ハードウェア・モーフィング」技術の開発
- 2000 - 2002 高性能低消費電力プロセッサシステムの開発
- 2000 - 2002 システムLSI向けカスタム化可能IPコアのアーキテクチャおよび設計支援技術の開発
- 2000 - 2001 低消費エネルギー化可変電源電圧プロセッサの基本ソフトウェアの開発
- 1999 - 2001 コアベースシステムLSIの機能および性能の検証とテスト手法の研究
全件表示
論文 (21件): -
松永 裕介, 田村 直之. LSIの配線問題-DAシンポジウムの配線問題解法コンテスト- (3) SATを用いた解法. 情報処理. 2018. 59. 3. 232-238
-
松永 裕介. An Accelerating Technique for SAT-based ATPG. IPSJ Trans. System LSI Design Methodology. 2017. 10. 39-44
-
松永 裕介. Accelerating SAT-Based Boolean Matching for Heterogeneous FPGAs Using One-Hot Encoding and CEGAR Technique. IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences. 2016. E99-A. 7. 1374-1380
-
松永 裕介. A test pattern compaction method using SAT-based fault grouping. IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences. 2015. E99-A. 12. 2302-2309
-
松永 裕介. Synthesis Algorithm for Parallel Index Generator. IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences. 2014. E97. 12. 2451-2458
もっと見る 講演・口頭発表等 (109件): -
論理回帰を用いたサンプリングベースの論理合成
(LSIテストセミナー 2022)
-
論理施錠の施錠強度と攻撃耐性についての新たな評価の手法
(電子情報通信学会VLD研究会 2021)
-
An efficient SAT-attack algorithm against logic encryption
(IOLTS2019 2019)
-
アフィン変換を用いた論理暗号化手法の評価
(電子情報通信学会VLD研究会 2020)
-
アフィン変換を用いた論理暗号化手法について
(電子情報通信学会VLD研究会 2020)
もっと見る 委員歴 (18件): - 2019/06 - 2022/05 電子情報通信学会基礎境界ソサイエティ 副会長
- 2016/05 - 2021/05 電子情報通信学会VLD研究専門委員会 専門委員
- 2020/04 - 2021/03 九州大学 オープンキャンパス実行委員
- 2020/01 - 2021/03 九州大学 ジャーナル検討タスクフォース
- 2018/06 - 2019/05 電子情報通信学会システムと信号処理サブソサイエティ 会長
- 2018/06 - 2019/05 電子情報通信学会システムと信号処理サブソサイエティ 副会長
- 2017/04 - 2019/03 九州大学 中学生の科学実験教室実行委員
- 2016/01 - 2017/12 IEEE CAS society Fukuoka Chapter Chapter Chair
- 2017/04 - 九州大学 オープンキャンパス実行委員
- 2015/05 - 2016/05 電子情報通信学会VLD研究専門委員会 専門委員会委員長
- 2014/05 - 2015/05 電子情報通信学会VLD研究専門委員会 専門委員会副委員長
- 2010/05 - 2012/05 電子情報通信学会代議員会 代議員
- 2009/05 - 2012/05 電子情報通信学会小中高生科学教室 委員
- 2009/05 - 2011/04 電子情報通信学会九州支部 幹事
- 2003/04 - 2005/03 九州大学 図書委員
- 2004/05 - 電子情報通信学会VLD研究専門委員会 幹事
- 2002/04 - 九州大学 広報委員
- 2001/04 - 情報処理学会SLDM研究会 運営委員
全件表示
受賞 (4件): - 2015/08 - 情報処理学会システムLSI設計技術研究会 DAシンポジウムアルゴリズムデザインコンテスト 一般部門最優秀賞
- 2014/08 - 情報処理学会システムLSI設計技術研究会 平成26年度情報処理学会システムLSI設計技術研究会 優秀論文賞
- 2014/06 - 情報処理学会 情報処理学会論文賞
- 2013/08 - 情報処理学会システムLSI設計技術研究会 平成25年度情報処理学会システムLSI設計技術研究会 優秀論文賞
所属学会 (4件):
電子情報通信学会
, 情報処理学会
, IEEE
, ACM
前のページに戻る