Rectification of Logic Design Errors and Its Application to Reduce Costs for Engineering Change Orders
Rectification of Logic Design Errors and Its Application to Reduce Costs for Engineering Change Orders
逻辑设计错误的纠正及其在降低工程变更单成本中的应用
批准号：
18500037
负责人：
NUMA Masahiro
金额：
$2.23万
依托单位：
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (C)
财政年份：
2006
资助国家：
日本
项目状态：
已结题
起止时间：
2006 至 2008
中文摘要
翻译
論理回路に含まれる論理設計誤りを自動的に修正する論理診断手法を考案・実現するとともに,それに基づいてLSIに対する設計変更要求に対して最小限の修正で対応することを可能とする論理再合成手法を考案・実現した。ドントケア条件や修正箇所情報を利用した論理診断手法を提案することで,より少ない箇所の修正によって設計変更に対応する解を,より多く求めることが可能となり,設計変更コスト削減に大きな効果が得られた。
英文摘要
論理回路に含まれる論理設計誤りを自動的に修正する論理診断手法を考案・実現するとともに,それに基づいてLSIに対する設計変更要求に対して最小限の修正で対応することを可能とする論理再合成手法を考案・実現した。ドントケア条件や修正箇所情報を利用した論理診断手法を提案することで,より少ない箇所の修正によって設計変更に対応する解を,より多く求めることが可能となり,設計変更コスト削減に大きな効果が得られた。
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
DOI：
--
发表时间：
2009
期刊：
IEICE Trans. on Fundamentals
影响因子：
--
作者：
[K. Shioki, N. Okada, T. Ishihara, T. Hirose, N. Kuroki, M. Numa]
通讯作者：
M. Numa
部分回略の修正箇所情報を利用した論理診断手法
利用部分电路修正部分信息的逻辑诊断方法
利用部分电路修正部分信息的逻辑诊断方法
DOI：
--
发表时间：
2008
期刊：
影响因子：
--
作者：
[塩木講輔]
通讯作者：
塩木講輔
An LUT-based error diagnosis technique extended for multiple missing line errors based on iterative diagnosis procedure
基于LUT的错误诊断技术扩展到基于迭代诊断过程的多个缺失线错误
基于LUT的错误诊断技术扩展到基于迭代诊断过程的多个缺失线错误
DOI：
--
发表时间：
2007
期刊：
影响因子：
--
作者：
[T. Ishihara, R. Arai, N. Okada, N. Kuroki, M. Numa]
通讯作者：
M. Numa
An Error Diagnosis Technique Based on SAT-Solver and Its Application to Incremental Synthesis to Reduce Costs Needed for ECO's
-
批准号：21500054
-
项目类别：Grant-in-Aid for Scientific Research (C)
-
资助金额：$2.5万
-
财政年份：2009
-
负责人：NUMA Masahiro
-
依托单位：
海外基金
