木村晋二 Kimura Shinji

研究者番号	20183303
その他のID
外部サイト
所属 (現在)	2025年度: 早稲田大学, 理工学術院(情報生産システム研究科・センター), 教授
所属 (過去の研究課題情報に基づく) *注記	2018年度 – 2024年度: 早稲田大学, 理工学術院(情報生産システム研究科・センター), 教授 2010年度 – 2015年度: 早稲田大学, 理工学術院, 教授 2007年度: 早稲田大学, 大学情報生産システム研究科, 教授 2007年度: 早稲田大学, 情報生産システム研究科, 教授 2006年度: 早稲田大学, 大学院情報生産システム研究科, 教授 … もっと見る 2003年度 – 2005年度: 早稲田大学, 大学院・情報生産システム研究科, 教授 2004年度: 早稲田大学, 情報生産システム研究科, 教授 2002年度: 早稲田大学, 情報生産システム研究科開設準備室, 教授 1993年度 – 2001年度: 奈良先端科学技術大学院大学, 情報科学研究科, 助教授 1988年度 – 1992年度: 神戸大学, 工学部, 助手 1986年度: 神戸大学, 工学部, 助手隠す
審査区分/研究分野	研究代表者計算機科学 / 小区分60040:計算機システム関連 / 合同審査対象区分:小区分60040:計算機システム関連、小区分60090:高性能計算関連 / 小区分60090:高性能計算関連 / 小区分60040:計算機システム関連 / 計算機システム・ネットワーク研究代表者以外計測・制御工学 / 小区分60040:計算機システム関連 / 計算機科学 / 計算機システム・ネットワーク / 計算機システム
キーワード	研究代表者二分決定グラフ / Approximate Computing / 無評価関数 / 高位検証 / BDD / 形式的検証 / 積和演算回路 / 再構成アクセラレータ / 近似圧縮回路 / 厳密合成 … もっと見る / 近似DCT回路 / 近似乗算回路 / 演算回路合成 / 量子化 / データ表現 / 近似演算回路 / Satellites / Thermal Variation / Reliability of NoC / Distributed Computing / photonic network on chip / Network-on-Chip / Photonic Network / データ表現と精度保証 / 再構成可能アーキテクチャ / データ圧縮 / データ表現と誤差解析 / 共有指数表現 / データ表現形式 / 近似計算 / 誤差と計算結果の関係 / 誤差解析 / エラー耐性に基づく最適化 / high level verification / term rewriting system / uninterpreted function / equivalence hardware verification / equivalence logic / 項書き換え / ハードウェアの等価検証 / 等価論理 / Uninterpreted Function / Equivalence Verification / Verification of Arithmetic Circuits / Reconfigurable Hardware / C based Hardware Design / High-level Design Verification / Cプログラム検証 / マルチメディア処理向け検証 / 再構成可能アーキテクチャ検証 / 映像処理向け検証 / テクノロジーマッピング検証 / 再構成可能素子の検証 / 設計検証 / 無評価関数を用いた検証 / 等価検証 / 演算回路の検証手法 / 再構成可能ハードウェアの検証 / Cベースハードウェア設計 / 高位設計検証 / 並列トランスダクション / ハードウェア記述言語 / 論理最適化 / 論理合成 / 剰余BDD / 論理設計検証 / パイプライン検証 / 並列論理設計検証 / 暗黙状態数え上げ / パイプライン処理 / Shannon展開法 / 並列二分決定グラフ処理 / 暗黙状態数え挙げ / 順序回路の検証 … もっと見る研究代表者以外高位合成 / ソフトウェア協調設計 / ハードウェア / 機械学習 / ハードウェアトロイ / OBDD / High Level Synthesis / 論理合成 / LSI抽象モデル / 汎用コプロセッサ / Pocエディタ / 細胞プログラミング / 不正回路 / 設計工程 / 敵対的攻撃 / 識別器最適化 / ネットリスト / 設計データ / ゲートレベル / レジスタトランスファレベル / ROBUST STABILITY / COMPUTER AIDED DESIGN / COMPUTATIONAL GEOMETRY / ROBUST CONTROL / UNCERTAINTY / OPERATION ON SETS / 制御系のCAD / 凸包問題 / ロバスト安定 / CAD / 計算幾何学 / ロバスト制御 / 不確かさ / 集合の演算 / Optimal Precise Control Law / Sensitivity Analysis / Microprocessor / Graphics / Simulator / Computer Aided Design / ベクトル制御 / 最適精密制御則 / 感度解析手法 / マイクロプロセッサ / グラフィックス / シミュレータ / 計算機援用設計(CAD) / Quantum Computing / Timing Verification / Dynamical Re-construction / Re-configurability / Environmental Adaptability / 量子計算 / ハードウェアのタイミング検証 / 知識ベース / 能動形プログラム / 環境適用 / 量子アルゴリズム / アクティブソフトウェア / タイミング検証 / 動的変更機構 / 再構成可能性 / 環境適応 / C compiler / General Purpose Co-processor / Field Programmable Gate Array (FPGA) / Hardware Accelerator / Reconfigurable System / Software Co-operation / Software Codesign / Hardware / コプロセッサ / エミュレーション / コデザイン / 並列化コンパイラ / ハードウェア記述言語 / 汎用コブロセッサ / Cコンパイラ / FPGA / ハードウェアアクセラレータ / 再構成可能システム / ソフトウェア協調動作 / ソフトウェアコデザイン / Parallel Processing / Scheduling / Verification / Minimum Throughput / Digital Control / Multiple DSP's / スル-プット / タイミング / ディジタル制御 / ディジタル信号処理プロセッサ / 並列処理 / スケジューリング / 検証 / 最短スループット / デジタル制御 / マルチDSP / 統合化アルゴリズム / 低消費電力 / 低エネルギー / 統合化合成技術 / 微細加工技術 / 物理合成 / VLSI 設計技術 / ハードウェア設計 / アルゴリズム / 回路設計・CAD / 電子デバイス・集積化回路 / 設計自動化 / ハードウエア設計 / コンピュータ自動設計 / LSIアーキテクチャ / LSI実装 / LSI設計 / 再構成可能プロセッサ / 動的結合機構 / 能動関数 / 能動形計算モデル / 発展するソフトウェア構成法 / 手指動作記述文 / 前条件・後条件 / パターン細胞 / 発展的ソフトウェア構成法 / 二分決定グラフ / 局所計算可能性 / RDTネットワーク / 多重階層メッシュネットワーク / データ構造 / 超並列アルゴリズム隠す

再構成アクセラレータのための近似最適化手法研究代表者
- 研究代表者
  
  木村晋二
- 研究期間 (年度)
  2023 – 2025
- 研究種目
  
  基盤研究(B)
- 審査区分
  
  小区分60040:計算機システム関連
   小区分60090:高性能計算関連
   合同審査対象区分:小区分60040:計算機システム関連、小区分60090:高性能計算関連
- 研究機関
  早稲田大学
攻撃に耐性を持つ機械学習モデルによる設計工程ハードウェアトロイ検知
- 研究代表者
  
  戸川望
- 研究期間 (年度)
  2022 – 2024
- 研究種目
  
  基盤研究(B)
- 審査区分
  
  小区分60040:計算機システム関連
- 研究機関
  早稲田大学
サテライトコンピューティングシステムの信頼性と高性能化受入研究者
- 研究代表者
  
  木村晋二
- 受入研究者
  
  木村晋二
- 研究期間 (年度)
  2021 – 2022
- 研究種目
  
  特別研究員奨励費
- 審査区分
  
  小区分60040:計算機システム関連
- 研究機関
  早稲田大学
機械学習による集積回路設計データ中のハードウェアトロイ検知
- 研究代表者
  
  戸川望
- 研究期間 (年度)
  2019 – 2021
- 研究種目
  
  基盤研究(B)
- 審査区分
  
  小区分60040:計算機システム関連
- 研究機関
  早稲田大学
再構成アクセラレータにおけるデータ形式最適化と精度保証研究代表者
- 研究代表者
  
  木村晋二
- 研究期間 (年度)
  2018 – 2020
- 研究種目
  
  基盤研究(B)
- 審査区分
  
  小区分60040:計算機システム関連
- 研究機関
  早稲田大学
大域的超低エネルギー化を実現するLSI抽象モデルと上位下位統合化LSI設計技術
- 研究代表者
  
  戸川望
- 研究期間 (年度)
  2013 – 2015
- 研究種目
  
  基盤研究(B)
- 研究分野
  
  計算機システム
- 研究機関
  早稲田大学
超微細加工技術にも適応する抽象LSIモデルの構築と高位・物理統合化LSI合成技術
- 研究代表者
  
  戸川望
- 研究期間 (年度)
  2010 – 2012
- 研究種目
  
  基盤研究(B)
- 研究分野
  
  計算機システム・ネットワーク
- 研究機関
  早稲田大学
超大規模LSI設計・実装技術の研究
- 研究代表者
  
  後藤敏
- 研究期間 (年度)
  2008 – 2010
- 研究種目
  
  基盤研究(A)
- 研究分野
  
  計算機システム・ネットワーク
- 研究機関
  早稲田大学
類似度を考慮した等価論理を用いたハードウェアの高位設計検証手法の研究研究代表者
- 研究代表者
  
  木村晋二
- 研究期間 (年度)
  2005 – 2007
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  計算機システム・ネットワーク
- 研究機関
  早稲田大学
プログラムを仕様とするハードウェアの設計検証手法研究代表者
- 研究代表者
  
  木村晋二
- 研究期間 (年度)
  2002 – 2004
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  計算機科学
- 研究機関
  早稲田大学
環境適応型のハードウェアとソフトウェアの構成手法に関する研究
- 研究代表者
  
  渡邉勝正
- 研究期間 (年度)
  1999 – 2001
- 研究種目
  
  基盤研究(B)
- 研究分野
  
  計算機科学
- 研究機関
  奈良先端科学技術大学院大学
コンテンフに適応する発展的ソフトウェアの構成法
- 研究代表者
  
  渡邉勝正
- 研究期間 (年度)
  1997
- 研究種目
  
  重点領域研究
- 研究機関
  奈良先端科学技術大学院大学
コンテンツに適応する発展的ソフトウェアの構成法
- 研究代表者
  
  渡邉勝正
- 研究期間 (年度)
  1997 – 1998
- 研究種目
  
  特定領域研究(A)
- 研究機関
  奈良先端科学技術大学院大学
論理回路の合成手法および最適化手法の高速化に関する研究研究代表者
- 研究代表者
  
  木村晋二
- 研究期間 (年度)
  1996
- 研究種目
  
  奨励研究(A)
- 研究分野
  
  計算機科学
- 研究機関
  奈良先端科学技術大学院大学
論理回路の縮約モデルの自動抽出とそれを用いた大規模論理回路の設計検証に関する研究研究代表者
- 研究代表者
  
  木村晋二
- 研究期間 (年度)
  1995
- 研究種目
  
  奨励研究(A)
- 研究分野
  
  計算機科学
- 研究機関
  奈良先端科学技術大学院大学
内部構造が可変な汎用コプロセッサシステムおよびその最適化コンパイラに関する研究
- 研究代表者
  
  渡邊勝正 (渡邉勝正)
- 研究期間 (年度)
  1995 – 1997
- 研究種目
  
  基盤研究(B)
- 研究分野
  
  計算機科学
- 研究機関
  奈良先端科学技術大学院大学
パイプライン処理の形式的並列設計検証手法に関する研究研究代表者
- 研究代表者
  
  木村晋二
- 研究期間 (年度)
  1994
- 研究種目
  
  奨励研究(A)
- 研究分野
  
  計算機科学
- 研究機関
  奈良先端科学技術大学院大学
超並列アルゴリズム設計のためのデータ構造と計算モデルに関する研究
- 研究代表者
  
  安浦寛人
- 研究期間 (年度)
  1993
- 研究種目
  
  重点領域研究
- 研究機関
  九州大学
順序機械の設計検証のための暗黙状態数え上げの並列化に関する研究研究代表者
- 研究代表者
  
  木村晋二
- 研究期間 (年度)
  1993
- 研究種目
  
  奨励研究(A)
- 研究分野
  
  計算機科学
- 研究機関
  奈良先端科学技術大学院大学
複数個のプロセッサを用いたディジタル制御器の構成と同期制御に関する研究
- 研究代表者
  
  羽根田博正
- 研究期間 (年度)
  1990 – 1992
- 研究種目
  
  一般研究(C)
- 研究分野
  
  計測・制御工学
- 研究機関
  神戸大学
集合の演算とそのロバスト制御系のCADへの応用に関する研究
- 研究代表者
  
  太田有三
- 研究期間 (年度)
  1988 – 1989
- 研究種目
  
  一般研究(C)
- 研究分野
  
  計測・制御工学
- 研究機関
  神戸大学
マイクロプロセッサ制御精密交流サーボ系の計算機援用設計(CAD)手法に関する研究
- 研究代表者
  
  羽根田博正
- 研究期間 (年度)
  1984 – 1986
- 研究種目
  
  一般研究(B)
- 研究分野
  
  計測・制御工学
- 研究機関
  神戸大学

[図書] システムLSI設計技術、4章「ハードウェア設計技術」(木村晋二担当)2006
- 著者名/発表者名
  藤田昌宏編著(藤田昌宏, 木村晋二他)
- 総ページ数
  50
- 出版者
  オーム社
- データソース
  KAKENHI-PROJECT-17500047
[雑誌論文] Theory and Application of Topology-Based Exact Synthesis for Majority-Inverter Graphs2023
- 著者名/発表者名
  Xianliang GE and Shinji KIMURA
- 雑誌名
  
  IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
  
  巻: E106.A 号: 9 ページ: 1241-1250
- DOI
  10.1587/transfun.2022EAP1103
- ISSN
  0916-8508, 1745-1337
- 年月日
  2023-09-01
- 言語
  英語
- 査読あり / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-23K28056
[雑誌論文] Area Efficient Approximate 4-2 Compressor and Probability-Based Error Adjustment for Approximate Multiplier2023
- 著者名/発表者名
  Mingtao Zhang, Shinichi Nishizawa, and Shinji Kimura
- 雑誌名
  
  IEEE Transactions on Circuits and Systems II: Express Briefs
  
  巻: 70 号: 5 ページ: 1714-1718
- DOI
  10.1109/tcsii.2023.3257852
- 査読あり / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-23K28056
[雑誌論文] Approximate FPGA-Based Multipliers Using Carry-Inexact Elementary Modules2020
- 著者名/発表者名
  Yi GUO, Heming SUN, Ping LEI, Shinji KIMURA
- 雑誌名
  
  IEICE Transactions on Fundamentals
  
  巻: E103A 号: 9 ページ: 1054-1062
- DOI
  10.1587/transfun.2019kep0002
- NAID
  130007893715
- 査読あり / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18H03217
[雑誌論文] Design of Low-Cost Approximate Multipliers Based on Probability-Driven Inexact Compressors2019
- 著者名/発表者名
  GUO Yi、SUN Heming、LEI Ping、KIMURA Shinji
- 雑誌名
  
  IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
  
  巻: E102.A 号: 12 ページ: 1781-1791
- DOI
  10.1587/transfun.E102.A.1781
- NAID
  130007754045
- ISSN
  0916-8508, 1745-1337
- 年月日
  2019-12-01
- 言語
  英語
- 査読あり / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18H03217
[雑誌論文] Lossy Compression for Embedded Computer Vision Systems2018
- 著者名/発表者名
  Li Guo, Dajiang Zhou, Jinjia Zhou, Shinji Kimura, and Satoshi Goto
- 雑誌名
  
  IEEE Access
  
  巻: 6 ページ: 39385-39397
- DOI
  10.1109/access.2018.2852809
- 査読あり / オープンアクセス / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18H03217, KAKENHI-PROJECT-17J10477
[雑誌論文] ECC-Based Bit-Write Reduction Code Generation for Non-Volatile Memory2015
- 著者名/発表者名
  Masashi Tawada, Shinji Kimura, Masao Yanagisawa, and Nozomu Togawa
- 雑誌名
  
  IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
  
  巻: E98.A 号: 12 ページ: 2494-2504
- DOI
  10.1587/transfun.E98.A.2494
- NAID
  130005111993
- ISSN
  0916-8508, 1745-1337
- 言語
  英語
- 査読あり / 謝辞記載あり
- データソース
  KAKENHI-PROJECT-25280017
[雑誌論文] Multi-Operand Adder Synthesis Targeting FPGAs2011
- 著者名/発表者名
  Taeko Matsunaga, Shinji Kimura, and Yusuke Matsunaga
- 雑誌名
  
  IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
  
  巻: E94-A 号: 12 ページ: 2579-2586
- DOI
  10.1587/transfun.E94.A.2579
- NAID
  10030533680
- ISSN
  0916-8508, 1745-1337
- 言語
  英語
- 査読あり
- データソース
  KAKENHI-PROJECT-22300019
[雑誌論文] Power Optimization of Sequential Circuits Using Switching Activity Based Clock Gating2010
- 著者名/発表者名
  Xin Man, Takashi Horiyama, and Shinji Kimura
- 雑誌名
  
  IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
  
  巻: E93-A 号: 12 ページ: 2472-2480
- DOI
  10.1587/transfun.E93.A.2472
- NAID
  10027985671
- ISSN
  0916-8508, 1745-1337
- 言語
  英語
- 査読あり
- データソース
  KAKENHI-PROJECT-22300019
[雑誌論文] Power Optimization of Sequential Circuits Using Switching Activity Based Clock Gating2010
- 著者名/発表者名
  Xin Man, Takashi Horiyama, Shinji Kimura
- 雑誌名
  
  IEICE Trans.On Fundamentals
  
  巻: E93-A ページ: 2472-2480
- NAID
  10027985671
- 査読あり
- データソース
  KAKENHI-PROJECT-22300019
[雑誌論文] メディア処理における超低消費電力SoC技術2010
- 著者名/発表者名
  後藤敏、池永剛、吉村猛、木村晋二、戸川望
- 雑誌名
  
  情報処理
  
  巻: Vo.51, No.7 ページ: 837-845
- 査読あり
- データソース
  KAKENHI-PROJECT-20240004
[雑誌論文] メデイア処理における超低消費電力SoC技術2010
- 著者名/発表者名
  後藤敏、池永剛、吉村猛、木村晋二、戸川望
- 雑誌名
  
  情報処理 Vo.51,No.7
  
  ページ: 837-845
- 査読あり
- データソース
  KAKENHI-PROJECT-20240004
[雑誌論文] Issue Mechanism for Embeded Simultaneous Multithreading Processor2008
- 著者名/発表者名
  C.Zang, S.Imai, S.Frank, S.Kimura
- 雑誌名
  
  IEICE Trans.Fundamentals E91-A
  
  ページ: 1092-1100
- NAID
  10026848682
- 説明
  「研究成果報告書概要(和文)」より
- 査読あり
- データソース
  KAKENHI-PROJECT-17500047
[雑誌論文] The Optimal Architecture Design of Two-Dimensional Matrix Multiolication Jumping Systolic Array2008
- 著者名/発表者名
  Y. Yang, S. Kimura
- 雑誌名
  
  IEICE Trans. Fundamentals E91-A
  
  ページ: 1101-1111
- 説明
  「研究成果報告書概要(欧文)」より
- データソース
  KAKENHI-PROJECT-17500047
[雑誌論文] The Optimal Architecture Design of Two-Dimensional Matrix Multiplication Jumping Systolic Array2008
- 著者名/発表者名
  Y.Yang, S.Kimura
- 雑誌名
  
  IEICE Trans.Fundamentals E91-A
  
  ページ: 1101-1111
- 説明
  「研究成果報告書概要(和文)」より
- 査読あり
- データソース
  KAKENHI-PROJECT-17500047
[雑誌論文] Issue Mechanism for Embeded Simultaneous Multithreading Processor2008
- 著者名/発表者名
  C. Zang, S. Imai, S. Frank, S. Kimura
- 雑誌名
  
  IEICE Trans. Fundamentals E91-A
  
  ページ: 1092-1100
- NAID
  10026848682
- 説明
  「研究成果報告書概要(欧文)」より
- データソース
  KAKENHI-PROJECT-17500047
[雑誌論文] 回路変更を用いたプロトタイプ設計検証の高速化手法2007
- 著者名/発表者名
  井上敬太, シン唯頡, 木村晋二
- 雑誌名
  
  情報処理学会研究報告 SLDM129/4
  
  ページ: 113-118
- データソース
  KAKENHI-PROJECT-17500047
[雑誌論文] Resynthesis Method for Circuit Acceleration on LUT-based FPGA2007
- 著者名/発表者名
  Weijie Xing, Takashi Horiyama, Shinji Kimura, et. al.
- 雑誌名
  
  Integration of Mixed Infor\mation technologies (SASIMI2007)
  
  ページ: 375-380
- 査読あり
- データソース
  KAKENHI-PROJECT-17500047
[雑誌論文] Active Mode Leakage Power Reduction Based on the Controlling Value of Logic Gates2007
- 著者名/発表者名
  Lei Chen, Shinji Kimura
- 雑誌名
  
  Proceedings of 14th Workshop on Synthesis And System Integration of Mixed Information technologies
  
  ページ: 266-271
- 査読あり
- データソース
  KAKENHI-PROJECT-17500047
[雑誌論文] Issue Mechanism for Embedded Simultaneous Multithreading Processor2007
- 著者名/発表者名
  Chengjie Zang, Shigeki Imai, and Shinji Kimura
- 雑誌名
  
  Proceedings of The 20th Workshop on Circuits and Systems in Karuizawa
  
  ページ: 325-330
- NAID
  10026848682
- 査読あり
- データソース
  KAKENHI-PROJECT-17500047
[雑誌論文] Power-Conscious Synthesis of Parallel Prefix Adders under Bitwise Timing Const\ raints2007
- 著者名/発表者名
  Taeko Matsunaga, Shinji Kimura, Yusuke Matsunaga
- 雑誌名
  
  Proceedings of 14th Workshop on Synthesis And System Integration of Mixed Infor\mation technologies
  
  ページ: 7-14
- 査読あり
- データソース
  KAKENHI-PROJECT-17500047
[雑誌論文] Bit-Length Optimization Method for High-Level Synthesis based on Non-Linear Programming Technique2006
- 著者名/発表者名
  Nobuhiro DOI, Takashi HORUYAMA, Masaki NAKANISHI, Shinji KIMURA
- 雑誌名
  
  IEICE Trans. Fundamentals E89-A
  
  ページ: 3427-3434
- NAID
  110007537844
- 説明
  「研究成果報告書概要(欧文)」より
- データソース
  KAKENHI-PROJECT-17500047
[雑誌論文] Selective Low-Care Coding : A Means for Test Date Compression in Circuits with Multiple Scan Chains2006
- 著者名/発表者名
  Youhua Shi, Nozomu Togawa, Shinji Kimura, Masao Yanagisawa, Tatsuo Ohtsuki
- 雑誌名
  
  IEICE Trans. Fundamentals E91-A
  
  ページ: 996-1004
- 説明
  「研究成果報告書概要(欧文)」より
- データソース
  KAKENHI-PROJECT-17500047
[雑誌論文] Bit-Length optimization Method for High-Level Synthesis based on Non-Linear Programming Technique2006
- 著者名/発表者名
  Masaki NAKANISHI, SHinji Kimura
- 雑誌名
  
  IEICE Trans. Fundamentals E89-A, No.12
  
  ページ: 3427-3434
- NAID
  110007537844
- データソース
  KAKENHI-PROJECT-17500047
[雑誌論文] Coverage Estimation Using Transition Perturbation for Symbolic Model Checking in Hardware Verification2006
- 著者名/発表者名
  Xingwen XU, Shinji KIMURA, Kazunari HORIKAWA, and Takehiko TSUCHIYA
- 雑誌名
  
  IEICE Trans.Fundamentals E89-A
  
  ページ: 3451-3457
- NAID
  110007537847
- 説明
  「研究成果報告書概要(和文)」より
- 査読あり
- データソース
  KAKENHI-PROJECT-17500047
[雑誌論文] 高位検証における等価論理式への変換手法について2006
- 著者名/発表者名
  鄭光フン, 木村晋二
- 雑誌名
  
  電子情報通信学会技術研究報告 March
  
  ページ: 1-6
- NAID
  110004680260
- データソース
  KAKENHI-PROJECT-17500047
[雑誌論文] Performance and Energy Efficient Data Cache Architecture for Embedded Simultaneous Multithreading Microprocessor2006
- 著者名/発表者名
  Chengjie Zang, Shigeki Imai, Shinji Kimura
- 雑誌名
  
  Proceedings of 13th Workshop on Synthesis And System Integration of Mixed Information technologies
  
  ページ: 268-273
- データソース
  KAKENHI-PROJECT-17500047
[雑誌論文] Bit-Length Optimization Method for High-Level Synthesis based on Non-Linear Programming Technique2006
- 著者名/発表者名
  Nobuhiro DOI, Takashi HORIYAMA, Masaki NAKANISHI, and Shinji KIMURA
- 雑誌名
  
  IEICE Trans.Fundamentals E89-A
  
  ページ: 3427-3434
- NAID
  110007537844
- 説明
  「研究成果報告書概要(和文)」より
- 査読あり
- データソース
  KAKENHI-PROJECT-17500047
[雑誌論文] Transition-Based Coverage Estimation for Symbolic Model Checking2006
- 著者名/発表者名
  Xingwen Xu, Shinji Kimura, Kazunari Horikawa, Takehiko Tsuchiya.
- 雑誌名
  
  Proceeding of ASP-DAC2006 Jan.
  
  ページ: 1-6
- データソース
  KAKENHI-PROJECT-17500047
[雑誌論文] An Efficient Instruction Issue Mechanism for Simultaneous Multithreading Microprocessor2006
- 著者名/発表者名
  Taeseok Jeong, Chengjie Zang, Shinji Kimura
- 雑誌名
  
  Proc. International SoC Design Conference
  
  ページ: 351-354
- データソース
  KAKENHI-PROJECT-17500047
[雑誌論文] Selective Low-Care Coding:A Means for Test Data Compression in Circuits with Multiple Scan Chains2006
- 著者名/発表者名
  Youhua Shi, Nozomu Togawa, Shinji Kimura, Masao Yanagisawa, Tatsuo Ohtsuki
- 雑誌名
  
  IEICE Trans.Fundamentals E91-A
  
  ページ: 996-1004
- 説明
  「研究成果報告書概要(和文)」より
- 査読あり
- データソース
  KAKENHI-PROJECT-17500047
[雑誌論文] Coverage Estimation Using Transition Perturbatio for Symbolic Model Checking in Hardware Verification2006
- 著者名/発表者名
  Xingwen XU, Shinji KIMURA, kazunari Horikawa, Takehiko TSUCHIYA
- 雑誌名
  
  IEICE Trans. Fundamentals E89-A
  
  ページ: 3451-3457
- 説明
  「研究成果報告書概要(欧文)」より
- データソース
  KAKENHI-PROJECT-17500047
[雑誌論文] Duplicated Register File Design for Embedded Simultaneous Multithreading Microprocessor2005
- 著者名/発表者名
  Chengjie Zang, Shigeki Imai, Shinji Kimura
- 雑誌名
  
  Proceedings of International Conference on ASIC Oct.
  
  ページ: 160-163
- データソース
  KAKENHI-PROJECT-17500047
[雑誌論文] Structural Coverage of Traversed Transitions for Symbolic Model Checking2005
- 著者名/発表者名
  Xingwen Xu, Shinji Kimura, Kazunari Horikawa, Takehiko Tsuchiya
- 雑誌名
  
  IEICE Technical Report(デザインガイア2005) Vol.105, No.443, Nov.
  
  ページ: 65-70
- NAID
  110004018546
- データソース
  KAKENHI-PROJECT-17500047
[雑誌論文] 非線形計画法と整数解の探索に基づく高位合成向けビット長最適化2005
- 著者名/発表者名
  土井伸洋, 堀山貴志, 中西正樹, 木村晋二
- 雑誌名
  
  情報処理学会システムLSI設計技術研究会報告
  
  ページ: 1-6
- データソース
  KAKENHI-PROJECT-14580377
[雑誌論文] Transition Traversal Coverage Estimation for Symbolic Model Checking2005
- 著者名/発表者名
  Xingwen Xu, Shinji Kimura, Kazunari Horikawa, Takehiko Tsuchiya
- 雑誌名
  
  Proceeding of the 6th International Conference on ASIC Oct.
  
  ページ: 850-853
- データソース
  KAKENHI-PROJECT-17500047
[雑誌論文] 浮動小数点演算と演算チェイニングを考慮した粗粒度再構成可能ハードウェア2005
- 著者名/発表者名
  阿久津日出実, 木村晋二
- 雑誌名
  
  電信情報通信学会技術研究報告 March
  
  ページ: 1-6
- NAID
  110004680268
- データソース
  KAKENHI-PROJECT-17500047
[雑誌論文] ビット長に制約がある場合の実数演算の固定小数点演算化2005
- 著者名/発表者名
  土井伸洋, 堀山貴史, 中西正樹, 木村晋二
- 雑誌名
  
  DAシンポジウム2005論文集 July
  
  ページ: 49-54
- データソース
  KAKENHI-PROJECT-17500047
[雑誌論文] A Hybrid Dictionary Test Data Compression for Multiscan-based Designs2004
- 著者名/発表者名
  Y.Shi, S.Kimura, M.Yanagisawa, T.Ohtsuki
- 雑誌名
  
  IEICE Trans.Fundamentals E87-A, No.12
  
  ページ: 3193-3199
- NAID
  110003212857
- 説明
  「研究成果報告書概要(和文)」より
- データソース
  KAKENHI-PROJECT-14580377
[雑誌論文] An Optimization Method in Floating-point to Fixed-point Conversion using Positive and Negative Error Analysis and Sharing of Operations2004
- 著者名/発表者名
  N.Doi, T.Horiyama, M.Nakanishi, S.Kimura
- 雑誌名
  
  Proc.of Workshop on Synthesis and System Integration of Mixed Technologies (SASIMI'2004)
  
  ページ: 466-471
- データソース
  KAKENHI-PROJECT-14580377
[雑誌論文] A Selective Scan Chain Reconfiguration through Run-Length Coding for Test Data Compression and Scan Power Reduction2004
- 著者名/発表者名
  Y.Shi, S.Kimura, M.Yanagisawa, T.Ohtsuki
- 雑誌名
  
  IEICE Trans.Fundamentals E87-A, No.12
  
  ページ: 3208-3215
- NAID
  110003212859
- データソース
  KAKENHI-PROJECT-14580377
[雑誌論文] A Hybrid Dictionary Test Data Compression for Multiscan-based Designs2004
- 著者名/発表者名
  Y.Shi, S.Kimura, M.Yanagisawa, T.Ohtsuki
- 雑誌名
  
  IEICE Trans.Fundamentals Vol.E87-A, No.12
  
  ページ: 3193-3199
- NAID
  110003212857
- 説明
  「研究成果報告書概要(欧文)」より
- データソース
  KAKENHI-PROJECT-14580377
[雑誌論文] A Hybrid Dictionary Test Data Compression for Multiscan-based Designs2004
- 著者名/発表者名
  Y.Shi, S.Kimura, M.Yanagisawa, T.Ohtsuki
- 雑誌名
  
  IEICE Trans. Fundamentals E87-A, No.12
  
  ページ: 3193-3199
- NAID
  110003212857
- データソース
  KAKENHI-PROJECT-14580377
[雑誌論文] 浮動小数点演算での誤差の増減を考慮した変数ビット長の最適化2004
- 著者名/発表者名
  土井伸洋, 堀山貴史, 中西正樹, 木村晋二
- 雑誌名
  
  DAシンポジウム2004論文集
  
  ページ: 85-90
- データソース
  KAKENHI-PROJECT-14580377
[雑誌論文] Reconfigurable Architecture for Bit-Level Data Processing2004
- 著者名/発表者名
  S.Kimura
- 雑誌名
  
  Proceedings of 1st Silicon-Seabelt Workshop on VLSI Designs
  
  ページ: 1-6
- データソース
  KAKENHI-PROJECT-14580377
[雑誌論文] A Built-in Reseeding Technique for LFSR-Based Test Pattern Generation2003
- 著者名/発表者名
  Y.Shi, Z.Zhang, S.Kimura, M.Yanagisawa, T.Ohtsuki
- 雑誌名
  
  IEICE Trans.Fundamentals Vol.E86-A, No.12
  
  ページ: 3056-3662
- NAID
  110003212586
- 説明
  「研究成果報告書概要(欧文)」より
- データソース
  KAKENHI-PROJECT-14580377
[雑誌論文] A Built-in Reseeding Technique for LFSR-Based Test Pattern Generation2003
- 著者名/発表者名
  Y.Shi, Z.Zhang, S.Kimura, M.Yanagisawa, T.Ohtsuki
- 雑誌名
  
  IEICE Trans.Fundamentals E86-A, No.12
  
  ページ: 3056-3662
- NAID
  110003212586
- 説明
  「研究成果報告書概要(和文)」より
- データソース
  KAKENHI-PROJECT-14580377
[雑誌論文] An On-Chip High Speed Serial Communication Method Based on Independent Ring Oscillators2003
- 著者名/発表者名
  S.Kimura, T.Hayakawa, T.Horiyama, M.Nakanishi, K.Watanabe
- 雑誌名
  
  Proc.of International Solid State Circuit Conference
  
  ページ: 390-391
- 説明
  「研究成果報告書概要(和文)」より
- データソース
  KAKENHI-PROJECT-14580377
[雑誌論文] Bit Length Optimization of Fractional Parts on Floating to Fixed Point Conversion for High-Level Synthesis2003
- 著者名/発表者名
  N.Doi, T.Horiyama, M.Nakanishi, S.Kimura, K.Watanabe
- 雑誌名
  
  Workshop on Synthesis and System Integration of Mixed Technologies (SASIMI'2003)
  
  ページ: 129-136
- NAID
  110003212600
- 説明
  「研究成果報告書概要(欧文)」より
- データソース
  KAKENHI-PROJECT-14580377
[雑誌論文] Bit Length Optimization of Fractional Part on Floating to Fixed Point Conversion for High Level Synthesis2003
- 著者名/発表者名
  N.Doi, T.Horiyama, N.Nakanishi, S.Kimura, K.Watanabe
- 雑誌名
  
  IEICE Trans.Fundamentals E86-A, No.12
  
  ページ: 3176-3183
- NAID
  110003212600
- 説明
  「研究成果報告書概要(和文)」より
- データソース
  KAKENHI-PROJECT-14580377
[雑誌論文] An On-Chip High Speed Serial Communication Method Based on Independent Ring Oscillators2003
- 著者名/発表者名
  S.Kimura, T.Hayakawa, T.Horiyama, M.Nakanishi, K.Watanabe
- 雑誌名
  
  Proc.of International Solid State Circuit Conference 03 22.3
  
  ページ: 390-391
- 説明
  「研究成果報告書概要(欧文)」より
- データソース
  KAKENHI-PROJECT-14580377
[雑誌論文] Bit Length Optimization of Fractional Part on Floating to Fixed Point Conversion for High Level Synthesis2003
- 著者名/発表者名
  N.Doi, T.Horiyama, N.Nakanishi, S.Kimura, K.Watanabe
- 雑誌名
  
  IEICE Trans.Fundamentals Vol.E86-A, No.12
  
  ページ: 3176-3183
- NAID
  110003212600
- 説明
  「研究成果報告書概要(欧文)」より
- データソース
  KAKENHI-PROJECT-14580377
[雑誌論文] Folding of Logic Functions and Its Application to Look Up Table Compaction2002
- 著者名/発表者名
  S.Kimura, T.Horiyama, M.Nakanishi, H.Kajihara
- 雑誌名
  
  Proc.on ICCAD 2002 (International Conference on Computer Aided Design)
  
  ページ: 694-697
- 説明
  「研究成果報告書概要(和文)」より
- データソース
  KAKENHI-PROJECT-14580377
[雑誌論文] Look Up Table Compaction Based on Folding of Logic Functions2002
- 著者名/発表者名
  S.Kimura, A.Ishii, T.Horiyama, M.Nakanishi, H.Kajihara, K.Watanabe
- 雑誌名
  
  IEICE Trans.Fundamentals Vol.E85-A, No.12
  
  ページ: 2701-2707
- NAID
  110003212441
- 説明
  「研究成果報告書概要(欧文)」より
- データソース
  KAKENHI-PROJECT-14580377
[雑誌論文] Look Up Table Compaction Based on Folding of Logic Functions2002
- 著者名/発表者名
  S.Kimura, A.Ishii, T.Horiyama, M.Nakanishi, H.Kajihara, K.Watanabe
- 雑誌名
  
  IEICE Trans.Fundamentals E85-A, No.12
  
  ページ: 2701-2707
- NAID
  110003212441
- 説明
  「研究成果報告書概要(和文)」より
- データソース
  KAKENHI-PROJECT-14580377
[学会発表] An 8-Point Approximate DCT Design with Optimized Signed Digit Encoding2023
- 著者名/発表者名
  Zekun Wang, Shinichi Nishizawa and Shinji Kimura
- 学会等名
  IEEE SOCC 2023
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-23K28056
[学会発表] Evaluation of Application-Independent Unbiased Approximate Multipliers on Quantized Convolutional Neural Networks2023
- 著者名/発表者名
  Mingtao Zhang, Ke Ma, Renrui Duan, Shinichi Nishizawa and Shinji Kimura
- 学会等名
  IEEE SOCC 2023
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-23K28056
[学会発表] A Hardware-Efficient Approximate Multiplier Combining Inexact Same-Weight N:2 Compressors and Remapping Logic with Error Recovery2023
- 著者名/発表者名
  Renrui Duan, Mingtao Zhang, Yi Guo, Shinichi Nishizawa and Shinji Kimura
- 学会等名
  IEEE SOCC 2023
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-23K28056
[学会発表] Approximate Floating Point Multiplier based on Shifting Addition Using Carry Signal from Second-Highest-Bit2020
- 著者名/発表者名
  Jie LI, Yi GUO, and Shinji KIMURA
- 学会等名
  IEICE Tech. Report, VLD2019-120
- データソース
  KAKENHI-PROJECT-18H03217
[学会発表] Small-Area and Low-Power FPGA-Based Multipliers using Approximate Elementary Modules2020
- 著者名/発表者名
  Guo Yi、Sun Heming、Kimura Shinji
- 学会等名
  Proc. of ASP-DAC 2020
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18H03217
[学会発表] Accuracy-Configurable Low-Power Approximate Floating-Point Multiplier Based on Mantissa Bit Segmentation2020
- 著者名/発表者名
  Jie Li, Yi Guo and Shinji Kimura
- 学会等名
  IEEE Region 10 Conference (TENCON)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18H03217
[学会発表] Energy-Efficient and High Performance Approximate Multiplier Using Compre ssors Based on Input Reordering2018
- 著者名/発表者名
  Zhenhao Liu, Yi Guo, Xiaoting Sun and Shinji Kimura
- 学会等名
  TENCON 2018
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18H03217
[学会発表] A Radix-4 Partial Product Generation-Based Approximate Multiplier for High-Speed and Low-Power Digital Signal Processing2018
- 著者名/発表者名
  Xiaoting Sun, Yi Guo, Zhenhao Liu, Shinji Kimura
- 学会等名
  ICECS 2018
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18H03217
[学会発表] Sparseness Ratio Allocation and Neuron Re-pruning for Neural Networks Compression2018
- 著者名/発表者名
  Li Guo, Dajiang Zhou, Jinjia Zhou, Shinji Kimura
- 学会等名
  ISCAS 2018
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18H03217
[学会発表] Embedded Frame Compression for Energy-Efficient Computer Vision Systems2018
- 著者名/発表者名
  Li Guo, Dajiang Zhou, Jinjia Zhou, Shinji Kimura
- 学会等名
  ISCAS 2018
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18H03217
[学会発表] Low Cost Approximate Multiplier Design using Probability Driven Inexac t Compressors2018
- 著者名/発表者名
  Yi Guo, Heming Sun, Li Guo, Shinji Kimura
- 学会等名
  APCCAS 2018
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18H03217
[学会発表] 冗長符号化を用いたマルチレベルセル不揮発性メモリ書き込み量削減2016
- 著者名/発表者名
  多和田雅師, 木村晋二, 柳澤政生, 戸川望
- 学会等名
  電子情報通信学会VLSI設計技術研究会
- 発表場所
  横浜市
- 年月日
  2016-01-19
- データソース
  KAKENHI-PROJECT-25280017
[学会発表] 回路面積を考慮した不揮発性メモリ書き込み削減符号生成手法2015
- 著者名/発表者名
  多和田雅師, 木村晋二, 柳澤政生, 戸川望
- 学会等名
  電子情報通信学会VLSI設計技術研究会
- 発表場所
  長崎市
- 年月日
  2015-12-01
- データソース
  KAKENHI-PROJECT-25280017
[学会発表] Active Mode Leakage Power Reduction Based on the Controlling Value of Logic Gates2007
- 著者名/発表者名
  Lei Chen, Shinji Kimura
- 学会等名
  Proc. of 14th Workshop on Synthesis And System Integration of Mixed Information technologies(SASIMI2007)
- 発表場所
  Sapporo
- 説明
  「研究成果報告書概要(欧文)」より
- データソース
  KAKENHI-PROJECT-17500047
[学会発表] 回路変更を用いたプロトタイプ設計検証の高速化手法"2007
- 著者名/発表者名
  井上敬太, シン唯頡, 木村晋二
- 学会等名
  情報処理学会研究報告(No. SLDM129/4, pp.113-118)
- 発表場所
  広島
- 説明
  「研究成果報告書概要(和文)」より
- データソース
  KAKENHI-PROJECT-17500047
[学会発表] Resynthesis Method for Circuit Acceleration on LUT-based FPGA2007
- 著者名/発表者名
  Weijie Xing, Takashi Horiyama, Shunichi Kuromaru, Tomoo Kimura, Shinji Kimura
- 学会等名
  Proc. of 14th Workshop on Synthesis And System Integration of Mixed Information technologies(SASIMI2007)
- 発表場所
  札幌
- 説明
  「研究成果報告書概要(和文)」より
- データソース
  KAKENHI-PROJECT-17500047
[学会発表] Optimal planar jumping systolic array design for matrix multiplication2007
- 著者名/発表者名
  Yun Yang and Shinji Kimura
- 学会等名
  The 20th Workshop on Circuits and Systems in Karuizawa(KARUIZAWA-2007)
- 発表場所
  軽井沢
- 説明
  「研究成果報告書概要(和文)」より
- データソース
  KAKENHI-PROJECT-17500047
[学会発表] Power-Conscious Synthesis of Parallel Prefix Adders under Bitwise Timing Constraints2007
- 著者名/発表者名
  Taeko Matsunaga, Shinji Kimura, Yusuke Matsunaga
- 学会等名
  Proc. of 14th Workshop on Synthesis And System Integration of Mixed Information technologies(SASIMI2007)
- 発表場所
  Sapporo
- 説明
  「研究成果報告書概要(欧文)」より
- データソース
  KAKENHI-PROJECT-17500047
[学会発表] Power-Conscious Synthesis of Parallel Prefix Adders under Bitwise Timing Constraints2007
- 著者名/発表者名
  Taeko Matsunaga, Shinji Kimura, Yusuke Matsunaga
- 学会等名
  Proc. of 14th Workshop on Synthesis And System Integration of Mixed Information technologies(SASIMI2007)
- 発表場所
  札幌
- 説明
  「研究成果報告書概要(和文)」より
- データソース
  KAKENHI-PROJECT-17500047
[学会発表] Resynthesis Method for Circuit Acceleration on LUT-based FPGA2007
- 著者名/発表者名
  Weijie Xing, Takashi Horiyama, Shunichi Kuromaru, Tomoo Kimura, Shinji Kimura
- 学会等名
  Proc. of 14th Workshop on Synthesis And System Integration of Mixed Information technologies(SASIMI2007)
- 発表場所
  Sapporo
- 説明
  「研究成果報告書概要(欧文)」より
- データソース
  KAKENHI-PROJECT-17500047
[学会発表] Issue Mechanism for Embedded Simultaneous Multithreading Processor2007
- 著者名/発表者名
  Chengjie Zang, Shigeki Imai, and Shinji Kimura
- 学会等名
  The 20th Workshop on Circuits and Systems in Karuizawa(KARUIZAWA-2007)
- 発表場所
  軽井沢
- 説明
  「研究成果報告書概要(和文)」より
- データソース
  KAKENHI-PROJECT-17500047
[学会発表] Active Mode Leakage Power Reduction Based on the Controlling Value of Logic Gates2007
- 著者名/発表者名
  Lei Chen, Shinji Kimura
- 学会等名
  Proc. of 14th Workshop on Synthesis And System Integration of Mixed Information technologies(SASIMI2007)
- 発表場所
  札幌
- 説明
  「研究成果報告書概要(和文)」より
- データソース
  KAKENHI-PROJECT-17500047
[学会発表] An Efficient Instruction Issue Mechanism for Simultaneous Multithreading Microprocessor2006
- 著者名/発表者名
  Taeseok Jeong, Chengjie Zang and Shinji Kimura
- 学会等名
  Proc. Of International SoC Design Conference(ISOCC2006)
- 発表場所
  ソウル(韓国)
- 説明
  「研究成果報告書概要(和文)」より
- データソース
  KAKENHI-PROJECT-17500047
[学会発表] An Efficient Instruction Issue Mechanism for Simultaneous Multithreading Microprocessor2006
- 著者名/発表者名
  Taeseok Jeong, Chengjie Zang, Shinji Kimura
- 学会等名
  ProInternational SoC Design Conference(ISOCC2006)
- 発表場所
  Seoul
- 説明
  「研究成果報告書概要(欧文)」より
- データソース
  KAKENHI-PROJECT-17500047
[学会発表] Performance and Energy Efficient Data Cache Architecture for Embedded Simultaneous Multithreading Microprocessor2006
- 著者名/発表者名
  Chengjie Zang, Shigeki Imai, Shinji Kimura
- 学会等名
  ProInternational SoC Design Conference(ISOCC2006)
- 発表場所
  Seoul
- 説明
  「研究成果報告書概要(欧文)」より
- データソース
  KAKENHI-PROJECT-17500047
[学会発表] Transition-Based Coverage Estimation for Symbolic Model Checking2006
- 著者名/発表者名
  Xingwen Xu, Shinji Kimura, Kazunari Horikawa, Takehiko Tsuchiya
- 学会等名
  Proc. of Asia and South Pacific Design Automation Conference 2006
- 発表場所
  横浜
- 説明
  「研究成果報告書概要(和文)」より
- データソース
  KAKENHI-PROJECT-17500047
[学会発表] Performance and Energy Efficient Data Cache Architecture for Embedded Simultaneous Multithreading Microprocessor2006
- 著者名/発表者名
  Chengjie Zang, Shigeki Imai and Shinji Kimura
- 学会等名
  Proc. of International SoC Design Conference (ISOCC2006)
- 発表場所
  ソウル(韓国)
- 説明
  「研究成果報告書概要(和文)」より
- データソース
  KAKENHI-PROJECT-17500047
[学会発表] FCSCAN:An Efficient Multiscan-based Test Compression Technique for Test Cost Reduction2006
- 著者名/発表者名
  Youhua Shi, Nozomu Togawa, Shinji Kimura, Masao Yanagisawa, Tatsuo Ohtsuki
- 学会等名
  Proc. of Asia and South Pacific Design Automation Conference 2006
- 発表場所
  横浜
- 説明
  「研究成果報告書概要(和文)」より
- データソース
  KAKENHI-PROJECT-17500047
[学会発表] Performance and Energy Efficient Data Cache Architecture for Embedded Simultaneous Multithreading Microprocessor2006
- 著者名/発表者名
  Chengjie Zang, Shigeki Imai, Shinji Kimura
- 学会等名
  Proc. of 13th Workshop on Synthesis And System Integration of Mixed Information technologies(SASIMI2006)
- 発表場所
  Kanazawa
- 説明
  「研究成果報告書概要(欧文)」より
- データソース
  KAKENHI-PROJECT-17500047
[学会発表] 高位検証における等価論理式への変換手法について2006
- 著者名/発表者名
  鄭、木村
- 学会等名
  信学技法(Vol. 105, No.644, pp.79-84)
- 発表場所
  沖縄
- 説明
  「研究成果報告書概要(和文)」より
- データソース
  KAKENHI-PROJECT-17500047
[学会発表] Transition-Based Coverage Estimation for Symbolic Model Checking2006
- 著者名/発表者名
  Xingwen Xu, Shinji Kimura, Kazunari Horikawa, Takehiko Tsuchiya
- 学会等名
  Proc. of Asia and South Pacific Design Automation Conference 2006
- 発表場所
  Yokohama
- 説明
  「研究成果報告書概要(欧文)」より
- データソース
  KAKENHI-PROJECT-17500047
[学会発表] 浮動小数点演算と演算チェイニングを考慮した粗粒度再構成可能ハードウェア2006
- 著者名/発表者名
  阿久津日出実、木村晋二
- 学会等名
  信学技法(Vol. 105, No.645, pp.43-48)
- 発表場所
  横浜
- 説明
  「研究成果報告書概要(和文)」より
- データソース
  KAKENHI-PROJECT-17500047
[学会発表] FCSCAN : An Efficient Multiscan-based Test Compression Technique for Test Cost Reduction2006
- 著者名/発表者名
  Youhua Shi, Nozomu Togawa, Shinji Kimura, Masao Yanagisawa, Tatsuo Ohtsuki
- 学会等名
  Proc. of Asia and South Pacific Design Automation Conference 2006
- 発表場所
  Yokohama
- 説明
  「研究成果報告書概要(欧文)」より
- データソース
  KAKENHI-PROJECT-17500047
[学会発表] 動的再構成可能配線について2006
- 著者名/発表者名
  木村晋二
- 学会等名
  信学技報VLD2006-2(pp. 7-12)
- 発表場所
  沖縄
- 説明
  「研究成果報告書概要(和文)」より
- データソース
  KAKENHI-PROJECT-17500047
[学会発表] Performance and Energy Efficient Data Cache Architecture for Embedded Simultaneous Multithreading Microprocessor2006
- 著者名/発表者名
  Chengjie Zang, Shigeki Imai, and Shinji Kimura
- 学会等名
  Proc. of 13th Workshop on Synthesis And System Integration of Mixed Information technologies (SASIMI2006)
- 発表場所
  金沢
- 説明
  「研究成果報告書概要(和文)」より
- データソース
  KAKENHI-PROJECT-17500047
[学会発表] Duplicated Register File Design for Embedded Simultaneous Multithreading Microprocessor2005
- 著者名/発表者名
  Chengjie Zang, Shigeki Imai, and Shinji Kimura
- 学会等名
  Proc. of 6th International Conference on ASIC(ASICON)
- 発表場所
  上海(中国)
- 説明
  「研究成果報告書概要(和文)」より
- データソース
  KAKENHI-PROJECT-17500047
[学会発表] Duplicated Register File Design for Embedded Simultaneous Multithreading Microprocessor2005
- 著者名/発表者名
  Chengjie Zang, Shigeki Imai, Shinji Kimura
- 学会等名
  Proc. of 6th International Conference on ASIC(ASICON)
- 説明
  「研究成果報告書概要(欧文)」より
- データソース
  KAKENHI-PROJECT-17500047
[学会発表] Functional State Coverage Estimation for CTL Model Checking2005
- 著者名/発表者名
  Xingwen Xu, Shinji Kimura, Kazunari Horikawa, Takehiko Tsuchiya
- 学会等名
  Proc. of 20th International Technical Conference on Circuits/Systems, Computers and Communications(ITC-CSCC2005)
- 発表場所
  済州島(韓国)
- 説明
  「研究成果報告書概要(和文)」より
- データソース
  KAKENHI-PROJECT-17500047
[学会発表] Extended Abstract:Transition Traversal Coverage Estimation for Symbolic Model Checking2005
- 著者名/発表者名
  Xingwen Xu, Shinji Kimura, Kazunari Horikawa, Takehiko Tsuchiya
- 学会等名
  Proc. of 3rd ACM&IEEE International Conference on Formal Methods and Models for Co-Design(MEMOCODE2005)
- 発表場所
  ヴェローナ(イタリア)
- 説明
  「研究成果報告書概要(和文)」より
- データソース
  KAKENHI-PROJECT-17500047
[学会発表] Functional State Coverage Estimation for CTL Model Checking2005
- 著者名/発表者名
  Xingwen Xu, Shinji Kimura, Kazunari Horikawa, Takehiko Tsuchiya
- 学会等名
  Proc, of 20th International Technical Conference on Circuits/Systems, Compu-ters and Communications (ITC-CSCC 2005)
- 説明
  「研究成果報告書概要(欧文)」より
- データソース
  KAKENHI-PROJECT-17500047
[学会発表] ビット長に制約がある場合の実数演算の固定小数点演算化2005
- 著者名/発表者名
  土井伸洋, 堀山貴史, 中西正樹, 木村晋二
- 学会等名
  DAシンポジウム2005論文集(pp. 49-54)
- 発表場所
  浜松市
- 説明
  「研究成果報告書概要(和文)」より
- データソース
  KAKENHI-PROJECT-17500047
[学会発表] Transition Traversal Coverage Estimation for Symbolic Model Checking2005
- 著者名/発表者名
  Xingwen Xu, Shinji Kimura, Kazunari Horikawa, Takehiko Tsuchiya
- 学会等名
  Proc. of 6th International Conference on ASIC(ASICON)
- 発表場所
  上海(中国)
- 説明
  「研究成果報告書概要(和文)」より
- データソース
  KAKENHI-PROJECT-17500047
[学会発表] Structural Coverage of Traversed Transitions for Symbolic Model Checking2005
- 著者名/発表者名
  Xingwen Xu, Shinji Kimura, Kazunari Horikawa, Takehiko Tsuchiya
- 学会等名
  IEICE Technical Report(デザインガイア2005, Vol105, No. 443, VLD2005-87/ICD2005-182, pp.65-70)
- 発表場所
  北九州市
- 説明
  「研究成果報告書概要(和文)」より
- データソース
  KAKENHI-PROJECT-17500047
[学会発表] Extended Abstract : Transition Traversal Coverage Estimation for Symbolic Model Checking2005
- 著者名/発表者名
  Xingwen Xu, Shinji Kimura, Kazunari Horikawa, Takehiko Tsuchiya
- 学会等名
  Proc. of 3rd ACM&IEEE International Conference on Formal Methods and Models for Co-Design(MEMOCODE 2005)
- 説明
  「研究成果報告書概要(欧文)」より
- データソース
  KAKENHI-PROJECT-17500047
[学会発表] 不揮発メモリの書き込み削減手法のための小面積なエンコーダ/デコーダ回路構成
- 著者名/発表者名
  多和田雅師, 木村晋二, 柳澤政生, 戸川望
- 学会等名
  電子情報通信学会VLSI設計技術研究会
- 発表場所
  別府市
- 年月日
  2014-11-26 – 2014-11-28
- データソース
  KAKENHI-PROJECT-25280017

1. 戸川望 (30298161)

共同の研究課題数: 6件

共同の研究成果数: 3件
2. 渡邉勝正 (60026078)

共同の研究課題数: 4件

共同の研究成果数: 0件
3. 高木一義 (70273844)

共同の研究課題数: 4件

共同の研究成果数: 0件
4. 羽根田博正 (10031113)

共同の研究課題数: 3件

共同の研究成果数: 0件
5. 國島丈生 (20263436)

共同の研究課題数: 2件

共同の研究成果数: 0件
6. 太田有三 (80111772)

共同の研究課題数: 2件

共同の研究成果数: 0件
7. MEYER MICHAEL

共同の研究課題数: 2件

共同の研究成果数: 0件
8. 後藤敏 (10367170)

共同の研究課題数: 1件

共同の研究成果数: 2件
9. 吉村猛 (80367177)

共同の研究課題数: 1件

共同の研究成果数: 2件
10. 堀山貴史 (60314530)

共同の研究課題数: 1件

共同の研究成果数: 0件
11. 中西正樹 (40324967)

共同の研究課題数: 1件

共同の研究成果数: 0件
12. 安浦寛人 (80135540)

共同の研究課題数: 1件

共同の研究成果数: 0件
13. 孫鶴鳴 (90835886)

共同の研究課題数: 1件

共同の研究成果数: 0件

木村 晋二 Kimura Shinji

研究課題

研究成果

共同研究者

再構成アクセラレータのための近似最適化手法研究代表者

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

サテライトコンピューティングシステムの信頼性と高性能化受入研究者

研究代表者

受入研究者

研究期間 (年度)

研究種目

審査区分

研究機関

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

再構成アクセラレータにおけるデータ形式最適化と精度保証研究代表者

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

類似度を考慮した等価論理を用いたハードウェアの高位設計検証手法の研究研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

プログラムを仕様とするハードウェアの設計検証手法研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

研究機関

研究代表者

研究期間 (年度)

研究種目

研究機関

論理回路の合成手法および最適化手法の高速化に関する研究研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

論理回路の縮約モデルの自動抽出とそれを用いた大規模論理回路の設計検証に関する研究研究代表者

木村晋二 Kimura Shinji