Rchr
J-GLOBAL ID：202101019001697702
Update date: Feb. 01, 2024
Matsunaga Yusuke
マツナガ ユウスケ | Matsunaga Yusuke
Affiliation and department：
Job title：
Associate Professor
Research theme for competitive and other funds (19)：
- 2019 - 2022 Over 100 GHz Time-Space Superconductor Computing for Post-Moore Era
- 2018 - 2020 Developing robust algorithms for logic encryption protecting against piracy of logic IP
- 2015 - ソフトウエアのバイナリレベル等価性検証に関する研究
- 2013 - 2014 システムレベル合成アルゴリズムの研究
- 2012 - 2013 システムレベル合成アルゴリズムの研究
- 2011 - 2012 システムレベル合成アルゴリズムの研究
- 2009 - 2012 統合的高信頼化設計のためのモデル化と検出・訂正・回復技術
- 2010 - 2011 システムレベル合成アルゴリズムの研究
- 2011 - ミニマルファブ用EDAツールの開発
- 2009 - 2010 システムレベル合成アルゴリズムの研究
- 2008 - 2009 システムレベル合成アルゴリズムの研究
- 2007 - 2009 Research on Design Methodology of Dependable LSI Loading Value and Trust
- 2002 - 2006 Research on System LSI Design Methodology for Social Infrastructure
- 2002 - 2006 次世代システムLSI設計支援技術の研究開発
- 2001 - 2003 Development of "Hardware Morphing" Technology for Dynamic Optimization of Hardware Configuration
- 2000 - 2002 Development of High-performance Low-power Processor Systems
- 2000 - 2002 Development of Architectures and Design Methodologies of Customizable IP Cores for System-LSI's
- 2000 - 2001 The Development of Basic Software Techniques for Variable-Voltage Processors Targeting Low-Energy Consumption
- 1999 - 2001 A Study on Delay and Function Test for Core-Based System LSIs
Show all
Papers (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
ｍore...
Lectures and oral presentations (109)：
-
論理回帰を用いたサンプリングベースの論理合成
(LSIテストセミナー 2022)
-
論理施錠の施錠強度と攻撃耐性についての新たな評価の手法
(電子情報通信学会VLD研究会 2021)
-
An efficient SAT-attack algorithm against logic encryption
(IOLTS2019 2019)
-
アフィン変換を用いた論理暗号化手法の評価
(電子情報通信学会VLD研究会 2020)
-
アフィン変換を用いた論理暗号化手法について
(電子情報通信学会VLD研究会 2020)
ｍore...
Committee career (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研究会 運営委員
Show all
Awards (4)：
- 2015/08 - 情報処理学会システムLSI設計技術研究会 DAシンポジウムアルゴリズムデザインコンテスト 一般部門最優秀賞
- 2014/08 - 情報処理学会システムLSI設計技術研究会 平成26年度情報処理学会システムLSI設計技術研究会 優秀論文賞
- 2014/06 - 情報処理学会 情報処理学会論文賞
- 2013/08 - 情報処理学会システムLSI設計技術研究会 平成25年度情報処理学会システムLSI設計技術研究会 優秀論文賞
Association Membership(s) (4)：
電子情報通信学会
, 情報処理学会
, IEEE
, ACM
