An Error Diagnosis Technique Based on SAT-Solver and Its Application to Incremental Synthesis to Reduce Costs Needed for ECO's

基于SAT-Solver的错误诊断技术及其在增量综合中的应用以降低ECO所需的成本

基本信息

  • 批准号：
    21500054
  • 负责人：
    NUMA Masahiro
  • 金额：
    $ 2.5万
  • 依托单位：
    Kobe University
  • 依托单位国家：
    日本
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
  • 财政年份：
    2009
  • 资助国家：
    日本
  • 起止时间：
    2009 至 2011
  • 项目状态：
    已结题

项目摘要

We have proposed and implemented an error diagnosis technique based on SAT-solver and have applied it to an incremental synthesis system to reduce costs needed for ECO' s(Engineering Change Orders). By iterating the error diagnosis procedure for each subcircuit with incorrect primary output function, we are able to obtain solutions even for larger circuits with many ECO's. The experimental results have shown that the proposed system is effective to reduce costs needed for ECO's.
我们已经提出并实施了一种基于卫星服务器的错误诊断技术，并将其应用于增量合成系统，以降低ECO（工程变更订单）所需的成本。通过迭代每个子电路的错误诊断程序，具有错误的主要输出功能，我们即使对于具有许多ECO的较大电路，我们也能够获得解决方案。实验结果表明，提出的系统可有效降低生态所需的成本。

项目成果

期刊论文数量（0）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
An error diagnosis technique based on clustering of elements
一种基于元素聚类的错误诊断技术
  • DOI：
  • 发表时间：
    2010
  • 期刊：
    IEICE Trans. on Fundamentals
  • 影响因子：
    0
  • 作者：
    K. Shioki;N. Okada;K. Watanabe;T. Hirose;N. Kuroki;and M. Numa
  • 通讯作者：
    and M. Numa
An error diagnosis technique based on SAT solver
一种基于SAT求解器的错误诊断技术
  • DOI：
  • 发表时间：
    2012
  • 期刊：
  • 影响因子：
    0
  • 作者：
    K.Ootsu;T.Yokota;T.Baba;T.Matsuyama
  • 通讯作者：
    T.Matsuyama
信号線欠落に対応した論理診断における変更箇所数削減
减少因信号线缺失而导致的逻辑诊断变化次数
  • DOI：
  • 发表时间：
    2009
  • 期刊：
  • 影响因子：
    0
  • 作者：
    渡辺浩介;塩木講輔;岡田匠史;廣瀬哲也;黒木修隆;沼昌宏
  • 通讯作者：
    沼昌宏
An incremental synthesis technique based on error diagnosis and technology remapping for clusters
基于错误诊断和技术重映射的集群增量综合技术
  • DOI：
  • 发表时间：
    2010
  • 期刊：
  • 影响因子：
    0
  • 作者：
    R.Yokomori;H.Siy;N.Yoshida;M.Noro;K.Inoue;H.Senzaki
  • 通讯作者：
    H.Senzaki
An error diagnosis technique based on location sets to rectify subcircuits
一种基于位置集的子电路错误诊断技术
  • DOI：
  • 发表时间：
    2009
  • 期刊：
    IEICE Trans. on Fundamentals
  • 影响因子：
    0
  • 作者：
    K. Shioki;N. Okada;T. Ishihara;T. Hirose;N. Kuroki;M. Numa
  • 通讯作者：
    M. Numa
{{ 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 }}

NUMA Masahiro其他文献

NUMA Masahiro的其他文献

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

{{ truncateString('NUMA Masahiro', 18)}}的其他基金

Rectification of Logic Design Errors and Its Application to Reduce Costs for Engineering Change Orders
逻辑设计错误的纠正及其在降低工程变更单成本中的应用
  • 批准号：
    18500037
  • 财政年份：
    2006
  • 资助金额：
    $ 2.5万
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)

相似海外基金

Reduction of Costs Needed for Engineering Change Orders Based on Error Diagnosis Technique and Incremental Sysnthsis Technique for ECO's
基于错误诊断技术和增量综合技术的 ECO 降低工程变更单所需的成本
  • 批准号：
    18K11215
  • 财政年份：
    2018
  • 资助金额：
    $ 2.5万
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
An Effective Error Diagnosis Technique Based on UNSAT cores and Its Application to Reduce Costs Needed for ECO's
基于UNSAT核心的有效错误诊断技术及其在降低ECO成本方面的应用
  • 批准号：
    15K00078
  • 财政年份：
    2015
  • 资助金额：
    $ 2.5万
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
An Error Diagnosis Technique Combining BDD-based Approach and SAT-Solver and Its Application to Incremental Synthesis to Reduce Costs Needed for ECO's
结合基于 BDD 的方法和 SAT 求解器的错误诊断技术及其在增量综合中的应用，以降低 ECO 所需的成本
  • 批准号：
    24500064
  • 财政年份：
    2012
  • 资助金额：
    $ 2.5万
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
Rectification of Logic Design Errors and Its Application to Reduce Costs for Engineering Change Orders
逻辑设计错误的纠正及其在降低工程变更单成本中的应用
  • 批准号：
    18500037
  • 财政年份：
    2006
  • 资助金额：
    $ 2.5万
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
An Approach to Universal Design from System Science
从系统科学到通用设计的方法
  • 批准号：
    15560219
  • 财政年份：
    2003
  • 资助金额：
    $ 2.5万
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
{{ showInfoDetail.title }}

作者：{{ showInfoDetail.author }}

知道了