研究者

J-GLOBAL ID：200901004438606924 更新日: 2024年04月17日

濱口清治

ハマグチキヨハル | Hamaguchi Kiyoharu

所属機関・部署：
職名：教授

研究分野 (1件)：情報学基礎論

研究キーワード (2件)：計算機援用設計技術 , computer aided design

競争的資金等の研究課題 (19件)：

2022 - 2025 入出力プロトコルに着目した機械学習によるカバレッジ駆動検証システムに関する研究
2018 - 2021 SATソルバと機械学習手法を融合した自動設計検証に関する研究
2013 - 2016 機械学習を用いたカバレッジ駆動型ハードウェア検証の効率化に関する研究
2010 - 2012 フォーマル手法およびシミュレーション手法の統合によるハードウェア検証の効率化
2007 - 2009 高位ハードウェア設計記述に対するモデル検査手法の研究

全件表示

論文 (44件)：

Hiroyuki Nakayama, Kiyoharu Hamaguchi. Error Detection Capacity of SAT-based Coverage-driven Design Verification'', 23rd Synthesis and Simulation Meeting and International Interchange, pp. 225-228, March 2021. 23rd Synthesis and Simulation Meeting and International Interchange,. 2021. 225-228
Kiyoharu Hamaguchi. Parallelizing SAT-based Coverage-Driven Design Verification. 22nd Synthesis and Simulation Meeting and International Interchange. 2019. 292-295
Kiyoharu HAMAGUCHI. Applying an SMT Solver to Coverage-Driven Design Verification. IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences. 2018. E101.A. 7. 1053-1056
Mami Miyamoto, Kiyoharu Hamaguchi. Extracting hardware assertions including word-level relations over multiple clock cycles. 2018 19th International Symposium on Quality Electronic Design (ISQED). 2018
Yosuke KAKIUCHI, Kiyoharu HAMAGUCHI. Coverage-Driven Design Verification Using a Diverse SAT Solver. IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences. 2017. E100.A. 7. 1481-1487

もっと見る

MISC (15件)：

KAKIUCHI YOSUKE, NAKAGAWA TOMOFUMI, HAMAGUCHI KIYOHARU. Symbolic Discord Computation for Efficient Analysis of Message Sequence Charts (LSI Design Methodology Vol.4). 情報処理学会論文誌論文誌トランザクション. 2011. 2011. 1. 210-221
HAMAGUCHI KIYOHARU, MASUDA KAZUYA, KASHIWABARA TOSHONOBU. Approximate Model Checking Using a Subset of First-order Logic (IPSJ Transactions on System LSI Design Methodology Vol.3). 情報処理学会論文誌論文誌トランザクション. 2010. 2010. 1. 268-282
SHIMIZU HIROAKI, HAMAGUCHI KIYOHARU, KASHIWABARA TOSHINOBU. 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
中川智文, 浜口清治, 垣内洋介, 中西正樹, 谷本匡亮. メッセージ・シークエンス・チャートに対するSATソルバーを用いたディスコード計算手法. 研究報告モバイルコンピューティングとユビキタス通信(MBL). 2010. 2010. 63. 1-8
増田和也, 浜口清治, 柏原敏伸. 第一階述語論理のサブクラスに対する近似的モデル検査アルゴリズム. 研究報告システムLSI設計技術(SLDM). 2009. 2009. 9. 1-6

もっと見る

書籍 (2件)：

プレパラータ先生の超並列計算講義
共立出版社 1996
Lectures on Parallel Computation
1996

Works (2件)：

高位ハードウェア設計記述に対する等価性判定手法の研究
2004 -
設計資産間のインターフェースに関する仕様記述と検証技術に関する研究
2002 -

学歴 (2件)：

- 1989 京都大学工学研究科情報工学
- 1987 京都大学工学部情報工学

学位 (1件)：

博士(工学) (京都大学)

経歴 (9件)：

2021/09 - 現在京都橘大学工学部情報工学科教授
2018/04 - 現在島根大学総合理工学部知能情報デザイン学科教授
2012/04 - 2018/03 島根大学総合理工学部数理・情報システム学科教授
1999/11 - 2012/03 大阪大学大学院情報科学研究科准教授
1996 - 1999 大阪大学講師

全件表示

受賞 (2件)：

2001 - 情報・システムソサイエティ論文賞
1996 - 山下記念研究賞

所属学会 (8件)：

Association for Comuting Machinery , The Institute of Electrical and Electronics Engineering Inc. , 電子情報通信学会 , 情報処理学会 , IPSJ , IEICE , ACM , IEEE

※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。登録・更新については、こちらをご覧ください。

前のページに戻る

TOP

BOTTOM