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

藤田 昌宏  Fujita Masahiro

ORCIDORCID連携する *注記
研究者番号 70323524
その他のID
外部サイト
所属 (過去の研究課題情報に基づく) *注記 2021年度: 東京大学, 大学院工学系研究科(工学部), 教授
2019年度: 東京大学, 大学院工学系研究科(工学部), 教授
2017年度 – 2018年度: 東京大学, 大規模集積システム設計教育研究センター, 教授
2015年度: 東京大学, 学内共同利用施設等, 教授
2012年度 – 2015年度: 東京大学, 大規模集積システム設計教育研究センター, 教授 … もっと見る
2013年度 – 2014年度: 東京大学, 大規模集積システム設計研究センター, 教授
2013年度: 東京大学, 学内共同利用施設等, 教授
2007年度 – 2008年度: 東京大学, 大規模集積システム設計教育研究センター, 教授
2004年度: 東京大学, 大規模集積システム設計教育研究センター, 教授
2002年度 – 2003年度: 東京大学, 大学院・工学系研究科, 教授 隠す
審査区分/研究分野
研究代表者
計算機システム・ネットワーク / 計算機システム / 電子デバイス・機器工学 / 電子デバイス・電子機器
研究代表者以外
生命・健康・医療情報学
キーワード
研究代表者
高性能計算 / システムLSI / 低消費電力 / ハイパフォーマンス・コンピューティング / パワーゲーティング / 自動バックアップ / AIエッジ処理 / ニューラルネットワーク処理 / VLSI配線 / 量子回路 … もっと見る / テスト手法 / デバッグ手法 / 計算再利用 / 不揮発性メモリ / 計算高信頼化 / Arithmetic Unit / System-Level Design / Model Checking / Equivalence Verification / Design Analysis / Debug / Formal Verification / System LSI / 形式的検証技術 / 算術演算器 / システムレベル設計 / モデルチェッキング / 等価性検証 / 設計解析 / デバッグ / 形式的検証 / デバッグ支援技術 / ストリーム処理化 / ハイパフォーマンスコンピューティング / 自動設計修復 / メモリベース計算 / 多重表引 / 設計自動修復 / ストリーム処理 / 組み込みシステム / 検証・デバッグ / 組込みシステム / プログラム解析 / 論理関数解析 / 差異抽出 / 設計デバッグ / 設計自動合成 / 形式的解析 / 形式的手法 / Tau Leaping / Next Reaction Method / ハードウェア化 / 設計支援 / システムバイオロジー / ハードウェア・ソフトウェア協調設計 … もっと見る
研究代表者以外
シリコン神経ネットワーク / 神経ネットワークモデル / 神経模倣システム / 脳型情報処理 隠す
  • 研究課題

    (7件)
  • 研究成果

    (67件)
  • 共同研究者

    (4人)
  •  自動状態バックアップ機構を利用した高性能・高信頼システム設計技術研究代表者

    • 研究代表者
      藤田 昌宏
    • 研究期間 (年度)
      2017 – 2019
    • 研究種目
      基盤研究(B)
    • 研究分野
      計算機システム
    • 研究機関
      東京大学
  •  デジタル演算回路による大規模シリコン神経ネットワーク

    • 研究代表者
      河野 崇
    • 研究期間 (年度)
      2013 – 2015
    • 研究種目
      基盤研究(A)
    • 研究分野
      生命・健康・医療情報学
    • 研究機関
      東京大学
  •  システム間の差異に着目した検証・デバッグ手法研究代表者

    • 研究代表者
      藤田 昌宏
    • 研究期間 (年度)
      2012 – 2014
    • 研究種目
      基盤研究(B)
    • 研究分野
      計算機システム・ネットワーク
    • 研究機関
      東京大学
  •  ストリーム処理技術を応用したシステム自動修復技術に関する研究研究代表者

    • 研究代表者
      藤田 昌宏
    • 研究期間 (年度)
      2012 – 2013
    • 研究種目
      挑戦的萌芽研究
    • 研究分野
      計算機システム・ネットワーク
    • 研究機関
      東京大学
  •  電子機器用解析技術のシステムバイオロジーへの応用研究代表者

    • 研究代表者
      藤田 昌宏
    • 研究期間 (年度)
      2007 – 2008
    • 研究種目
      萌芽研究
    • 研究分野
      計算機システム・ネットワーク
    • 研究機関
      東京大学
  •  形式的手法に基づく動的変更可能なソフトウェア・ハードウェアの同時生成手法研究代表者

    • 研究代表者
      藤田 昌宏
    • 研究期間 (年度)
      2003
    • 研究種目
      基盤研究(C)
    • 研究分野
      電子デバイス・電子機器
    • 研究機関
      東京大学
  •  形式的検証手法を利用したデジタルシステムの設計デバッグ技術に関する研究研究代表者

    • 研究代表者
      藤田 昌宏
    • 研究期間 (年度)
      2002 – 2004
    • 研究種目
      基盤研究(B)
    • 研究分野
      電子デバイス・機器工学
    • 研究機関
      東京大学

すべて 2021 2020 2019 2018 2017 2015 2014 2013 2012 2005 2004 2003 2002 その他

すべて 雑誌論文 学会発表

  • [雑誌論文] Enhanced Design Debugging With Assistance From Guidance-Based Model Checking2021

    • 著者名/発表者名
      V. S. Vineesh, Binod Kumar, Rushikesh Shinde, Neelam Sharma, Masahiro Fujita, Virendra Singh
    • 雑誌名

      IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

      巻: 40(5) 号: 5 ページ: 985-998

    • DOI

      10.1109/tcad.2020.3011039

    • 査読あり / オープンアクセス / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-17H01709
  • [雑誌論文] SAT-Based On-Track Bus Routing2021

    • 著者名/発表者名
      He-Teng Zhang, Masahiro Fujita, Chung-Kuan Cheng, Jie-Hong R. Jiang
    • 雑誌名

      IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

      巻: 40(4) 号: 4 ページ: 735-747

    • DOI

      10.1109/tcad.2020.3007253

    • 査読あり / オープンアクセス / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-17H01709
  • [雑誌論文] Design of Single-Bit Fault-Tolerant Reversible Circuits2020

    • 著者名/発表者名
      Hari Mohan Gaur, Ashutosh Kumar Singh, Anand Mohan, Masahiro Fujita, Dhiraj K. Pradhan
    • 雑誌名

      IEEE Design and Test

      巻: 38(2) 号: 2 ページ: 89-96

    • DOI

      10.1109/mdat.2020.3006808

    • 査読あり / オープンアクセス / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-17H01709
  • [雑誌論文] ゲートの種類とゲート信号入力探索による論理最適化・デバッグ手法2017

    • 著者名/発表者名
      藤田昌宏、ガラバギアミルマスード
    • 雑誌名

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

      巻: 117 ページ: 151-156

    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-17H01709
  • [雑誌論文] 複数FPGAを用いたスパイキングニューラルネットワークシミュレーションの高速化2017

    • 著者名/発表者名
      岡本朋大、川尾太郎、河野崇、藤田昌宏
    • 雑誌名

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

      巻: 117 ページ: 157-162

    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-17H01709
  • [雑誌論文] An approach to approximate computing: Logic transformations for one-minterm changes in specification2017

    • 著者名/発表者名
      Fujita Masahiro
    • 雑誌名

      2017 IEEE International High Level Design Validation and Test Workshop (HLDVT)

      巻: 1 ページ: 91-94

    • DOI

      10.1109/hldvt.2017.8167469

    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-17H01709
  • [雑誌論文] A new approach for selecting inputs of logic functions during debug2017

    • 著者名/発表者名
      Gharehbaghi Amir Masoud、Fujita Masahiro
    • 雑誌名

      2017 18th International Symposium on Quality Electronic Design (ISQED)

      巻: 1 ページ: 166-173

    • DOI

      10.1109/isqed.2017.7918311

    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-17H01709
  • [雑誌論文] SAT-based automatic rectification and debugging of combinational circuits with LUT insertions2014

    • 著者名/発表者名
      S. Jo, T. Matsumoto, and M. Fujita
    • 雑誌名

      IPSJ Transactions on System LSI Design Methodology

      巻: Vol.7, February Issue ページ: 46-55

    • NAID

      130003394413

    • データソース
      KAKENHI-PROJECT-24650019
  • [雑誌論文] SAT-based Automatic Rectification and Debugging of Combinational Circuits with LUT Insertions2014

    • 著者名/発表者名
      S. Jo, T. Matsumoto, M. Fujita
    • 雑誌名

      IPSJ Transactions on System LSI Design Methodology

      巻: 7 号: 0 ページ: 46-55

    • DOI

      10.2197/ipsjtsldm.7.46

    • NAID

      130003394413

    • ISSN
      1882-6687
    • 言語
      英語
    • 査読あり
    • データソース
      KAKENHI-PROJECT-23700051, KAKENHI-PROJECT-24300015, KAKENHI-PROJECT-24650019
  • [雑誌論文] Automatic Rectification of Processor Design Bugs Using a Scalable and General Correction Model2014

    • 著者名/発表者名
      Amir Masoud Gharehbaghi, Masahiro Fujita
    • 雑誌名

      IEICE Transactions on Information and Systems

      巻: E97.D 号: 4 ページ: 852-863

    • DOI

      10.1587/transinf.E97.D.852

    • NAID

      130003394911

    • ISSN
      0916-8532, 1745-1361
    • 言語
      英語
    • 査読あり
    • データソース
      KAKENHI-PROJECT-24300015
  • [雑誌論文] Cベース高位設計における等価性検証フレームワークと反例解析手法の提案2005

    • 著者名/発表者名
      松本剛史, 斎藤寛, 藤田昌宏
    • 雑誌名

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

      ページ: 557-562

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-14350178
  • [雑誌論文] Using SpecC Program Slicing to detect uninitialized variables and unused variables2005

    • 著者名/発表者名
      S.Sasaki, K.Tanabe, M.Fujita
    • 雑誌名

      Technical Report of IEICE, VLD2004-134

      ページ: 59-64

    • NAID

      110003318259

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-14350178
  • [雑誌論文] SpecC記述のプログラムスライシングを利用した未初期化変数・未使用変数の検出2005

    • 著者名/発表者名
      佐々木俊介, 田辺健, 藤田昌宏
    • 雑誌名

      電子情報通信学会技術研究報告 Vol.104,No.708

      ページ: 59-64

    • NAID

      110003318259

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-14350178
  • [雑誌論文] Cベース高位設計における等価性検証フレームワークと反例解析手法の提案2005

    • 著者名/発表者名
      松本剛史, 斎藤寛, 藤田昌宏
    • 雑誌名

      第18回 回路とシステム軽井沢ワークショップ (発表予定)

    • データソース
      KAKENHI-PROJECT-14350178
  • [雑誌論文] Equivalence Checking Framework and Counterexample Analysis Method in C-Based High-Level Design2005

    • 著者名/発表者名
      T.Matsumoto, H.Saito, M.Fujita
    • 雑誌名

      Proc.of The 18th Workshop on Circuits and Systems in Karuizawa

      ページ: 557-562

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-14350178
  • [雑誌論文] On Equivalence Checking Between Behavioral and RTL Descriptions2005

    • 著者名/発表者名
      M.Fujita
    • 雑誌名

      ACM Transactions on Design Automation of Electornic Systems (掲載予定)

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-14350178
  • [雑誌論文] A Program Slicing for System Level Description written in SpecC Language2004

    • 著者名/発表者名
      K.Tanabe, H.Saito, S.Komatsu, M.Fujita
    • 雑誌名

      Technical Report of IEICE, VLD2003-149

      ページ: 79-84

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-14350178
  • [雑誌論文] Program Slicing for System Level Designs in SpecC2004

    • 著者名/発表者名
      K.Tanabe, S.Sasaki, M.Fujita
    • 雑誌名

      Proc.of the IASTED, International Conference on Advances in Computer Science and Technology

      ページ: 252-258

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-14350178
  • [雑誌論文] Program Slicing for System Level Designs in SpecC2004

    • 著者名/発表者名
      K.Tanabe, S.Sasaki, M.Fujita
    • 雑誌名

      Proc. of the IASTED, International Conference on Advances in Computer Science and Technology

      ページ: 252-258

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-14350178
  • [雑誌論文] Debug Methodology for Arithmetic Circuits based on Architecture Library Mapping2003

    • 著者名/発表者名
      M.Kubo, T.Matsumoto, M.Fujita
    • 雑誌名

      Proc. of International Workshop on Logic and Synthesis 2003

      ページ: 73-80

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-14350178
  • [雑誌論文] Event-Driven Observability Enhanced Coverage Analysis of C Programs for Functional Validation2003

    • 著者名/発表者名
      F.Fallah, I.Ghosh, M.Fujita
    • 雑誌名

      Proc.Asia South Pacific Design Automation Conference

      ページ: 123-128

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-14350178
  • [雑誌論文] Event-Driven Observability Enhanced Coverage Analysis of C Programs for Functional Validation2003

    • 著者名/発表者名
      F.Fallah, I.Ghosh, M.Fujita
    • 雑誌名

      Proc. Asia South Pacific Design Automation Conference 2003

      ページ: 123-128

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-14350178
  • [雑誌論文] Debug Methodology for Arithmetic Circuits based on Architecture Library Mapping2003

    • 著者名/発表者名
      M.Kubo, T.Matsumoto, M.Fujita
    • 雑誌名

      Proc.of International Workshop on Logic and Synthesis

      ページ: 73-80

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-14350178
  • [雑誌論文] SpecC言語によるハードウェア・ソフトウェア混在システム記述を対象としたプログラムスライシング手法の提案2003

    • 著者名/発表者名
      田辺 健, 齋藤 寛, 小松 聡, 藤田昌宏
    • 雑誌名

      電子情報通信学会技術研究報告 VLSI設計技術 VLD2003-149 103・702

      ページ: 79-84

    • NAID

      110003316386

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-14350178
  • [雑誌論文] An Equivalence Checking Methodology for Hardware Oriented C-based Specifications2002

    • 著者名/発表者名
      H.Saito, T.Ogawa, S.Thanyapat, M.Fujita
    • 雑誌名

      Proc. International High Level Design Validation and Test Workshop 2002

      ページ: 139-144

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-14350178
  • [雑誌論文] Debug Methodology for Arithmetic Circuits on FPGAs2002

    • 著者名/発表者名
      Masao Kubo, Masahiro Fujita
    • 雑誌名

      In Proc. of IEEE International Conference on Field-Programmable Technology (FPT-02) 2002

      ページ: 236-242

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-14350178
  • [雑誌論文] Verification of Synchronization in SpecC Description with the Use of Difference Decision Diagrams2002

    • 著者名/発表者名
      T.Sakunkonchak, M.Fujita
    • 雑誌名

      Proc.of Forum on specification & Design Languages (FDL'02)

    • NAID

      110003212601

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-14350178
  • [雑誌論文] Coverage Metric for Observability-Based Validation of C Programs2002

    • 著者名/発表者名
      F.Fallah, I.Ghosh, M.Fujita
    • 雑誌名

      Proc.of Microprocessor Test and Verification (MTV'02)

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-14350178
  • [雑誌論文] Verification of Synchronization in SpecC Description with the Use of Difference Decision Diagrams2002

    • 著者名/発表者名
      T.Sakunkonchak, M.Fujita
    • 雑誌名

      Proc. of Forum on specification & Design Languages (FDL'02) 2002

    • NAID

      110003212601

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-14350178
  • [雑誌論文] Verification of Event-Based Synchronization of SpecC Description Using Difference Decision Diagrams2002

    • 著者名/発表者名
      T.Sakunkonchak, M.Fujita
    • 雑誌名

      Formal Techniques for Networked and Distributed Systems (FORTE2002) 2002

      ページ: 369-369

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-14350178
  • [雑誌論文] An Equivalence Checking Methodology for Hardware Oriented C-based Specifications2002

    • 著者名/発表者名
      H.Saito, T.Ogawa, S.Thanyapat, M.Fujita
    • 雑誌名

      Proc.International High Level Design Validation and Test Workshop

      ページ: 139-144

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-14350178
  • [雑誌論文] Verification of Event-Based Synchronization of SpecC Description Using Difference Decision Diagrams2002

    • 著者名/発表者名
      T.Sakunkonchak, M.Fujita
    • 雑誌名

      Formal Techniques for Networked and Distributed Systems (FORTE2002)

      ページ: 369-369

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-14350178
  • [雑誌論文] Coverage Metric for Observability-Based Validation of C Programs2002

    • 著者名/発表者名
      F.Fallah, I.Ghosh, M.Fujita
    • 雑誌名

      Proc. of Microprocessor Test and Verification (MTV'02) 2002

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-14350178
  • [雑誌論文] Debug Methodology for Arithmetic Circuits on FPGAs

    • 著者名/発表者名
      Masao Kubo, Masahiro Fujita
    • 雑誌名

      Proc.of IEEE International Conference on Field-Programmable Technology (FPT-02)

      ページ: 236-242

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-14350178
  • [雑誌論文] On Equivalence Checking Between Behavioral and RTL Descriptions

    • 著者名/発表者名
      M.Fujita
    • 雑誌名

      ACM Transactions on Design Automation of Electronic Systems (to be published)

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-14350178
  • [学会発表] Partial synthesis and its application to automatic generation of parallel/distributed algorithms2019

    • 著者名/発表者名
      藤田 昌宏
    • 学会等名
      International Conference on Software and Computer Application
    • 招待講演 / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-17H01709
  • [学会発表] A new semi-formal approach to functional testing2018

    • 著者名/発表者名
      藤田 昌宏
    • 学会等名
      Workshop on RTL and High Level Testing
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-17H01709
  • [学会発表] Mobile super computing and big data analysis with non-volatile memory technology2018

    • 著者名/発表者名
      Masahiro Fujita
    • 学会等名
      International Conference on Software and Computer Applications
    • 招待講演 / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-17H01709
  • [学会発表] 高位合成による自動パイプライン化を利用したスパイキングニューラルネットワークシミュレーション高速化回路のFPGA実装2015

    • 著者名/発表者名
      川尾 太郎, 河野 崇, 藤田 昌宏
    • 学会等名
      第173回システムとLSIの設計技術研究発表会
    • 発表場所
      長崎県勤労福祉会館(長崎県)
    • 年月日
      2015-12-01
    • データソース
      KAKENHI-PROJECT-25240045
  • [学会発表] アサーション自動生成とそのシミュレーションによる完全検証2014

    • 著者名/発表者名
      藤田昌宏, 城怜史, 松本剛史
    • 学会等名
      組込技術とネットワークに関するワークショップ(ETNET2014)
    • データソース
      KAKENHI-PROJECT-24650019
  • [学会発表] RTL datapath optimization using system-level transformations2014

    • 著者名/発表者名
      S. Ghandali, B. Alizadeh, M. Fujita, Z. Navabi
    • 学会等名
      Proc. of International Symposium on Quality Electronic Design (ISQED'14)
    • データソース
      KAKENHI-PROJECT-24650019
  • [学会発表] アサーション自動生成とそのシミュレーションによる完全検証2014

    • 著者名/発表者名
      藤田昌宏, 城怜史, 松本剛史
    • 学会等名
      組込み技術とネットワークに関するワークショップ ETNET2014
    • 発表場所
      ICT文化センター, 沖縄
    • データソース
      KAKENHI-PROJECT-24650019
  • [学会発表] プログラム可能データパスとSMTソルバーを利用した高位設計デバッグ手法2014

    • 著者名/発表者名
      松本剛史, 城怜史, 藤田昌宏
    • 学会等名
      組込技術とネットワークに関するワークショップ(ETNET2014)
    • データソース
      KAKENHI-PROJECT-24650019
  • [学会発表] A Debugging Method for Gate Level Circuit Designs by Introducing Programmability2013

    • 著者名/発表者名
      K. Oshima, T. Matsumoto, and M. Fujita
    • 学会等名
      Proc. of 21st IFIP/IEEE International Conference on Very Large Scale Integration (VLSI-SoC'13)
    • データソース
      KAKENHI-PROJECT-24650019
  • [学会発表] Hardware Implementation of BLTL Property Checkers for Acceleration of Statistical Model Checking2013

    • 著者名/発表者名
      K. Oshima, T. Matsumoto, and M. Fujita
    • 学会等名
      Proc. of the International Conference on Computer-Aided Design (ICCAD'13)
    • データソース
      KAKENHI-PROJECT-24650019
  • [学会発表] Debugging Processors with Advanced Features by Reprogramming LUTs on FPGA2013

    • 著者名/発表者名
      S. Jo, A.M. Gharehbaghi, T. Matsumoto, and M. Fujita
    • 学会等名
      Proc. of the International Conference on Field-Programmable Technology (ICFPT)
    • データソース
      KAKENHI-PROJECT-24650019
  • [学会発表] Partial synthesis through sampling with and without specification2013

    • 著者名/発表者名
      M. Fujita, S. Jo, S. Ono, and T. Matsumoto
    • 学会等名
      Proc. of the International Conference on Computer-Aided Design (ICCAD'13)
    • データソース
      KAKENHI-PROJECT-24650019
  • [学会発表] FOF: Functionally Observable Fault and its ATPG Techniques2013

    • 著者名/発表者名
      Masahiro Fujita, Takeshi Matsumoto, Satoshi Jo
    • 学会等名
      21st IFIP/IEEE International Conference on Very Large Scale Integration (VLSI-SoC '13)
    • 発表場所
      Istanbul, Turkey
    • データソース
      KAKENHI-PROJECT-24650019
  • [学会発表] Partial synthesis through sampling with and without specification2013

    • 著者名/発表者名
      Masahiro Fujita, Satoshi Jo, Shohei Ono, Takeshi Matsumoto
    • 学会等名
      International Conference on Computer-Aided Design (ICCAD '13)
    • 発表場所
      San Jose, USA
    • データソース
      KAKENHI-PROJECT-24650019
  • [学会発表] FOF: Functionally Observable Fault and its ATPG Techniques2013

    • 著者名/発表者名
      Masahiro Fujita, Takeshi Matsumoto, Satoshi Jo
    • 学会等名
      21st IFIP/IEEE International Conference on Very Large Scale Integration (VLSI-SoC '13)
    • 発表場所
      Istanbul, Turkey
    • データソース
      KAKENHI-PROJECT-24300015
  • [学会発表] Diagnosis and correction of buggy hardware/software with formal approaches2013

    • 著者名/発表者名
      M. Fujita
    • 学会等名
      17th International Symposium on VLSI Design and Test
    • データソース
      KAKENHI-PROJECT-24650019
  • [学会発表] A Debugging Method for Gate Level Circuit Designs by Introducing Programmability2013

    • 著者名/発表者名
      Kousuke Oshima, Takeshi Matsumoto, Masahiro Fujita
    • 学会等名
      21st IFIP/IEEE International Conference on Very Large Scale Integration (VLSI-SoC '13)
    • 発表場所
      Istanbul, Turkey
    • データソース
      KAKENHI-PROJECT-24300015
  • [学会発表] Hardware Implementation of BLTL Property Checkers for Acceleration of Statistical Model Checking2013

    • 著者名/発表者名
      Kousuke Oshima, Takeshi Matsumoto, Masahiro Fujita
    • 学会等名
      International Conference on Computer-Aided Design (ICCAD '13)
    • 発表場所
      San Jose, USA
    • データソース
      KAKENHI-PROJECT-24650019
  • [学会発表] Diagnosis and Correction of Buggy Hardware/Software with Formal Approaches2013

    • 著者名/発表者名
      M. Fujita
    • 学会等名
      International Workshop on Design and Implementation of Formal Tools and Systems
    • 発表場所
      Portland, OR
    • 年月日
      2013-10-19
    • データソース
      KAKENHI-PROJECT-24650019
  • [学会発表] Partial synthesis through sampling with and without specification2013

    • 著者名/発表者名
      Masahiro Fujita, Satoshi Jo, Shohei Ono, Takeshi Matsumoto
    • 学会等名
      International Conference on Computer-Aided Design (ICCAD '13)
    • 発表場所
      San Jose, USA
    • データソース
      KAKENHI-PROJECT-24300015
  • [学会発表] High Performance and Flexible Computing Systems with Electronic Design Automation2013

    • 著者名/発表者名
      M. Fujita
    • 学会等名
      2013 IEEE International Conference on Electronic Measurement & Instruments
    • データソース
      KAKENHI-PROJECT-24650019
  • [学会発表] A Debugging Method for Gate Level Circuit Designs by Introducing Programmability2013

    • 著者名/発表者名
      Kousuke Oshima, Takeshi Matsumoto, Masahiro Fujita
    • 学会等名
      21st IFIP/IEEE International Conference on Very Large Scale Integration (VLSI-SoC '13)
    • 発表場所
      Istanbul, Turkey
    • データソース
      KAKENHI-PROJECT-24650019
  • [学会発表] Automatic Assertion Extraction in Gate-Level Simulation Using GPGPUs2012

    • 著者名/発表者名
      Shohei Ono, Takeshi Matsumoto, Masahiro Fujita
    • 学会等名
      IEEE 30th International Conference on Computer Design
    • 発表場所
      Montreal, Canada
    • データソース
      KAKENHI-PROJECT-24650019
  • [学会発表] Automatic Assertion Extraction in Gate-Level Simulation Using GPGPUs2012

    • 著者名/発表者名
      S. Ono, T. Matsumoto, and M. Fujita
    • 学会等名
      Proc. of IEEE 30th International Conference on Computer Design
    • データソース
      KAKENHI-PROJECT-24650019
  • [学会発表] SAT-based automatic rectification and debugging of combinational circuits with LUT insertions2012

    • 著者名/発表者名
      Satoshi Jo, Takeshi Matsumoto, Masahiro Fujita
    • 学会等名
      IEEE 21st Asia Test Symposium
    • 発表場所
      朱鷺メッセ, 新潟
    • データソース
      KAKENHI-PROJECT-24300015
  • [学会発表] SAT-based automatic rectification and debugging of combinational circuits with LUT insertions2012

    • 著者名/発表者名
      Satoshi Jo, Takeshi Matsumoto, Masahiro Fujita
    • 学会等名
      IEEE 21st Asia Test Symposium
    • 発表場所
      新潟県朱鷺メッセ新潟コンベンションセンター
    • データソース
      KAKENHI-PROJECT-24650019
  • [学会発表] SAT-based automatic rectification and debugging of combinational circuits with LUT insertions2012

    • 著者名/発表者名
      S. Jo, T. Matsumoto, and M. Fujita
    • 学会等名
      Proc. of IEEE 21st Asia Test Symposium
    • データソース
      KAKENHI-PROJECT-24650019
  • [学会発表] Efficient SAT-based ATPG techniques for all multiple stuck-at faults

    • 著者名/発表者名
      Masahiro Fujita, Alan Mishchenko
    • 学会等名
      International Test Conference
    • 発表場所
      Seattle, USA
    • 年月日
      2014-10-19 – 2014-10-24
    • データソース
      KAKENHI-PROJECT-24300015
  • [学会発表] Incremental ATPG methods for multiple faults under multiple fault models

    • 著者名/発表者名
      Masahiro Fujita, Naoki Taguchi, Kentaro Iwata, Alan Mishchenko
    • 学会等名
      16th International Symposium on Quality Electronic Design
    • 発表場所
      Santa Clara, USA
    • 年月日
      2015-03-02 – 2015-03-04
    • データソース
      KAKENHI-PROJECT-24300015
  • [学会発表] Logic synthesis and verification on fixed topology

    • 著者名/発表者名
      Masahiro Fujita, Alan Mishchenko
    • 学会等名
      22nd IFIP/IEEE International Conference on Very Large Scale Integration
    • 発表場所
      Playa del Carmen, Mexico
    • 年月日
      2014-10-06 – 2014-10-08
    • データソース
      KAKENHI-PROJECT-24300015
  • [学会発表] Improving polynomial datapath debugging with HEDs

    • 著者名/発表者名
      Somayeh Sadeghi Kohan, Payman Behnam, Bijan Alizadeh, Masahiro Fujita, Zainalabedin Navabi
    • 学会等名
      European Test Symposium
    • 発表場所
      Paderborn, Germany
    • 年月日
      2014-05-26 – 2014-05-30
    • データソース
      KAKENHI-PROJECT-24300015
  • [学会発表] Variation-Aware Analysis and Test Pattern Generation Based on Functional Faults

    • 著者名/発表者名
      Masahiro Fujita
    • 学会等名
      IEEE Computer Society Annual Symposium on VLSI
    • 発表場所
      Tampa, USA
    • 年月日
      2014-07-09 – 2014-07-11
    • 招待講演
    • データソース
      KAKENHI-PROJECT-24300015
  • 1.  小松 聡 (90334325)
    共同の研究課題数: 2件
    共同の研究成果数: 2件
  • 2.  松本 剛史 (40536140)
    共同の研究課題数: 2件
    共同の研究成果数: 20件
  • 3.  河野 崇 (90447350)
    共同の研究課題数: 1件
    共同の研究成果数: 1件
  • 4.  河野 真治 (10284952)
    共同の研究課題数: 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