Study on Automated Design Verification Combining a SAT-based Method and a Machine Learning Technique

基于SAT的方法和机器学习技术相结合的自动化设计验证研究

基本信息

  • 批准号：
    18K11216
  • 负责人：
    Hamaguchi Kiyoharu
  • 金额：
    $ 2.58万
  • 依托单位：
    Shimane University
  • 依托单位国家：
    日本
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
  • 财政年份：
    2018
  • 资助国家：
    日本
  • 起止时间：
    2018-04-01 至 2021-03-31
  • 项目状态：
    已结题

项目摘要

项目成果

期刊论文数量（3）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
Error Detection Capacity of SAT-based Coverage-driven Design Verification
基于SAT的覆盖驱动设计验证的错误检测能力
  • DOI：
  • 发表时间：
    2021
  • 期刊：
  • 影响因子：
    0
  • 作者：
    Hiroyuki Nakayama;Kiyoharu Hamaguchi
  • 通讯作者：
    Kiyoharu Hamaguchi
Parallelizing SAT-based Coverage-Driven Design Verification
并行化基于 SAT 的覆盖驱动设计验证
  • DOI：
  • 发表时间：
    2019
  • 期刊：
  • 影响因子：
    0
  • 作者：
    H. Nakano;S. Hojo;A. Masamori;N. Kuroki;T. Hirose;and M. Numa;Kiyoharu Hamaguchi
  • 通讯作者：
    Kiyoharu Hamaguchi
Applying an SMT Solver to Coverage-Driven Design Verification
将 SMT 求解器应用于覆盖率驱动的设计验证
{{ item.title }}
{{ item.translation_title }}
  • DOI：
    {{ item.doi }}
  • 发表时间：
    {{ item.publish_year }}
  • 期刊：
    {{ item.journal_name }}
  • 影响因子：
    {{ item.factor }}
  • 作者：
    {{ item.authors }}
  • 通讯作者：
    {{ item.author }}

数据更新时间：{{ journalArticles.updateTime }}

{{ item.title }}
  • 作者：
    {{ item.author }}

数据更新时间：{{ monograph.updateTime }}

{{ item.title }}
  • 作者：
    {{ item.author }}

数据更新时间：{{ sciAawards.updateTime }}

{{ item.title }}
  • 作者：
    {{ item.author }}

数据更新时间：{{ conferencePapers.updateTime }}

{{ item.title }}
  • 作者：
    {{ item.author }}

数据更新时间：{{ patent.updateTime }}

Hamaguchi Kiyoharu其他文献

Hamaguchi Kiyoharu的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI：
    {{ item.doi }}
  • 发表时间：
    {{ item.publish_year }}
  • 期刊：
    {{ item.journal_name }}
  • 影响因子：
    {{ item.factor }}
  • 作者：
    {{ item.authors }}
  • 通讯作者：
    {{ item.author }}
立即体验

{{ truncateString('Hamaguchi Kiyoharu', 18)}}的其他基金

Improving Coverage Driven Verification for Hardware Using Machine Learning
使用机器学习改进覆盖率驱动的硬件验证
  • 批准号：
    25330061
  • 财政年份：
    2013
  • 资助金额：
    $ 2.58万
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)

相似海外基金

グラフニューラルネットワークを用いた高速SATソルバの研究開発
基于图神经网络的高速SAT求解器的研发
  • 批准号：
    21K12023
  • 财政年份：
    2021
  • 资助金额：
    $ 2.58万
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
{{ showInfoDetail.title }}

作者：{{ showInfoDetail.author }}

知道了