课题基金 / 基金详情

An Error Diagnosis Technique Combining BDD-based Approach and SAT-Solver and Its Application to Incremental Synthesis to Reduce Costs Needed for ECO's

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
负责人：
NUMA MASAHIRO
金额：
$3.33万
依托单位：
Kobe University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (C)
财政年份：
2012
资助国家：
日本
项目状态：
已结题
起止时间：
2012-04-01 至 2015-03-31
来源：
https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-24500064/
关键词：
論理診断論理再合成設計変更SATソルバ設計誤りSATVLSI設計技術ECOQBFソルバＶＬＳＩ設計技術

项目摘要

项目成果

NUMA MASAHIRO的其他基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
メタル配線により再構成可能なセルと論理再合成への応用
使用金属布线的可重构单元及其在逻辑再综合中的应用
DOI： --
发表时间：
期刊：
影响因子： --
作者： [下野友大, 天満 健, 千崎弘人, 廣瀬哲也, 黒木修隆, 沼 昌宏]
通讯作者： 沼 昌宏
充足可能性判定に基づく誤り追跡入力生成と機能特定を用いた論理診断手法
基于可满足性判断的误差跟踪输入生成与函数辨识的逻辑诊断方法
DOI： --
发表时间：
期刊：
影响因子： --
作者： [片山直樹, 松山友紀, 渡辺浩介, 廣瀬哲也, 黒木修隆, 沼 昌宏]
通讯作者： 沼 昌宏
Technology remapping based on multiple solutions for post-mask functional ECO
基于多种解决方案的后掩模功能ECO的技术重新映射
DOI： --
发表时间： 2013
期刊：
影响因子： --
作者： [Y.Kabata, T. Hirose, N. Kuroki, and M. Numa]
通讯作者： and M. Numa
An ECO-friendly design style based on reconfigurable cells
基于可重构单元的环保设计风格
DOI： --
发表时间： 2015
期刊：
影响因子： --
作者： [Y. Kabata, T. Hirose, N. Kuroki, and M. Numa]
通讯作者： and M. Numa
Reduction of Costs Needed for Engineering Change Orders Based on Error Diagnosis Technique and Incremental Sysnthsis Technique for ECO's
  • 批准号：
    18K11215
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
  • 资助金额：
    $2.83万
  • 财政年份：
    2018
  • 负责人：
    NUMA MASAHIRO
  • 依托单位：
    Kobe University
An Effective Error Diagnosis Technique Based on UNSAT cores and Its Application to Reduce Costs Needed for ECO's
  • 批准号：
    15K00078
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
  • 资助金额：
    $2.83万
  • 财政年份：
    2015
  • 负责人：
    NUMA MASAHIRO
  • 依托单位：
    Kobe University