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
- 负责人：
- 金额：$ 3.33万
- 依托单位：
- 依托单位国家：日本
- 项目类别：Grant-in-Aid for Scientific Research (C)
- 财政年份：2012
- 资助国家：日本
- 起止时间：2012-04-01 至 2015-03-31
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
项目成果
期刊论文数量（0）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
メタル配線により再構成可能なセルと論理再合成への応用
使用金属布线的可重构单元及其在逻辑再综合中的应用
- DOI：
- 发表时间：
- 期刊：
- 影响因子：0
- 作者：下野友大;天満 健;千崎弘人;廣瀬哲也;黒木修隆;沼 昌宏
- 通讯作者：沼 昌宏
充足可能性判定に基づく誤り追跡入力生成と機能特定を用いた論理診断手法
基于可满足性判断的误差跟踪输入生成与函数辨识的逻辑诊断方法
- DOI：
- 发表时间：
- 期刊：
- 影响因子：0
- 作者：片山直樹;松山友紀;渡辺浩介;廣瀬哲也;黒木修隆;沼 昌宏
- 通讯作者：沼 昌宏
Technology remapping based on multiple solutions for post-mask functional ECO
基于多种解决方案的后掩模功能ECO的技术重新映射
- DOI：
- 发表时间：2013
- 期刊：
- 影响因子：0
- 作者：Y.Kabata;T. Hirose;N. Kuroki;and M. Numa
- 通讯作者：and M. Numa
An ECO-friendly design style based on reconfigurable cells
基于可重构单元的环保设计风格
- DOI：
- 发表时间：2015
- 期刊：
- 影响因子：0
- 作者：Y. Kabata;T. Hirose;N. Kuroki;and M. Numa
- 通讯作者：and M. Numa
An error diagnosis technique using QBF solver to fix LUT functions
一种使用QBF求解器修复LUT函数的错误诊断技术
- DOI：
- 发表时间：2013
- 期刊：
- 影响因子：0
- 作者：N. Katayama;H. Sakamoto;T. Hirose;N. Kuroki;and M. Numa
- 通讯作者：and M. Numa
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ 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.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('NUMA MASAHIRO', 18)}}的其他基金
Reduction of Costs Needed for Engineering Change Orders Based on Error Diagnosis Technique and Incremental Sysnthsis Technique for ECO's
基于错误诊断技术和增量综合技术的 ECO 降低工程变更单所需的成本
- 批准号：
18K11215 - 财政年份：2018
- 资助金额：
$ 3.33万 - 项目类别：
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
- 资助金额：
$ 3.33万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
相似海外基金
給付理論の再構成――契約総論・各論の統合的研究のために
利益理论的重构：合同一般理论与特殊理论的综合研究
- 批准号：
21K01257 - 财政年份：2021
- 资助金额：
$ 3.33万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
1930年代イギリスにおける経済成長理論の生誕：ハロッド成長理論形成過程の再検討
20世纪30年代英国经济增长理论的诞生：重新审视哈罗德增长理论的形成过程
- 批准号：
19K01573 - 财政年份：2019
- 资助金额：
$ 3.33万 - 项目类别：
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
- 资助金额：
$ 3.33万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
Joint Probability Evaluation System for Extreme Natural Forces causing Complex Disaster
极端自然力造成复杂灾害的联合概率评估系统
- 批准号：
18H01543 - 财政年份：2018
- 资助金额：
$ 3.33万 - 项目类别：
Grant-in-Aid for Scientific Research (B)
Governance of Renewable Energy Project
可再生能源项目治理
- 批准号：
17H00828 - 财政年份：2017
- 资助金额：
$ 3.33万 - 项目类别：
Grant-in-Aid for Scientific Research (A)