Rchr
J-GLOBAL ID：200901004438606924   Update date: Sep. 27, 2024

Hamaguchi Kiyoharu

ハマグチ キヨハル | Hamaguchi Kiyoharu
Affiliation and department：
Kyoto Tachibana University

About Kyoto Tachibana University


Research field  (1)： Information theory
Research keywords  (2)： 計算機援用設計技術 ,  computer aided design
Research theme for competitive and other funds  (19)：
  • 2022 - 2025 入出力プロトコルに着目した機械学習によるカバレッジ駆動検証システムに関する研究
  • 2018 - 2021 Study on Automated Design Verification Combining a SAT-based Method and a Machine Learning Technique
  • 2013 - 2016 Improving Coverage Driven Verification for Hardware Using Machine Learning
  • 2010 - 2012 Improving Hardware Verification Efficiency by Fusion of Formal Methods and Simulation
  • 2007 - 2009 Study on Model Checking for High-Level Hardware Design Descriptions
Show all
Papers (45)：
ｍore...
MISC (15)：
  • Symbolic Discord Computation for Efficient Analysis of Message Sequence Charts (LSI Design Methodology Vol.4). 2011. 2011. 1. 210-221
  • Approximate Model Checking Using a Subset of First-order Logic (IPSJ Transactions on System LSI Design Methodology Vol.3). 2010. 2010. 1. 268-282
  • Approximate Invariant Property Checking Using Term-Height Reduction for a Subset of First-Order Logic (IPSJ Transactions on System LSI Design Methodology Vol.3). 2010. 2009. 2. 105-117
  • NAKAGAWA TOMOFUMI, HAMAGUCHI KIYOHARU, KAKIUCHI YOSUKE, NAKANISHI MASAKI, TANIMOTO TADAAKI. SAT-based Discord Computation for Message Sequence Charts. 2010. 2010. 63. 1-8
  • MASUDA KAZUYA, HAMAGUCHI KIYOHARU, KASHIWABARA TOSHINOBU. Approximate Model Checking for a Subset of First-Order Logic. 2009. 2009. 9. 1-6
ｍore...
Books (2)：
  • プレパラータ先生の超並列計算講義
    共立出版社 1996
  • Lectures on Parallel Computation
    1996
Works (2)：
  • 高位ハードウェア設計記述に対する等価性判定手法の研究
    2004 -
  • 設計資産間のインターフェースに関する仕様記述と検証技術に関する研究
    2002 -
Education (2)：
  • - 1989 Kyoto University
  • - 1987 Kyoto University Faculty of Engineering
Professional career (1)：
  • Dr. of Engineering (Kyoto University)
Work history (9)：
  • 2021/09 - 現在 Kyoto Tachibana University
  • 2018/04 - 現在 Shimane University
  • 2012/04 - 2018/03 Shimane University Interdisciplinary Faculty of Science and Engineering Department of Mathematics and Computer Science
  • 1999/11 - 2012/03 Osaka University Graduate School of Information Science and Technology
  • 1996 - 1999 Osaka University
Show all
Awards (2)：
  • 2001 - 情報・システムソサイエティ論文賞
  • 1996 - 山下記念研究賞
Association Membership(s) (8)：
Association for Comuting Machinery ,  The Institute of Electrical and Electronics Engineering Inc. ,  電子情報通信学会 ,  情報処理学会 ,  IPSJ ,  IEICE ,  ACM ,  IEEE
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page

TOP

BOTTOM