Reduction of Costs Needed for Engineering Change Orders Based on Error Diagnosis Technique and Incremental Sysnthsis Technique for ECO's
Reduction of Costs Needed for Engineering Change Orders Based on Error Diagnosis Technique and Incremental Sysnthsis Technique for ECO's
基于错误诊断技术和增量综合技术的 ECO 降低工程变更单所需的成本
批准号：
18K11215
负责人：
NUMA MASAHIRO
金额：
$2.83万
依托单位：
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (C)
财政年份：
2018
资助国家：
日本
项目状态：
已结题
起止时间：
2018-04-01 至 2021-03-31
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(8)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
Six-Valued Simulation Based on Adaptive Ordering of Input Patterns for Error Diagnosis
基于输入模式自适应排序的错误诊断六值仿真
基于输入模式自适应排序的错误诊断六值仿真
DOI：
--
发表时间：
2020
期刊：
影响因子：
--
作者：
[A. Masamori, H. Nakano, N. Kuroki, T. Hirose, and M. Numa]
通讯作者：
and M. Numa
Adaptive ordering of EPI-groups to extract error location sets based on ZDD for error diagnosis
基于 ZDD 的 EPI 组自适应排序提取错误位置集进行错误诊断
基于 ZDD 的 EPI 组自适应排序提取错误位置集进行错误诊断
DOI：
--
发表时间：
2020
期刊：
影响因子：
--
作者：
[H. Nakano, S. Hojo, A. Masamori, N. Kuroki, T. Hirose, and M. Numa]
通讯作者：
and M. Numa
RECONセル割当ての実現可能性と配線長コストを考慮した論理再合成手法
考虑RECON单元分配可行性和布线长度成本的逻辑重新综合方法
考虑RECON单元分配可行性和布线长度成本的逻辑重新综合方法
DOI：
--
发表时间：
2020
期刊：
影响因子：
--
作者：
[Kazuhiro Umemura, Tomomichi Suzuki, and Yasushi Nagata, 金子峰雄, 手良向聡, 放生 卓，中野 洋，黒木修隆，沼 昌宏]
通讯作者：
放生 卓，中野 洋，黒木修隆，沼 昌宏
論理再合成における遅延時間抑制に有効なRECONスペアセルの概略配置手法
粗略 RECON 备用单元放置方法可有效抑制逻辑再综合中的延迟时间
粗略 RECON 备用单元放置方法可有效抑制逻辑再综合中的延迟时间
DOI：
--
发表时间：
2018
期刊：
影响因子：
--
作者：
[明石淳平, 澤井剛史，廣瀬哲也，黒木修隆，沼 昌宏]
通讯作者：
澤井剛史，廣瀬哲也，黒木修隆，沼 昌宏
A global placement method for RECON spare cells in ECO-friendly design style
采用环保设计风格的 RECON 备用电池的全局放置方法
采用环保设计风格的 RECON 备用电池的全局放置方法
DOI：
--
发表时间：
2019
期刊：
影响因子：
--
作者：
[J. Akashi, S. Hojo, N. Kuroki, T. Hirose, and M. Numa]
通讯作者：
and M. Numa
共 7 条
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
-
依托单位：
An Error Diagnosis Technique Combining BDD-based Approach and SAT-Solver and Its Application to Incremental Synthesis to Reduce Costs Needed for ECO's
-
批准号：24500064
-
项目类别：Grant-in-Aid for Scientific Research (C)
-
资助金额：$3.33万
-
财政年份：2012
-
负责人：NUMA MASAHIRO
-
依托单位：