• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 前のページに戻る

松永 裕介  Matsunaga Yusuke

ORCIDORCID連携する *注記
… 別表記

松永 祐介  MATSUNAGA Yusuke

隠す
研究者番号 00336059
その他のID
所属 (現在) 2025年度: 九州大学, システム情報科学研究院, 准教授
所属 (過去の研究課題情報に基づく) *注記 2018年度 – 2021年度: 九州大学, システム情報科学研究院, 准教授
2009年度 – 2010年度: 九州大学, システム情報科学研究院, 准教授
2008年度 – 2010年度: 九州大学, 大学院・システム情報科学研究院, 准教授
2007年度: 九州大学, システム情報科学研究院, 准教授
2004年度: 九州大学, システム情報科学研究院, 助教授
2002年度 – 2004年度: 九州大学, システムLSI研究センター, 助教授
2001年度 – 2004年度: 九州大学, 大学院・システム情報科学研究院, 助教授
審査区分/研究分野
研究代表者
計算機システム・ネットワーク / 小区分60040:計算機システム関連
研究代表者以外
計算機科学 / 中区分60:情報科学、情報工学およびその関連分野 / 理工系 / 電子デバイス・機器工学 / 計算機システム・ネットワーク
キーワード
研究代表者
論理合成 / BDD / FPGA / SAT / ハードウェアセキュリティ / SAT(充足可能性判定問題) / セキュリティ / LSI設計 / SAT / 論理暗号化 … もっと見る / DAG-covering / logic function manipulation / technology mapping / ブーリアン・マッチング / 二分決定グラフ / 関数分解 / DAG被覆 / 論理関数処理 / テクノロジマッピング / テストパタン生成 / システムレベル検証 / システムLSI … もっと見る
研究代表者以外
システムLSI / アーキテクチャ / プロセッサ / System on a Chip / 基本ソフトウェア / 低消費エネルギー / dynamic optimization / computer architecture / low power design / system LSI / 動的最適化 / HW / 計算機アーキテクチャ / 低消費電力化 / BIST / マイクロプロセッサ / 超伝導コンピューティング / コンピュータアーキテクチャ / Social Infrastructure System / Low Power Technique / Computer System / Secure Network / ディジタルネーミング / 無線通信ネットワーク / 暗号回路 / 情報セキュリティ / 個人認証 / RFID / ディジタルメーミング / 社会基盤システム / 低消費電力技術 / 計算機システム / システムオンチップ / セキュアネットワーク / circuit design / adaptive control / optimizing compiler / profiling / 回路設計 / 適応制御 / 最適化コンパイラ / プロファイリング / Dynamic control of memory access bits / Dynamic control of data-bus / Dynamic control of pipeline depth / Datapath width optimization / High-performance Low-power / システム設計 / 組込みシステム / 特定用途向け / 低消費電力 / 高性能 / 動的メモリアクセスビット幅制御 / 動的データパス幅制御 / 有効ビット幅解析 / 可変電源電圧プロセッサ / 低消費電力プロセッサ / 動的メモリアクセスビット制御 / 動的データバス制御 / 動的パイプライン段数制御 / データパス幅最適化 / 高性能低消費電力化 / Memory / Architecture / Processor / System Software / Embedded System / Variable Voltage / Low Energy / メモリ / 組み込みシステム / 可変電源電圧 / SW codesign / design optimization / design methodology / IP core / SWコデザイン / 設計最適化 / 設計支援技術 / IPコア / Dispersion of delay / Performance Test / External Testing / Testing Time / Testing / System LSIs / Core-Based Design / CBET / コアベースシステム / 遅延時間のばらつき / 性能テスト / 外部テスト / テスト時間 / テスト / コアベース設計 / 悪意ある攻撃 / 人為的な誤り / LSI設計フロー / ディペンダブル / 電子マネー / セキュリティ / ICカード / 社会情報基盤 / LSIテスト / LSIアーキテクチャ / LSI設計 / ディペンダブルLSI 隠す
  • 研究課題

    (11件)
  • 研究成果

    (77件)
  • 共同研究者

    (31人)
  •  ポストムーア時代を支える100ギガヘルツ級時空間超伝導コンピューティング

    • 研究代表者
      井上 弘士
    • 研究期間 (年度)
      2019 – 2021
    • 研究種目
      基盤研究(A)
    • 審査区分
      中区分60:情報科学、情報工学およびその関連分野
    • 研究機関
      九州大学
  •  論理IPの盗用を防ぐ堅牢な論理暗号化アルゴリズムの研究研究代表者

    • 研究代表者
      松永 裕介
    • 研究期間 (年度)
      2018 – 2020
    • 研究種目
      基盤研究(C)
    • 審査区分
      小区分60040:計算機システム関連
    • 研究機関
      九州大学
  •  TLM検証を高速化するモデルの抽象化技術とテストパタン生成技術の研究研究代表者

    • 研究代表者
      松永 裕介
    • 研究期間 (年度)
      2008 – 2010
    • 研究種目
      基盤研究(B)
    • 研究分野
      計算機システム・ネットワーク
    • 研究機関
      九州大学
  •  価値と信用を搭載するディペンダブルなLSIの設計手法の研究

    • 研究代表者
      安浦 寛人
    • 研究期間 (年度)
      2007 – 2009
    • 研究種目
      基盤研究(A)
    • 研究分野
      計算機システム・ネットワーク
    • 研究機関
      九州大学
  •  論理関数処理を用いたFPGA用テクノロジマッパ開発研究代表者

    • 研究代表者
      松永 裕介
    • 研究期間 (年度)
      2003 – 2004
    • 研究種目
      基盤研究(B)
    • 研究分野
      計算機システム・ネットワーク
    • 研究機関
      九州大学
  •  社会基盤を構築するためのシステムLSI設計手法の研究

    • 研究代表者
      安浦 寛人
    • 研究期間 (年度)
      2002 – 2006
    • 研究種目
      学術創成研究費
    • 研究機関
      九州大学
  •  ハードウェア構成を動的に最適化する「ハードウェア・モーフィング」技術の開発

    • 研究代表者
      村上 和彰
    • 研究期間 (年度)
      2001 – 2003
    • 研究種目
      基盤研究(A)
    • 研究分野
      計算機科学
    • 研究機関
      九州大学
  •  システムLSI向けカスタム化可能IPコアのアーキテクチャおよび設計支援技術の開発

    • 研究代表者
      村上 和彰
    • 研究期間 (年度)
      2000 – 2002
    • 研究種目
      基盤研究(A)
    • 研究分野
      計算機科学
    • 研究機関
      九州大学
  •  低消費エネルギー化可変電源電圧プロセッサの基本ソフトウェアの開発

    • 研究代表者
      安浦 寛人
    • 研究期間 (年度)
      2000 – 2001
    • 研究種目
      基盤研究(B)
    • 研究分野
      計算機科学
    • 研究機関
      九州大学
  •  高性能低消費電力プロセッサシステムの開発

    • 研究代表者
      安浦 寛人
    • 研究期間 (年度)
      2000 – 2002
    • 研究種目
      特定領域研究
    • 審査区分
      理工系
    • 研究機関
      九州大学
  •  コアベースシステムLSIの機能および性能の検証とテスト手法の研究

    • 研究代表者
      安浦 寛人
    • 研究期間 (年度)
      1999 – 2001
    • 研究種目
      基盤研究(B)
    • 研究分野
      電子デバイス・機器工学
    • 研究機関
      九州大学

すべて 2021 2019 2018 2010 2009 2008 2007 2005 2004 2003

すべて 雑誌論文 学会発表

  • [雑誌論文] Framework for Parallel Prefix Adder Synthesis Considering Switching Activities2009

    • 著者名/発表者名
      Taeko Matsunaga, Shinji Kimura, Yusuke Matsunaga
    • 雑誌名

      IPSJ Transactions on System LSI Design Methodology Vol.2

      ページ: 212-221

    • NAID

      110009598037

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20300020
  • [雑誌論文] Area Recovery under Depth Constraint for Technology Mapping for LUT-based FPGAs2009

    • 著者名/発表者名
      Taiga Takata, Yusuke Matsunaga
    • 雑誌名

      IPSJ Transactions on System LSI Design Methodology Vol.2

      ページ: 200-211

    • NAID

      110009598036

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20300020
  • [雑誌論文] Efficient Cut Enumeration Heuristics for Depth-Optimum Technology Mapping for LUT-Based FPGAs2009

    • 著者名/発表者名
      Taiga Takata, Yusuke Matsunaga
    • 雑誌名

      IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences

      巻: Vol.E92.A, No.12 ページ: 3268-3275

    • NAID

      10026861820

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20300020
  • [雑誌論文] Efficient Cut Enumeration Heuristics for Depth-Optimum Technology Mapping for LUT-based FPGAs2009

    • 著者名/発表者名
      Taiga Takata, Yusuke Matsunaga
    • 雑誌名

      IFICE Trans.on Fundamentals Vol. E92-A,No.12

    • NAID

      10026861820

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20300020
  • [雑誌論文] Binding Refinement for Multiplexer Reduction2009

    • 著者名/発表者名
      Sho Kodama, Yusuke Matsunaga
    • 雑誌名

      Transcations on System LSI Design Methodology Vol.2

      ページ: 43-52

    • NAID

      130000120664

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20300020
  • [雑誌論文] Binding Refinement for Multiplexer Reduction2009

    • 著者名/発表者名
      Sho Kodama, Yusuke Matsunaga
    • 雑誌名

      Transactions on System LSI Design Methodology Vol.2,No.2

      ページ: 43-52

    • NAID

      130000120664

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20300020
  • [雑誌論文] Area Recovery under Depth Constraint for Technology Mapping for LUT-based FPGAs2009

    • 著者名/発表者名
      Taiga Takata, Yusuke Matsunaga
    • 雑誌名

      IPSJ Transactions on System LSI Design Methodology

      巻: Vol.2 ページ: 200-211

    • NAID

      110009598036

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20300020
  • [雑誌論文] An Efficient Performance Improvement Method Utilizing Specialized Functional Units in Behavioral Synthesis2008

    • 著者名/発表者名
      Tsuyoshi Sadakata and Yusuke Matsunaga
    • 雑誌名

      Proceedings of 13th Asia and South Pacific Design Automation Conference(ASP-DAC 2008)

      ページ: 32-35

    • 査読あり
    • データソース
      KAKENHI-PROJECT-19200004
  • [雑誌論文] A Behavioral Synthesis Method with Special Functional Units2008

    • 著者名/発表者名
      Tsuyoshi Sadakata, Yusuke Matsunaga
    • 雑誌名

      IEICE Trans.On Fundamentals Vol.E91-A

      ページ: 1084-1091

    • NAID

      10026848672

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20300020
  • [雑誌論文] Lingのキャリー計算に基づくparallel prefix adder合成について2007

    • 著者名/発表者名
      松永 多苗子, 木村 晋二, 松永 裕介
    • 雑誌名

      情報処理学会研究報告2007-SLDM-132

      ページ: 163-168

    • NAID

      110006533280

    • データソース
      KAKENHI-PROJECT-19200004
  • [雑誌論文] A Simultaneous Module Selection, Scheduling, and Allocation Method Considering Operation Chaining with Multi-Functional Units2007

    • 著者名/発表者名
      Tsuyoshi Sadakata and Yusuke Matsunaga
    • 雑誌名

      IEICE Transactions on Fundamentals E90-A(4)

      ページ: 792-799

    • NAID

      110007519136

    • 査読あり
    • データソース
      KAKENHI-PROJECT-19200004
  • [雑誌論文] 消費電力を考慮したprefix graph合成手法について2007

    • 著者名/発表者名
      松永 多苗子, 松永 裕介
    • 雑誌名

      情報処理学会研究報告2007-SLDM-130

      ページ: 63-68

    • NAID

      110006290352

    • データソース
      KAKENHI-PROJECT-19200004
  • [雑誌論文] Tim-Constrained Area Minimization Algorithm for parallel Adders2007

    • 著者名/発表者名
      Taeko Matsunaga and Yusuke Matsunaga
    • 雑誌名

      IEICE Trans.Fundamentals E90-A(12)

      ページ: 2770-2777

    • 査読あり
    • データソース
      KAKENHI-PROJECT-19200004
  • [雑誌論文] Timing-Constrained Area Minimization Algorithm for Parallel Prefix Adders2007

    • 著者名/発表者名
      Taeko Matsunaga, Yusuke Matsunaga
    • 雑誌名

      IEICE Transactions on Fundamentals E90-A(12

      ページ: 2770-2777

    • NAID

      110007538023

    • 査読あり
    • データソース
      KAKENHI-PROJECT-19200004
  • [雑誌論文] Performance Improvement Methods Utilizing Complex Functional Units in Behavioral Synthesis2007

    • 著者名/発表者名
      Tsuyoshi Sadakata and Yusuke Matsunaga
    • 雑誌名

      Proceedings of 2007 1FIP International Conference on Very Large Scale Integration(VLSI-SoC 2007)

      ページ: 6-7

    • 査読あり
    • データソース
      KAKENHI-PROJECT-19200004
  • [雑誌論文] A Simultaneous Module Selection, Scheduling, and Allocation Method Considering Operation Chaining with Multi-Functional Units2007

    • 著者名/発表者名
      Tsuyoshi Sadakata, Yusuke Matsunaga
    • 雑誌名

      IEICE Transactions on Fundamentals E90-A(4)

      ページ: 792-799

    • NAID

      110007519136

    • 査読あり
    • データソース
      KAKENHI-PROJECT-19200004
  • [雑誌論文] Power-Conscious Synthesis of Parallel Prefix Adders under Bitwise Timing Constraints2007

    • 著者名/発表者名
      Taeko Matsunaga, Shinji Kimura, and Yusuke Matsunaga
    • 雑誌名

      The 14th Workshop on Synthesis And System Integration of Mixed Information technologies(SASIMI)

      ページ: 7-14

    • 査読あり
    • データソース
      KAKENHI-PROJECT-19200004
  • [雑誌論文] 専用演算器と演算のチェイニングのトレードオフを考慮した動作合成手法2007

    • 著者名/発表者名
      貞方 毅, 松永 裕介
    • 雑誌名

      第20回回路とシステム軽井沢ワークショップ

      ページ: 655-660

    • 査読あり
    • データソース
      KAKENHI-PROJECT-19200004
  • [雑誌論文] Timing-constrained Area Minimization Algorithm for Parallel Prefix Adders2007

    • 著者名/発表者名
      Taeko Matsunaga and Yusuke Matsunaga
    • 雑誌名

      International Workshop on Logic and Synthesis(IWLS)

      ページ: 150-157

    • NAID

      110007538023

    • 査読あり
    • データソース
      KAKENHI-PROJECT-19200004
  • [雑誌論文] Parallel Prefix Adder合成を用いた乗算器の最適化手法について2007

    • 著者名/発表者名
      松永 多苗子, 松永 裕介
    • 雑誌名

      第20回回路とシステム軽井沢ワークショップ

      ページ: 349-354

    • 査読あり
    • データソース
      KAKENHI-PROJECT-19200004
  • [雑誌論文] LUT型FPGA向けテクノロジ・マッピングにおける深さ制約下のLUT数削減手法2007

    • 著者名/発表者名
      高田 大河, 松永 裕介
    • 雑誌名

      電子情報通信学会技術研究報告 VLD2007-101

      ページ: 73-78

    • NAID

      110006533284

    • データソース
      KAKENHI-PROJECT-19200004
  • [雑誌論文] 専用演算器の使用を考慮した効率的な動作合成手法2007

    • 著者名/発表者名
      貞方 毅, 松永 裕介
    • 雑誌名

      電子情報通信学会技術研究報告 VLD2007-89

      ページ: 55-59

    • NAID

      110006533281

    • データソース
      KAKENHI-PROJECT-19200004
  • [雑誌論文] DAGカバリング問題の下限とそれを用いた厳密アルゴリズムについて2007

    • 著者名/発表者名
      松永 裕介
    • 雑誌名

      情報処理学会研究報告2007-SLDM-130

      ページ: 39-44

    • NAID

      110006290348

    • データソース
      KAKENHI-PROJECT-19200004
  • [雑誌論文] 非順序式バックトラック手法を用いたテストパタン生成における矛盾の解析2007

    • 著者名/発表者名
      吉村 正義, 松永 裕介
    • 雑誌名

      DAシンポジウム2007 2007(7)

      ページ: 211-214

    • データソース
      KAKENHI-PROJECT-19200004
  • [雑誌論文] 動作合成におけるチェイニングに関する考察2005

    • 著者名/発表者名
      貞方 毅, 松永 裕介
    • 雑誌名

      情報処理学会研究報告 2005-SLDM-122

      ページ: 67-72

    • NAID

      110004018524

    • データソース
      KAKENHI-PROJECT-14GS0218
  • [雑誌論文] コンテクストを考慮した parallel prefix adder 合成手法2005

    • 著者名/発表者名
      松永 多苗子, 松永 裕介
    • 雑誌名

      電子情報通信学会技術報告 No.VLD2005-2 (2005-05)

      ページ: 7-12

    • NAID

      110003295452

    • データソース
      KAKENHI-PROJECT-14GS0218
  • [雑誌論文] コンテクストを考慮したparallel prefix adder合成手法2005

    • 著者名/発表者名
      松永 多苗子 and 松永 裕介
    • 雑誌名

      電子情報通信学会技術報告 No.VLD2005-2(2005-05)

      ページ: 7-12

    • NAID

      110003295452

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-14GS0218
  • [雑誌論文] 動作合成におけるチェイニングに関する考察2005

    • 著者名/発表者名
      貞方 毅 and 松永 裕介
    • 雑誌名

      情報処理学会研究報告 2005-SLDM-122

      ページ: 67-72

    • NAID

      110004018524

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-14GS0218
  • [雑誌論文] A Behavioral Synthesis Method Considering Chaining2005

    • 著者名/発表者名
      Tsuyoshi Sadakata, Yusuke Matsunaga
    • 雑誌名

      IPSJ SIG Technical Report 2005-SLDM-119

      ページ: 19-24

    • NAID

      110003206357

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-15300019
  • [雑誌論文] Enhancing the Performance of Multi-Cycle Path Analysis in an Industrial Setting2004

    • 著者名/発表者名
      Hiroyuki Higuchi, Yusuke Matsunaga
    • 雑誌名

      Asia and South Pacific Design Automation Conference 2004

      ページ: 192-197

    • NAID

      120006655285

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-15300019
  • [雑誌論文] Customizable Framework for Arithmetic Synthesis2004

    • 著者名/発表者名
      Taeko Matsunaga, et al.
    • 雑誌名

      SASIMI2004

      ページ: 315-318

    • NAID

      120006655315

    • データソース
      KAKENHI-PROJECT-14GS0218
  • [雑誌論文] A Behavioral Synthesis Method Considering Complex Operations2004

    • 著者名/発表者名
      Tsuyoshi Sadakata, Yusuke Matsunaga
    • 雑誌名

      DA Symposium 2004

      ページ: 301-306

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-15300019
  • [雑誌論文] On a Boolean matching algorithm for LUT trees2004

    • 著者名/発表者名
      Yusuke Matsunaga
    • 雑誌名

      IEICE Technical Report VLD2003-128, CPSY2003-37(2004-01)

      ページ: 19-24

    • NAID

      110003178649

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-15300019
  • [雑誌論文] Customizable Framework for Arithmetic Synthesis2004

    • 著者名/発表者名
      Taeko Matsunaga, et al.
    • 雑誌名

      SASIMI2004

      ページ: 315-331

    • NAID

      120006655315

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-15300019
  • [雑誌論文] Practical test architecture optimization for system-on-a-chip under floorplanning constraints2004

    • 著者名/発表者名
      Makoto Sugihara, Kazuaki Murakami, Yusuke Matsunaga
    • 雑誌名

      IEEE Computer Society Symposium on VLSI

      ページ: 179-184

    • NAID

      120006655286

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-15300019
  • [雑誌論文] LUTの木構造に対するブーリアンマッチングアルゴリズムについて2004

    • 著者名/発表者名
      松永 裕介
    • 雑誌名

      電子情報通信学会技術研究報告 VLD2003-128, CPSY2003-37(2004-01)

      ページ: 19-24

    • NAID

      110003178649

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-15300019
  • [雑誌論文] テクノロジマッピングにおけるDAG被覆アルゴリズムについて2004

    • 著者名/発表者名
      松永 裕介
    • 雑誌名

      電子情報通信学会技術研究報告,VLD2004-7

      ページ: 1-6

    • NAID

      110003294344

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-15300019
  • [雑誌論文] Customizable Framework for Arithmetic Synthesis2004

    • 著者名/発表者名
      Taeko Matsunaga, et. al.
    • 雑誌名

      SASIMI2004

      ページ: 315-318

    • NAID

      120006655315

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-14GS0218
  • [雑誌論文] Hardware Design Course in Kyushu University useing FPGA2004

    • 著者名/発表者名
      Takanori Hayashida, Kiichirou Ota, Sozo Inoue, Yusuke Matsunaga, Ryo Kurazume, Tsuneo Nakasnishi, Hiroshi Fujita, Takanori Matsuzaki
    • 雑誌名

      DA Synposium 2004

      ページ: 49-54

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-15300019
  • [雑誌論文] 関数分解に基づくLUT型FPGA用ブーリアンマッチングアルゴリズムについて2004

    • 著者名/発表者名
      松永 裕介
    • 雑誌名

      情報処理学会論文誌 VLD2004-7

      ページ: 1300-1310

    • NAID

      110002712179

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-14GS0218
  • [雑誌論文] テクノロジマッピングにおけるDAG被覆アルゴリズムについて2004

    • 著者名/発表者名
      松永 裕介
    • 雑誌名

      電子情報通信学会技術研究報告 VLD2004-7

      ページ: 1-6

    • NAID

      110003294344

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-14GS0218
  • [雑誌論文] 関数分解に基づくLUT型FPGA用ブーリアンマッチングアルゴリズムについて2004

    • 著者名/発表者名
      松永 裕介
    • 雑誌名

      情報処理学会論文誌 45

      ページ: 1300-1310

    • NAID

      110002712179

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-15300019
  • [雑誌論文] On a DAG-covering algorithm for technology mapping2004

    • 著者名/発表者名
      Yusuke Matsunaga
    • 雑誌名

      IEICE Technical Report VLD2004-7

      ページ: 1-6

    • NAID

      110003294344

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-15300019
  • [雑誌論文] Customizable Framework for Arithmetic Synthesis2004

    • 著者名/発表者名
      Taeko Matsunaga, Yusuke Matsunaga
    • 雑誌名

      SASIMI2004

      ページ: 315-318

    • NAID

      120006655315

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-15300019
  • [雑誌論文] 関数分解に基づくLUT型FPGA用ブーリアンマッチングアルゴリズムについて2004

    • 著者名/発表者名
      松永 裕介 他
    • 雑誌名

      情報処理学会論文誌 Vol.45-No.5

      ページ: 1300-1310

    • NAID

      110002712179

    • データソース
      KAKENHI-PROJECT-15300019
  • [雑誌論文] An Evaluation on the Processor Archtecture for Programable Controller2004

    • 著者名/発表者名
      Daisuke Yamaguchi, Yuji Katsuki, Yusuke Matsunaga
    • 雑誌名

      IPSJ SIG Technical Report 2004-ARC-157

      ページ: 91-96

    • NAID

      110002774604

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-15300019
  • [雑誌論文] A Behavioral Synthesis Method Considering Complex Operations2004

    • 著者名/発表者名
      Tsuyoshi Sadakata, Yusuke Matsunaga
    • 雑誌名

      The 12th Workshop on Synthesis And System Integration of Mixed Information technologies Vol.1

      ページ: 303-309

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-15300019
  • [雑誌論文] Customizable Framework for Arithmetic Synthesis2004

    • 著者名/発表者名
      Taeko Matsunaga, et al.
    • 雑誌名

      The 12th Workshop on Synthesis And System Integration of Mixed Information technologies(SASIMI2004)

      ページ: 315-318

    • NAID

      120006655315

    • データソース
      KAKENHI-PROJECT-15300019
  • [雑誌論文] On Boolean Matching Algorithm for LUI-type FPGA Based on Functional Decomposition2004

    • 著者名/発表者名
      Yusuke Matsunaga
    • 雑誌名

      IPSJ Journal Vol.45, No.5

      ページ: 1300-1310

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-15300019
  • [雑誌論文] 高位合成技術の基礎2003

    • 著者名/発表者名
      松永 裕介
    • 雑誌名

      電子情報通信学会ソサイエティ大会

    • NAID

      120006655273

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-15300019
  • [雑誌論文] Basic techniques for high-level synthesis2003

    • 著者名/発表者名
      Yusuke Matsunaga
    • NAID

      110003321605

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-15300019
  • [雑誌論文] About the input vector determining method for low standby leakage current2003

    • 著者名/発表者名
      Kazuhiko Hirashima, Yusuke Matsunaga
    • 雑誌名

      IEICE Technical Report 2003-VLD-103

      ページ: 7-12

    • NAID

      110003294203

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-15300019
  • [学会発表] 論理施錠の施錠強度と攻撃耐性についての新たな評価の手法2021

    • 著者名/発表者名
      南 周作・松永 裕介
    • 学会等名
      電子情報通信学会VLSI設計技術研究会
    • データソース
      KAKENHI-PROJECT-18K11219
  • [学会発表] アフィン変換を用いた論理暗号化手法について2019

    • 著者名/発表者名
      松永 裕介
    • 学会等名
      電子情報通信学会VLD研究会
    • データソース
      KAKENHI-PROJECT-18K11219
  • [学会発表] 誤り修正論理合成を用いた論理暗号化手法2019

    • 著者名/発表者名
      松永 裕介
    • 学会等名
      情報処理学会DAシンポジウム
    • データソース
      KAKENHI-PROJECT-18K11219
  • [学会発表] 誤り修正論理合成を用いた論理暗号化手法について2019

    • 著者名/発表者名
      松永 裕介
    • 学会等名
      FTC研究会
    • データソース
      KAKENHI-PROJECT-18K11219
  • [学会発表] An efficient SAT-attack algorithm against logic encryption2019

    • 著者名/発表者名
      Yusuke Matsunaga, Masayoshi Yoshimura
    • 学会等名
      IOLTS
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-18K11219
  • [学会発表] An Efficient SAT-Attack Algorithm Against Logic Encryption2019

    • 著者名/発表者名
      Yusuke Matsunaga
    • 学会等名
      International Symposium on On-Line Testing and Robust System Design (IOLTS)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-19H01105
  • [学会発表] 論理暗号化に対する効率的なSAT攻撃アルゴリズムの評価2019

    • 著者名/発表者名
      松永 裕介, 吉村 正義
    • 学会等名
      電子情報通信学会VLD研究会
    • データソース
      KAKENHI-PROJECT-18K11219
  • [学会発表] An Efficient SAT-Attack Algorithm Against Logic Encryption2019

    • 著者名/発表者名
      Yusuke Matsunaga and Masayoshi Yoshimura
    • 学会等名
      IOLTS2019
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-18K11219
  • [学会発表] 論理暗号化に対するSAT攻撃アルゴリズムの高速化2019

    • 著者名/発表者名
      松永 裕介, 吉村 正義
    • 学会等名
      FTC研究会
    • データソース
      KAKENHI-PROJECT-18K11219
  • [学会発表] アフィン変換を用いた論理暗号化手法の評価2019

    • 著者名/発表者名
      松永 裕介
    • 学会等名
      電子情報通信学会VLD研究会
    • データソース
      KAKENHI-PROJECT-18K11219
  • [学会発表] テストセット最小化問題の両立集合被覆問題への定式化とその解法2018

    • 著者名/発表者名
      松永 裕介
    • 学会等名
      情報処理学会DAシンポジウム
    • データソース
      KAKENHI-PROJECT-18K11219
  • [学会発表] 組合せ最適化問題としてのテストセット最小化問題2018

    • 著者名/発表者名
      松永 裕介
    • 学会等名
      FTC研究会
    • データソース
      KAKENHI-PROJECT-18K11219
  • [学会発表] 論理暗号化に対するSAT攻撃の効率的なアルゴリズムについて2018

    • 著者名/発表者名
      松永 裕介, 吉村 正義
    • 学会等名
      電子情報通信学会VLD研究会(デザインガイア)
    • データソース
      KAKENHI-PROJECT-18K11219
  • [学会発表] 高位合成における種々の最適化手法について2010

    • 著者名/発表者名
      松永裕介
    • 学会等名
      第23回回路とシステム軽井沢ワークショップ
    • 発表場所
      長野県,招待講演
    • 年月日
      2010-04-19
    • データソース
      KAKENHI-PROJECT-20300020
  • [学会発表] 高位合成における種々の最適化手法について2010

    • 著者名/発表者名
      松永裕介
    • 学会等名
      第23回回路とシステム軽井沢ワークショップ
    • 発表場所
      軽井沢プリンスホテル(長野県)
    • 年月日
      2010-04-19
    • データソース
      KAKENHI-PROJECT-20300020
  • [学会発表] TMR based Error Correction Method Considering Trade-offs between Soft Error Tolerance and Area2010

    • 著者名/発表者名
      Shoji Harada, Masayoshi Yoshimura, Yusuke Matsunaga
    • 学会等名
      International Workshop on Logic and Synthesis
    • 発表場所
      米国カリフォルニア州
    • 年月日
      2010-06-18
    • データソース
      KAKENHI-PROJECT-20300020
  • [学会発表] Multi-Operand Adder Synthesis on FPGAs using Generalized Parallel Counters2009

    • 著者名/発表者名
      Taeko Matsunaga, Shinji Kimura, Yusuke Matsunaga
    • 学会等名
      International Workshop on Logic and Synthesis
    • 発表場所
      米国カリフォルニア州
    • 年月日
      2009-08-02
    • データソース
      KAKENHI-PROJECT-20300020
  • [学会発表] Multi-Operand Adder Synthesis on FPGAs using Generalized Parallel Counters2009

    • 著者名/発表者名
      Taeko Matsunaga, Shinji Kimura, Yusuke Matsunaga
    • 学会等名
      Proc.of International Workshop on Logic and Synthesis 2009,222-228
    • 発表場所
      Berkeley, CA, USA
    • 年月日
      2009-08-01
    • データソース
      KAKENHI-PROJECT-20300020
  • [学会発表] A Power-aware Post-processing under depth constraint for LUT-based FPGA Technology Mapping2009

    • 著者名/発表者名
      Taiga Takata, Yusuke Matsunaga
    • 学会等名
      Proc.of International Workshop on Logic and Synthesis 2009,332-339
    • 発表場所
      Berkeley, CA, USA
    • 年月日
      2009-08-02
    • データソース
      KAKENHI-PROJECT-20300020
  • [学会発表] An efficient cut enumeration for depth-optimum technology mapping for LUT-based FPGAs2009

    • 著者名/発表者名
      Taiga Takata, Yusuke Matsunaga
    • 学会等名
      ACM Great Lakes Symposium on VLSI,351-356
    • 発表場所
      Boston, MA, USA
    • 年月日
      2009-05-11
    • データソース
      KAKENHI-PROJECT-20300020
  • [学会発表] ディペンダブルVLSI設計技術への挑戦2009

    • 著者名/発表者名
      松永裕介, 他
    • 学会等名
      電子情報通信学会総合大会
    • 発表場所
      愛媛大学
    • 年月日
      2009-03-18
    • データソース
      KAKENHI-PROJECT-19200004
  • [学会発表] ディペンダブルVLSI設計技術への挑戦2009

    • 著者名/発表者名
      松永裕介, 安浦寛人, 馬場謙介, 吉村正義, 佐藤寿倫, 杉原真
    • 学会等名
      電子情報通信学会全国大会
    • 発表場所
      愛媛大学(愛媛県松山市)
    • 年月日
      2009-03-18
    • データソース
      KAKENHI-PROJECT-19200004
  • [学会発表] A Power-aware Post-processing under depth constraint for LUT-based FPGA Technology Mapping2009

    • 著者名/発表者名
      Taiga Takata, Yusuke Matsunaga
    • 学会等名
      International Workshop on Logic and Synthesis
    • 発表場所
      米国カリフォルニア州
    • 年月日
      2009-08-01
    • データソース
      KAKENHI-PROJECT-20300020
  • [学会発表] Synthesis of parallel prefix adders considering switching activities2008

    • 著者名/発表者名
      Taeko Matsunaga, Sin ji Kimura, Yusuke Matsunaga
    • 学会等名
      In proceedings of ICCD2008,404-409
    • 発表場所
      Tahoe, CA, USA
    • 年月日
      2008-10-14
    • データソース
      KAKENHI-PROJECT-20300020
  • [学会発表] Synthesis of parallel prefix adders considering switching activities2008

    • 著者名/発表者名
      Taeko Matsunaga, Shinji Kimura, Yusuke Matsunaga
    • 学会等名
      ICCD2008
    • 発表場所
      米国カリフォルニア州
    • 年月日
      2008-10-14
    • データソース
      KAKENHI-PROJECT-20300020
  • 1.  安浦 寛人 (80135540)
    共同の研究課題数: 8件
    共同の研究成果数: 1件
  • 2.  村上 和彰 (10200263)
    共同の研究課題数: 7件
    共同の研究成果数: 1件
  • 3.  井上 創造 (90346825)
    共同の研究課題数: 5件
    共同の研究成果数: 0件
  • 4.  澤田 直 (70235464)
    共同の研究課題数: 5件
    共同の研究成果数: 0件
  • 5.  岩井原 瑞穂 (40253538)
    共同の研究課題数: 4件
    共同の研究成果数: 0件
  • 6.  吉村 正義 (90452820)
    共同の研究課題数: 3件
    共同の研究成果数: 8件
  • 7.  伊達 博
    共同の研究課題数: 3件
    共同の研究成果数: 0件
  • 8.  佐藤 寿倫 (00322298)
    共同の研究課題数: 2件
    共同の研究成果数: 1件
  • 9.  馬場 謙介 (70380681)
    共同の研究課題数: 2件
    共同の研究成果数: 1件
  • 10.  井上 弘士 (80341410)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 11.  冨山 宏之
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 12.  大隈 孝憲
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 13.  富山 宏之
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 14.  池田 大輔 (00294992)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 15.  石田 浩二 (90467879)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 16.  ウッディン モハマッド・メスバ (70543338)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 17.  稲永 俊介 (60448404)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 18.  山下 雅史 (00135419)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 19.  福田 晃 (80165282)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 20.  黒木 幸令 (40234596)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 21.  櫻井 幸一 (60264066)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 22.  篠崎 彰彦 (00315045)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 23.  VASILY Moshnyaga (40243050)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 24.  金谷 晴一 (40271077)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 25.  中西 恒夫 (70311785)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 26.  宮崎 明雄 (70192763)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 27.  田中 雅光 (10377864)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 28.  岩下 武史 (30324685)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 29.  谷本 輝夫 (60826353)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 30.  小野 貴継 (80756239)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 31.  廣瀬 啓
    共同の研究課題数: 1件
    共同の研究成果数: 0件

URL: 

この研究者とORCID iDの連携を行いますか?
※ この処理は、研究者本人だけが実行できます。

Are you sure that you want to link your ORCID iD to your KAKEN Researcher profile?
* This action can be performed only by the researcher himself/herself who is listed on the KAKEN Researcher’s page. Are you sure that this KAKEN Researcher’s page is your page?

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi