京都橘大学 · 工学部 · 教授

研究キーワードcomputer aided design・計算機援用設計技術・Information・Japan・Electronics

ここは公開データのプレビューです。個別の適合理由、連絡角度、保存機能はログイン後に利用できます。

• 2023/06 学術論文 「Parallelizing Random and SAT-based Verification Processes for Improving Toggle Coverage」 IPSJ Transactions on System and LSI Design Methodology Information Processing Society of Japan 16:45-53 （単著）2023 · 論文
• 2017/07 学術論文 「Coverage-driven Design Verification Using a Diverse SAT Solver(ダイバースSATソルバーを用いたカバレッジ駆動型設計検証)」 IEICE Trans. on Fundamentals of Electronics, Communications and Computer Sciences Vol.E100-A(No.07):pp.1481-1487 （共著）2017 · 論文
• 2010/08 学術論文 「Approximate Model Checking using a Subset of First-Order Logic(第一階述語論理の部分集合を用いた近似的モデル検査)」 IPSJ Transactions on System LSI Design Methodology Vol.3:pp.268-282 （共著）2010 · 論文
• 2009/02 学術論文 「Checker Generation of Assertions with Local Variables for Model Checking(モデル検査のための局所変数を含むアサーションに対するチェッカ生成)」 IPSJ Transactions on System LSI Design Methodology Vol.2:pp.80-92 （共著）2009 · 論文

• 2022/04～ 入出力プロトコルに着目した機械学習によるカバレッジ駆動検証システムに関する研究 基盤研究(C) （キーワード：設計自動化 / カバレッジ駆動検証 / SATソルバ / 設計検証）2022 · 科研費・外部資金等
• 2013/04～2017/03 機械学習を用いたカバレッジ駆動型ハードウェア検証の効率化に関する研究 基盤研究(C)2013 · 科研費・外部資金等
• 2007/04～2010/03 高位ハードウェア設計記述に対するモデル検査手法の研究 基盤研究(C)2007 · 科研費・外部資金等
• 2001/04～2003/03 動作レベルおよびレジスタ転送レベルのハードウェア記述に対する形式的検証手法の研究 若手研究(A)2001 · 科研費・外部資金等

• 公式プロフィール