SHINJI Kimura 木村晋二

… Alternative Names

Researcher Number	20183303
Other IDs
External Links
Affiliation (Current)	2019: 早稲田大学, 理工学術院(情報生産システム研究科・センター), 教授
Affiliation (based on the past Project Information) *help	2018 – 2019: 早稲田大学, 理工学術院(情報生産システム研究科・センター), 教授 2010 – 2015: 早稲田大学, 理工学術院, 教授 2007: Waseda University, 大学情報生産システム研究科, 教授 2007: Waseda University, Graduate School of Information, Production, and Systems, Professor 2006: 早稲田大学, 大学院情報生産システム研究科, 教授 … More
Review Section/Research Field	Principal Investigator 計算機科学 / Basic Section 60040:Computer system-related / Computer system/Network Except Principal Investigator 計測・制御工学 / 計算機科学 / Computer system/Network / Basic Section 60040:Computer system-related / Computer system
Keywords	Principal Investigator 二分決定グラフ / 高位検証 / 無評価関数 / BDD / 形式的検証 / High-level Design Verification / パイプライン処理 / 再構成可能素子の検証 / 再構成可能アーキテクチャ / 映像処理向け検証 … More Except Principal Investigator 高位合成 / ハードウェア / ソフトウェア協調設計 / OBDD / 細胞プログラミング / High Level Synthesis / 汎用コプロセッサ / Pocエディタ / 論理合成 / LSI抽象モデル / Multiple DSP's / ディジタル信号処理プロセッサ / VLSI 設計技術 / 手指動作記述文 / COMPUTER AIDED DESIGN / 並列処理 / Digital Control / パターン細胞 / 不確かさ / グラフィックス / 二分決定グラフ / 動的変更機構 / Software Codesign / General Purpose Co-processor / UNCERTAINTY / LSI実装 / ソフトウェアコデザイン / 低消費電力 / ROBUST CONTROL / Simulator / Software Co-operation / データ構造 / 低エネルギー / Reconfigurable System / 検証 / 最短スループット / Parallel Processing / 多重階層メッシュネットワーク / ハードウェア設計 / デジタル制御 / コプロセッサ / ハードウェアのタイミング検証 / マイクロプロセッサ / 回路設計・CAD / ハードウエア設計 / 発展的ソフトウェア構成法 / ディジタル制御 / 前条件・後条件 / 能動形プログラム / ソフトウェア協調動作 / OPERATION ON SETS / 設計自動化 / Verification / コデザイン / 統合化アルゴリズム / ROBUST STABILITY / ハードウェアトロイ / Environmental Adaptability / 計算機援用設計(CAD) / エミュレーション / 知識ベース / 再構成可能システム / ハードウェアアクセラレータ / 識別器最適化 / コンピュータ自動設計 / COMPUTATIONAL GEOMETRY / Re-configurability / 集合の演算 / 局所計算可能性 / 感度解析手法 / Microprocessor / 動的結合機構 / Optimal Precise Control Law / 環境適用 / アクティブソフトウェア / ロバスト制御 / 汎用コブロセッサ / 並列化コンパイラ / アルゴリズム / スケジューリング / RDTネットワーク / Cコンパイラ / Hardware Accelerator / 超並列アルゴリズム / Dynamical Re-construction / スル-プット / 計算幾何学 / 物理合成 / 再構成可能性 / シミュレータ / 能動関数 / ベクトル制御 / 凸包問題 / タイミング / 微細加工技術 / Field Programmable Gate Array (FPGA) / CAD / ハードウェア記述言語 / 統合化合成技術 / 量子アルゴリズム / 機械学習 / LSI設計 / Graphics / 能動形計算モデル / 電子デバイス・集積化回路 / C compiler / 制御系のCAD / FPGA / Timing Verification / Sensitivity Analysis / ネットリスト / Minimum Throughput / Computer Aided Design / マルチDSP / タイミング検証 / Quantum Computing / 発展するソフトウェア構成法 / LSIアーキテクチャ / 環境適応 / ロバスト安定 / 量子計算 / Hardware / 最適精密制御則 / ゲートレベル / 再構成可能プロセッサ / Scheduling Less

Hardware-Trojan Detection for Integrated Circuit Design Data based on Machine LearningOngoing
- Principal Investigator
  
  戸川望
- Project Period (FY)
  2019 – 2021
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Review Section
  
  Basic Section 60040:Computer system-related
- Research Institution
  Waseda University
再構成アクセラレータにおけるデータ形式最適化と精度保証Principal InvestigatorOngoing
- Principal Investigator
  
  木村晋二
- Project Period (FY)
  2018 – 2020
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Review Section
  
  Basic Section 60040:Computer system-related
- Research Institution
  Waseda University
Abstract LSI model and Its Associated Low-energy Integrated LSI Design Methodology
- Principal Investigator
  
  Togawa Nozomu
- Project Period (FY)
  2013 – 2015
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Computer system
- Research Institution
  Waseda University
Abstract LSI Model and Its Associated High-Level Synthesis Algorithm for Deep Submicron Technologies
- Principal Investigator
  
  TOGAWA Nozomu
- Project Period (FY)
  2010 – 2012
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Computer system/Network
- Research Institution
  Waseda University
Research on design and implementation of Ultra Large scale LSI
- Principal Investigator
  
  GOTO Satoshi
- Project Period (FY)
  2008 – 2010
- Research Category
  
  Grant-in-Aid for Scientific Research (A)
- Research Field
  
  Computer system/Network
- Research Institution
  Waseda University
High-level Hardware Verification Based on Equivalence Logic with SimilaritiesPrincipal Investigator
- Principal Investigator
  
  KIMURA Shinji
- Project Period (FY)
  2005 – 2007
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Computer system/Network
- Research Institution
  Waseda University
Hardware Verification with respect to Program SpecificationPrincipal Investigator
- Principal Investigator
  
  KIMURA Shinji
- Project Period (FY)
  2002 – 2004
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  計算機科学
- Research Institution
  Waseda University
Implementation of Adaptable Hardware and Software for Changing Environment
- Principal Investigator
  
  WATANABE Katsumasa
- Project Period (FY)
  1999 – 2001
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  計算機科学
- Research Institution
  NARA INSTITUTE OF SCIENCE AND TECHNOLOGY
コンテンフに適応する発展的ソフトウェアの構成法
- Principal Investigator
  
  WATANABE Katsumasa
- Project Period (FY)
  1997
- Research Category
  
  Grant-in-Aid for Scientific Research on Priority Areas
- Research Institution
  Nara Institute of Science and Technology
コンテンツに適応する発展的ソフトウェアの構成法
- Principal Investigator
  
  渡邉勝正
- Project Period (FY)
  1997 – 1998
- Research Category
  
  Grant-in-Aid for Scientific Research on Priority Areas (A)
- Research Institution
  Nara Institute of Science and Technology
論理回路の合成手法および最適化手法の高速化に関する研究Principal Investigator
- Principal Investigator
  
  木村晋二
- Project Period (FY)
  1996
- Research Category
  
  Grant-in-Aid for Encouragement of Young Scientists (A)
- Research Field
  
  計算機科学
- Research Institution
  Nara Institute of Science and Technology
論理回路の縮約モデルの自動抽出とそれを用いた大規模論理回路の設計検証に関する研究Principal Investigator
- Principal Investigator
  
  木村晋二
- Project Period (FY)
  1995
- Research Category
  
  Grant-in-Aid for Encouragement of Young Scientists (A)
- Research Field
  
  計算機科学
- Research Institution
  Nara Institute of Science and Technology
Research on Reconfigurable General Purpose Co-processor Systems and Their Optimized Hardware/Software Codesign Compiler
- Principal Investigator
  
  WATANABE Katsumasa
- Project Period (FY)
  1995 – 1997
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  計算機科学
- Research Institution
  Nara Institute of Science and Technology
パイプライン処理の形式的並列設計検証手法に関する研究Principal Investigator
- Principal Investigator
  
  木村晋二
- Project Period (FY)
  1994
- Research Category
  
  Grant-in-Aid for Encouragement of Young Scientists (A)
- Research Field
  
  計算機科学
- Research Institution
  Nara Institute of Science and Technology
超並列アルゴリズム設計のためのデータ構造と計算モデルに関する研究
- Principal Investigator
  
  安浦寛人
- Project Period (FY)
  1993
- Research Category
  
  Grant-in-Aid for Scientific Research on Priority Areas
- Research Institution
  Kyushu University
順序機械の設計検証のための暗黙状態数え上げの並列化に関する研究Principal Investigator
- Principal Investigator
  
  木村晋二
- Project Period (FY)
  1993
- Research Category
  
  Grant-in-Aid for Encouragement of Young Scientists (A)
- Research Field
  
  計算機科学
- Research Institution
  Nara Institute of Science and Technology
Studies on Digital-Controller Configuration Design and Its Synchronization Control Using Multiple Digital Signal Processors.
- Principal Investigator
  
  HANEDA Hiromasa
- Project Period (FY)
  1990 – 1992
- Research Category
  
  Grant-in-Aid for General Scientific Research (C)
- Research Field
  
  計測・制御工学
- Research Institution
  Kobe University
OPERATION ON SETS AND IT'S APPLICATIONS TO COMPUTER AIDED DESIGN OF ROBUST CONTROL SYSTEMS
- Principal Investigator
  
  OHTA Yuzo
- Project Period (FY)
  1988 – 1989
- Research Category
  
  Grant-in-Aid for General Scientific Research (C)
- Research Field
  
  計測・制御工学
- Research Institution
  KOBE UNIVERSITY
Studies on Computer-Aided Design of Microprocessor Controlled Precise AC Servo Systems.
- Principal Investigator
  
  HANEDA Hiromasa
- Project Period (FY)
  1984 – 1986
- Research Category
  
  Grant-in-Aid for General Scientific Research (B)
- Research Field
  
  計測・制御工学
- Research Institution
  Kobe University

All 2016 2015 2011 2010 2008 2007 2006 2005 2004 2003 2002 Other

All Journal Article Presentation Book

[Book] システムLSI設計技術、4章「ハードウェア設計技術」(木村晋二担当)2006
- Author(s)
  藤田昌宏編著(藤田昌宏, 木村晋二他)
- Total Pages
  50
- Publisher
  オーム社
- Data Source
  KAKENHI-PROJECT-17500047
[Journal Article] ECC-Based Bit-Write Reduction Code Generation for Non-Volatile Memory2015
- Author(s)
  Masashi Tawada, Shinji Kimura, Masao Yanagisawa, and Nozomu Togawa
- Journal Title
  
  IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
  
  Volume: E98-A Issue: 12 Pages: 2494-2504
- DOI
  10.1587/transfun.E98.A.2494
- ISSN
  0916-8508, 1745-1337
- Language
  English
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-25280017
[Journal Article] Multi-Operand Adder Synthesis Targeting FPGAs2011
- Author(s)
  Taeko Matsunaga, Shinji Kimura, and Yusuke Matsunaga
- Journal Title
  
  IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
  
  Volume: vol. E94-A, no. 12 Issue: 12 Pages: 2579-2586
- DOI
  10.1587/transfun.E94.A.2579
- ISSN
  0916-8508, 1745-1337
- Language
  English
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22300019
[Journal Article] Power Optimization of Sequential Circuits Using Switching Activity Based Clock Gating2010
- Author(s)
  Xin Man, Takashi Horiyama, Shinji Kimura
- Journal Title
  
  IEICE Trans.On Fundamentals
  
  Volume: E93-A Pages: 2472-2480
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22300019
[Journal Article] メデイア処理における超低消費電力SoC技術2010
- Author(s)
  後藤敏、池永剛、吉村猛、木村晋二、戸川望
- Journal Title
  
  情報処理 Vo.51,No.7
  
  Pages: 837-845
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20240004
[Journal Article] メディア処理における超低消費電力SoC技術2010
- Author(s)
  後藤敏、池永剛、吉村猛、木村晋二、戸川望
- Journal Title
  
  情報処理
  
  Volume: Vo.51, No.7 Pages: 837-845
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20240004
[Journal Article] Power Optimization of Sequential Circuits Using Switching Activity Based Clock Gating2010
- Author(s)
  Xin Man, Takashi Horiyama, and Shinji Kimura
- Journal Title
  
  IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
  
  Volume: vol. E93-A, no. 12 Issue: 12 Pages: 2472-2480
- DOI
  10.1587/transfun.E93.A.2472
- ISSN
  0916-8508, 1745-1337
- Language
  English
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22300019
[Journal Article] The Optimal Architecture Design of Two-Dimensional Matrix Multiplication Jumping Systolic Array2008
- Author(s)
  Y.Yang, S.Kimura
- Journal Title
  
  IEICE Trans.Fundamentals E91-A
  
  Pages: 1101-1111
- Description
  「研究成果報告書概要(和文)」より
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17500047
[Journal Article] Issue Mechanism for Embeded Simultaneous Multithreading Processor2008
- Author(s)
  C.Zang, S.Imai, S.Frank, S.Kimura
- Journal Title
  
  IEICE Trans.Fundamentals E91-A
  
  Pages: 1092-1100
- Description
  「研究成果報告書概要(和文)」より
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17500047
[Journal Article] Issue Mechanism for Embeded Simultaneous Multithreading Processor2008
- Author(s)
  C. Zang, S. Imai, S. Frank, S. Kimura
- Journal Title
  
  IEICE Trans. Fundamentals E91-A
  
  Pages: 1092-1100
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-17500047
[Journal Article] The Optimal Architecture Design of Two-Dimensional Matrix Multiolication Jumping Systolic Array2008
- Author(s)
  Y. Yang, S. Kimura
- Journal Title
  
  IEICE Trans. Fundamentals E91-A
  
  Pages: 1101-1111
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-17500047
[Journal Article] Power-Conscious Synthesis of Parallel Prefix Adders under Bitwise Timing Const\ raints2007
- Author(s)
  Taeko Matsunaga, Shinji Kimura, Yusuke Matsunaga
- Journal Title
  
  Proceedings of 14th Workshop on Synthesis And System Integration of Mixed Infor\mation technologies
  
  Pages: 7-14
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17500047
[Journal Article] 回路変更を用いたプロトタイプ設計検証の高速化手法2007
- Author(s)
  井上敬太, シン唯頡, 木村晋二
- Journal Title
  
  情報処理学会研究報告 SLDM129/4
  
  Pages: 113-118
- Data Source
  KAKENHI-PROJECT-17500047
[Journal Article] Issue Mechanism for Embedded Simultaneous Multithreading Processor2007
- Author(s)
  Chengjie Zang, Shigeki Imai, and Shinji Kimura
- Journal Title
  
  Proceedings of The 20th Workshop on Circuits and Systems in Karuizawa
  
  Pages: 325-330
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17500047
[Journal Article] Resynthesis Method for Circuit Acceleration on LUT-based FPGA2007
- Author(s)
  Weijie Xing, Takashi Horiyama, Shinji Kimura, et. al.
- Journal Title
  
  Integration of Mixed Infor\mation technologies (SASIMI2007)
  
  Pages: 375-380
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17500047
[Journal Article] Active Mode Leakage Power Reduction Based on the Controlling Value of Logic Gates2007
- Author(s)
  Lei Chen, Shinji Kimura
- Journal Title
  
  Proceedings of 14th Workshop on Synthesis And System Integration of Mixed Information technologies
  
  Pages: 266-271
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17500047
[Journal Article] Bit-Length Optimization Method for High-Level Synthesis based on Non-Linear Programming Technique2006
- Author(s)
  Nobuhiro DOI, Takashi HORUYAMA, Masaki NAKANISHI, Shinji KIMURA
- Journal Title
  
  IEICE Trans. Fundamentals E89-A
  
  Pages: 3427-3434
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-17500047
[Journal Article] 高位検証における等価論理式への変換手法について2006
- Author(s)
  鄭光フン, 木村晋二
- Journal Title
  
  電子情報通信学会技術研究報告 March
  
  Pages: 1-6
- Data Source
  KAKENHI-PROJECT-17500047
[Journal Article] Selective Low-Care Coding : A Means for Test Date Compression in Circuits with Multiple Scan Chains2006
- Author(s)
  Youhua Shi, Nozomu Togawa, Shinji Kimura, Masao Yanagisawa, Tatsuo Ohtsuki
- Journal Title
  
  IEICE Trans. Fundamentals E91-A
  
  Pages: 996-1004
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-17500047
[Journal Article] Bit-Length Optimization Method for High-Level Synthesis based on Non-Linear Programming Technique2006
- Author(s)
  Nobuhiro DOI, Takashi HORIYAMA, Masaki NAKANISHI, and Shinji KIMURA
- Journal Title
  
  IEICE Trans.Fundamentals E89-A
  
  Pages: 3427-3434
- Description
  「研究成果報告書概要(和文)」より
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17500047
[Journal Article] Transition-Based Coverage Estimation for Symbolic Model Checking2006
- Author(s)
  Xingwen Xu, Shinji Kimura, Kazunari Horikawa, Takehiko Tsuchiya.
- Journal Title
  
  Proceeding of ASP-DAC2006 Jan.
  
  Pages: 1-6
- Data Source
  KAKENHI-PROJECT-17500047
[Journal Article] An Efficient Instruction Issue Mechanism for Simultaneous Multithreading Microprocessor2006
- Author(s)
  Taeseok Jeong, Chengjie Zang, Shinji Kimura
- Journal Title
  
  Proc. International SoC Design Conference
  
  Pages: 351-354
- Data Source
  KAKENHI-PROJECT-17500047
[Journal Article] Performance and Energy Efficient Data Cache Architecture for Embedded Simultaneous Multithreading Microprocessor2006
- Author(s)
  Chengjie Zang, Shigeki Imai, Shinji Kimura
- Journal Title
  
  Proceedings of 13th Workshop on Synthesis And System Integration of Mixed Information technologies
  
  Pages: 268-273
- Data Source
  KAKENHI-PROJECT-17500047
[Journal Article] Coverage Estimation Using Transition Perturbation for Symbolic Model Checking in Hardware Verification2006
- Author(s)
  Xingwen XU, Shinji KIMURA, Kazunari HORIKAWA, and Takehiko TSUCHIYA
- Journal Title
  
  IEICE Trans.Fundamentals E89-A
  
  Pages: 3451-3457
- Description
  「研究成果報告書概要(和文)」より
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17500047
[Journal Article] Bit-Length optimization Method for High-Level Synthesis based on Non-Linear Programming Technique2006
- Author(s)
  Masaki NAKANISHI, SHinji Kimura
- Journal Title
  
  IEICE Trans. Fundamentals E89-A, No.12
  
  Pages: 3427-3434
- Data Source
  KAKENHI-PROJECT-17500047
[Journal Article] Selective Low-Care Coding:A Means for Test Data Compression in Circuits with Multiple Scan Chains2006
- Author(s)
  Youhua Shi, Nozomu Togawa, Shinji Kimura, Masao Yanagisawa, Tatsuo Ohtsuki
- Journal Title
  
  IEICE Trans.Fundamentals E91-A
  
  Pages: 996-1004
- Description
  「研究成果報告書概要(和文)」より
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17500047
[Journal Article] Coverage Estimation Using Transition Perturbatio for Symbolic Model Checking in Hardware Verification2006
- Author(s)
  Xingwen XU, Shinji KIMURA, kazunari Horikawa, Takehiko TSUCHIYA
- Journal Title
  
  IEICE Trans. Fundamentals E89-A
  
  Pages: 3451-3457
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-17500047
[Journal Article] Structural Coverage of Traversed Transitions for Symbolic Model Checking2005
- Author(s)
  Xingwen Xu, Shinji Kimura, Kazunari Horikawa, Takehiko Tsuchiya
- Journal Title
  
  IEICE Technical Report(デザインガイア2005) Vol.105, No.443, Nov.
  
  Pages: 65-70
- Data Source
  KAKENHI-PROJECT-17500047
[Journal Article] Duplicated Register File Design for Embedded Simultaneous Multithreading Microprocessor2005
- Author(s)
  Chengjie Zang, Shigeki Imai, Shinji Kimura
- Journal Title
  
  Proceedings of International Conference on ASIC Oct.
  
  Pages: 160-163
- Data Source
  KAKENHI-PROJECT-17500047
[Journal Article] 非線形計画法と整数解の探索に基づく高位合成向けビット長最適化2005
- Author(s)
  土井伸洋, 堀山貴志, 中西正樹, 木村晋二
- Journal Title
  
  情報処理学会システムLSI設計技術研究会報告
  
  Pages: 1-6
- Data Source
  KAKENHI-PROJECT-14580377
[Journal Article] ビット長に制約がある場合の実数演算の固定小数点演算化2005
- Author(s)
  土井伸洋, 堀山貴史, 中西正樹, 木村晋二
- Journal Title
  
  DAシンポジウム2005論文集 July
  
  Pages: 49-54
- Data Source
  KAKENHI-PROJECT-17500047
[Journal Article] Transition Traversal Coverage Estimation for Symbolic Model Checking2005
- Author(s)
  Xingwen Xu, Shinji Kimura, Kazunari Horikawa, Takehiko Tsuchiya
- Journal Title
  
  Proceeding of the 6th International Conference on ASIC Oct.
  
  Pages: 850-853
- Data Source
  KAKENHI-PROJECT-17500047
[Journal Article] 浮動小数点演算と演算チェイニングを考慮した粗粒度再構成可能ハードウェア2005
- Author(s)
  阿久津日出実, 木村晋二
- Journal Title
  
  電信情報通信学会技術研究報告 March
  
  Pages: 1-6
- Data Source
  KAKENHI-PROJECT-17500047
[Journal Article] An Optimization Method in Floating-point to Fixed-point Conversion using Positive and Negative Error Analysis and Sharing of Operations2004
- Author(s)
  N.Doi, T.Horiyama, M.Nakanishi, S.Kimura
- Journal Title
  
  Proc.of Workshop on Synthesis and System Integration of Mixed Technologies (SASIMI'2004)
  
  Pages: 466-471
- Data Source
  KAKENHI-PROJECT-14580377
[Journal Article] A Selective Scan Chain Reconfiguration through Run-Length Coding for Test Data Compression and Scan Power Reduction2004
- Author(s)
  Y.Shi, S.Kimura, M.Yanagisawa, T.Ohtsuki
- Journal Title
  
  IEICE Trans.Fundamentals E87-A, No.12
  
  Pages: 3208-3215
- Data Source
  KAKENHI-PROJECT-14580377
[Journal Article] A Hybrid Dictionary Test Data Compression for Multiscan-based Designs2004
- Author(s)
  Y.Shi, S.Kimura, M.Yanagisawa, T.Ohtsuki
- Journal Title
  
  IEICE Trans.Fundamentals E87-A, No.12
  
  Pages: 3193-3199
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-14580377
[Journal Article] A Hybrid Dictionary Test Data Compression for Multiscan-based Designs2004
- Author(s)
  Y.Shi, S.Kimura, M.Yanagisawa, T.Ohtsuki
- Journal Title
  
  IEICE Trans. Fundamentals E87-A, No.12
  
  Pages: 3193-3199
- Data Source
  KAKENHI-PROJECT-14580377
[Journal Article] A Hybrid Dictionary Test Data Compression for Multiscan-based Designs2004
- Author(s)
  Y.Shi, S.Kimura, M.Yanagisawa, T.Ohtsuki
- Journal Title
  
  IEICE Trans.Fundamentals Vol.E87-A, No.12
  
  Pages: 3193-3199
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-14580377
[Journal Article] 浮動小数点演算での誤差の増減を考慮した変数ビット長の最適化2004
- Author(s)
  土井伸洋, 堀山貴史, 中西正樹, 木村晋二
- Journal Title
  
  DAシンポジウム2004論文集
  
  Pages: 85-90
- Data Source
  KAKENHI-PROJECT-14580377
[Journal Article] Reconfigurable Architecture for Bit-Level Data Processing2004
- Author(s)
  S.Kimura
- Journal Title
  
  Proceedings of 1st Silicon-Seabelt Workshop on VLSI Designs
  
  Pages: 1-6
- Data Source
  KAKENHI-PROJECT-14580377
[Journal Article] A Built-in Reseeding Technique for LFSR-Based Test Pattern Generation2003
- Author(s)
  Y.Shi, Z.Zhang, S.Kimura, M.Yanagisawa, T.Ohtsuki
- Journal Title
  
  IEICE Trans.Fundamentals Vol.E86-A, No.12
  
  Pages: 3056-3662
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-14580377
[Journal Article] Bit Length Optimization of Fractional Part on Floating to Fixed Point Conversion for High Level Synthesis2003
- Author(s)
  N.Doi, T.Horiyama, N.Nakanishi, S.Kimura, K.Watanabe
- Journal Title
  
  IEICE Trans.Fundamentals E86-A, No.12
  
  Pages: 3176-3183
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-14580377
[Journal Article] A Built-in Reseeding Technique for LFSR-Based Test Pattern Generation2003
- Author(s)
  Y.Shi, Z.Zhang, S.Kimura, M.Yanagisawa, T.Ohtsuki
- Journal Title
  
  IEICE Trans.Fundamentals E86-A, No.12
  
  Pages: 3056-3662
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-14580377
[Journal Article] An On-Chip High Speed Serial Communication Method Based on Independent Ring Oscillators2003
- Author(s)
  S.Kimura, T.Hayakawa, T.Horiyama, M.Nakanishi, K.Watanabe
- Journal Title
  
  Proc.of International Solid State Circuit Conference 03 22.3
  
  Pages: 390-391
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-14580377
[Journal Article] Bit Length Optimization of Fractional Part on Floating to Fixed Point Conversion for High Level Synthesis2003
- Author(s)
  N.Doi, T.Horiyama, N.Nakanishi, S.Kimura, K.Watanabe
- Journal Title
  
  IEICE Trans.Fundamentals Vol.E86-A, No.12
  
  Pages: 3176-3183
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-14580377
[Journal Article] Bit Length Optimization of Fractional Parts on Floating to Fixed Point Conversion for High-Level Synthesis2003
- Author(s)
  N.Doi, T.Horiyama, M.Nakanishi, S.Kimura, K.Watanabe
- Journal Title
  
  Workshop on Synthesis and System Integration of Mixed Technologies (SASIMI'2003)
  
  Pages: 129-136
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-14580377
[Journal Article] An On-Chip High Speed Serial Communication Method Based on Independent Ring Oscillators2003
- Author(s)
  S.Kimura, T.Hayakawa, T.Horiyama, M.Nakanishi, K.Watanabe
- Journal Title
  
  Proc.of International Solid State Circuit Conference
  
  Pages: 390-391
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-14580377
[Journal Article] Folding of Logic Functions and Its Application to Look Up Table Compaction2002
- Author(s)
  S.Kimura, T.Horiyama, M.Nakanishi, H.Kajihara
- Journal Title
  
  Proc.on ICCAD 2002 (International Conference on Computer Aided Design)
  
  Pages: 694-697
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-14580377
[Journal Article] Look Up Table Compaction Based on Folding of Logic Functions2002
- Author(s)
  S.Kimura, A.Ishii, T.Horiyama, M.Nakanishi, H.Kajihara, K.Watanabe
- Journal Title
  
  IEICE Trans.Fundamentals Vol.E85-A, No.12
  
  Pages: 2701-2707
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-14580377
[Journal Article] Look Up Table Compaction Based on Folding of Logic Functions2002
- Author(s)
  S.Kimura, A.Ishii, T.Horiyama, M.Nakanishi, H.Kajihara, K.Watanabe
- Journal Title
  
  IEICE Trans.Fundamentals E85-A, No.12
  
  Pages: 2701-2707
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-14580377
[Presentation] 冗長符号化を用いたマルチレベルセル不揮発性メモリ書き込み量削減2016
- Author(s)
  多和田雅師, 木村晋二, 柳澤政生, 戸川望
- Organizer
  電子情報通信学会VLSI設計技術研究会
- Place of Presentation
  横浜市
- Year and Date
  2016-01-19
- Data Source
  KAKENHI-PROJECT-25280017
[Presentation] 回路面積を考慮した不揮発性メモリ書き込み削減符号生成手法2015
- Author(s)
  多和田雅師, 木村晋二, 柳澤政生, 戸川望
- Organizer
  電子情報通信学会VLSI設計技術研究会
- Place of Presentation
  長崎市
- Year and Date
  2015-12-01
- Data Source
  KAKENHI-PROJECT-25280017
[Presentation] Optimal planar jumping systolic array design for matrix multiplication2007
- Author(s)
  Yun Yang and Shinji Kimura
- Organizer
  The 20th Workshop on Circuits and Systems in Karuizawa(KARUIZAWA-2007)
- Place of Presentation
  軽井沢
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-17500047
[Presentation] Issue Mechanism for Embedded Simultaneous Multithreading Processor2007
- Author(s)
  Chengjie Zang, Shigeki Imai, and Shinji Kimura
- Organizer
  The 20th Workshop on Circuits and Systems in Karuizawa(KARUIZAWA-2007)
- Place of Presentation
  軽井沢
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-17500047
[Presentation] Power-Conscious Synthesis of Parallel Prefix Adders under Bitwise Timing Constraints2007
- Author(s)
  Taeko Matsunaga, Shinji Kimura, Yusuke Matsunaga
- Organizer
  Proc. of 14th Workshop on Synthesis And System Integration of Mixed Information technologies(SASIMI2007)
- Place of Presentation
  札幌
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-17500047
[Presentation] Resynthesis Method for Circuit Acceleration on LUT-based FPGA2007
- Author(s)
  Weijie Xing, Takashi Horiyama, Shunichi Kuromaru, Tomoo Kimura, Shinji Kimura
- Organizer
  Proc. of 14th Workshop on Synthesis And System Integration of Mixed Information technologies(SASIMI2007)
- Place of Presentation
  札幌
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-17500047
[Presentation] 回路変更を用いたプロトタイプ設計検証の高速化手法"2007
- Author(s)
  井上敬太, シン唯頡, 木村晋二
- Organizer
  情報処理学会研究報告(No. SLDM129/4, pp.113-118)
- Place of Presentation
  広島
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-17500047
[Presentation] Active Mode Leakage Power Reduction Based on the Controlling Value of Logic Gates2007
- Author(s)
  Lei Chen, Shinji Kimura
- Organizer
  Proc. of 14th Workshop on Synthesis And System Integration of Mixed Information technologies(SASIMI2007)
- Place of Presentation
  札幌
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-17500047
[Presentation] 高位検証における等価論理式への変換手法について2006
- Author(s)
  鄭、木村
- Organizer
  信学技法(Vol. 105, No.644, pp.79-84)
- Place of Presentation
  沖縄
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-17500047
[Presentation] An Efficient Instruction Issue Mechanism for Simultaneous Multithreading Microprocessor2006
- Author(s)
  Taeseok Jeong, Chengjie Zang and Shinji Kimura
- Organizer
  Proc. Of International SoC Design Conference(ISOCC2006)
- Place of Presentation
  ソウル(韓国)
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-17500047
[Presentation] Performance and Energy Efficient Data Cache Architecture for Embedded Simultaneous Multithreading Microprocessor2006
- Author(s)
  Chengjie Zang, Shigeki Imai, Shinji Kimura
- Organizer
  ProInternational SoC Design Conference(ISOCC2006)
- Place of Presentation
  Seoul
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-17500047
[Presentation] 浮動小数点演算と演算チェイニングを考慮した粗粒度再構成可能ハードウェア2006
- Author(s)
  阿久津日出実、木村晋二
- Organizer
  信学技法(Vol. 105, No.645, pp.43-48)
- Place of Presentation
  横浜
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-17500047
[Presentation] Transition-Based Coverage Estimation for Symbolic Model Checking2006
- Author(s)
  Xingwen Xu, Shinji Kimura, Kazunari Horikawa, Takehiko Tsuchiya
- Organizer
  Proc. of Asia and South Pacific Design Automation Conference 2006
- Place of Presentation
  横浜
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-17500047
[Presentation] Performance and Energy Efficient Data Cache Architecture for Embedded Simultaneous Multithreading Microprocessor2006
- Author(s)
  Chengjie Zang, Shigeki Imai and Shinji Kimura
- Organizer
  Proc. of International SoC Design Conference (ISOCC2006)
- Place of Presentation
  ソウル(韓国)
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-17500047
[Presentation] FCSCAN:An Efficient Multiscan-based Test Compression Technique for Test Cost Reduction2006
- Author(s)
  Youhua Shi, Nozomu Togawa, Shinji Kimura, Masao Yanagisawa, Tatsuo Ohtsuki
- Organizer
  Proc. of Asia and South Pacific Design Automation Conference 2006
- Place of Presentation
  横浜
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-17500047
[Presentation] FCSCAN : An Efficient Multiscan-based Test Compression Technique for Test Cost Reduction2006
- Author(s)
  Youhua Shi, Nozomu Togawa, Shinji Kimura, Masao Yanagisawa, Tatsuo Ohtsuki
- Organizer
  Proc. of Asia and South Pacific Design Automation Conference 2006
- Place of Presentation
  Yokohama
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-17500047
[Presentation] An Efficient Instruction Issue Mechanism for Simultaneous Multithreading Microprocessor2006
- Author(s)
  Taeseok Jeong, Chengjie Zang, Shinji Kimura
- Organizer
  ProInternational SoC Design Conference(ISOCC2006)
- Place of Presentation
  Seoul
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-17500047
[Presentation] 動的再構成可能配線について2006
- Author(s)
  木村晋二
- Organizer
  信学技報VLD2006-2(pp. 7-12)
- Place of Presentation
  沖縄
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-17500047
[Presentation] Performance and Energy Efficient Data Cache Architecture for Embedded Simultaneous Multithreading Microprocessor2006
- Author(s)
  Chengjie Zang, Shigeki Imai, Shinji Kimura
- Organizer
  Proc. of 13th Workshop on Synthesis And System Integration of Mixed Information technologies(SASIMI2006)
- Place of Presentation
  Kanazawa
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-17500047
[Presentation] Performance and Energy Efficient Data Cache Architecture for Embedded Simultaneous Multithreading Microprocessor2006
- Author(s)
  Chengjie Zang, Shigeki Imai, and Shinji Kimura
- Organizer
  Proc. of 13th Workshop on Synthesis And System Integration of Mixed Information technologies (SASIMI2006)
- Place of Presentation
  金沢
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-17500047
[Presentation] ビット長に制約がある場合の実数演算の固定小数点演算化2005
- Author(s)
  土井伸洋, 堀山貴史, 中西正樹, 木村晋二
- Organizer
  DAシンポジウム2005論文集(pp. 49-54)
- Place of Presentation
  浜松市
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-17500047
[Presentation] Functional State Coverage Estimation for CTL Model Checking2005
- Author(s)
  Xingwen Xu, Shinji Kimura, Kazunari Horikawa, Takehiko Tsuchiya
- Organizer
  Proc. of 20th International Technical Conference on Circuits/Systems, Computers and Communications(ITC-CSCC2005)
- Place of Presentation
  済州島(韓国)
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-17500047
[Presentation] Transition Traversal Coverage Estimation for Symbolic Model Checking2005
- Author(s)
  Xingwen Xu, Shinji Kimura, Kazunari Horikawa, Takehiko Tsuchiya
- Organizer
  Proc. of 6th International Conference on ASIC(ASICON)
- Place of Presentation
  上海(中国)
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-17500047
[Presentation] Duplicated Register File Design for Embedded Simultaneous Multithreading Microprocessor2005
- Author(s)
  Chengjie Zang, Shigeki Imai, and Shinji Kimura
- Organizer
  Proc. of 6th International Conference on ASIC(ASICON)
- Place of Presentation
  上海(中国)
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-17500047
[Presentation] Structural Coverage of Traversed Transitions for Symbolic Model Checking2005
- Author(s)
  Xingwen Xu, Shinji Kimura, Kazunari Horikawa, Takehiko Tsuchiya
- Organizer
  IEICE Technical Report(デザインガイア2005, Vol105, No. 443, VLD2005-87/ICD2005-182, pp.65-70)
- Place of Presentation
  北九州市
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-17500047
[Presentation] Extended Abstract : Transition Traversal Coverage Estimation for Symbolic Model Checking2005
- Author(s)
  Xingwen Xu, Shinji Kimura, Kazunari Horikawa, Takehiko Tsuchiya
- Organizer
  Proc. of 3rd ACM&IEEE International Conference on Formal Methods and Models for Co-Design(MEMOCODE 2005)
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-17500047
[Presentation] Extended Abstract:Transition Traversal Coverage Estimation for Symbolic Model Checking2005
- Author(s)
  Xingwen Xu, Shinji Kimura, Kazunari Horikawa, Takehiko Tsuchiya
- Organizer
  Proc. of 3rd ACM&IEEE International Conference on Formal Methods and Models for Co-Design(MEMOCODE2005)
- Place of Presentation
  ヴェローナ(イタリア)
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-17500047
[Presentation] Functional State Coverage Estimation for CTL Model Checking2005
- Author(s)
  Xingwen Xu, Shinji Kimura, Kazunari Horikawa, Takehiko Tsuchiya
- Organizer
  Proc, of 20th International Technical Conference on Circuits/Systems, Compu-ters and Communications (ITC-CSCC 2005)
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-17500047
[Presentation] Duplicated Register File Design for Embedded Simultaneous Multithreading Microprocessor2005
- Author(s)
  Chengjie Zang, Shigeki Imai, Shinji Kimura
- Organizer
  Proc. of 6th International Conference on ASIC(ASICON)
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-17500047
[Presentation] 不揮発メモリの書き込み削減手法のための小面積なエンコーダ/デコーダ回路構成
- Author(s)
  多和田雅師, 木村晋二, 柳澤政生, 戸川望
- Organizer
  電子情報通信学会VLSI設計技術研究会
- Place of Presentation
  別府市
- Year and Date
  2014-11-26 – 2014-11-28
- Data Source
  KAKENHI-PROJECT-25280017

1. WATANABE Katsumasa (60026078)

# of Collaborated Projects: 4 results

# of Collaborated Products: 0 results
2. TAKAGI Kazuyoshi (70273844)

# of Collaborated Projects: 4 results

# of Collaborated Products: 0 results
3. TOGAWA Nozomu (30298161)

# of Collaborated Projects: 4 results

# of Collaborated Products: 4 results
4. HANEDA Hiromasa (10031113)

# of Collaborated Projects: 3 results

# of Collaborated Products: 0 results
5. KUNISHIMA Takeo (20263436)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
6. OHTA Yuzo (80111772)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
7. GOTO Satoshi (10367170)

# of Collaborated Projects: 1 results

# of Collaborated Products: 2 results
8. TAKESHI Yoshimura (80367177)

# of Collaborated Projects: 1 results

# of Collaborated Products: 2 results
9. HORIYAMA Takashi (60314530)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
10. NAKANISHI Masaki (40324967)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
11. 安浦寛人 (80135540)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results

SHINJI Kimura 木村 晋二

木村 晋二 キムラ シンジ

KIMURA Shinji 木村 晋二

Research Projects

Research Products

Co-Researchers

Hardware-Trojan Detection for Integrated Circuit Design Data based on Machine LearningOngoing

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

再構成アクセラレータにおけるデータ形式最適化と精度保証Principal InvestigatorOngoing

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

High-level Hardware Verification Based on Equivalence Logic with SimilaritiesPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Hardware Verification with respect to Program SpecificationPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Institution

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

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

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

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

パイプライン処理の形式的並列設計検証手法に関する研究Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

SHINJI Kimura 木村晋二

木村晋二キムラシンジ

KIMURA Shinji 木村晋二