位置:立项数据库 > 立项详情页
多值逻辑临界路径跟踪故障模拟方法及实验研究
  • 项目名称:多值逻辑临界路径跟踪故障模拟方法及实验研究
  • 项目类别:面上项目
  • 批准号:69576038
  • 申请代码:F040206
  • 项目来源:国家自然科学基金
  • 研究期限:1996-01-01-1997-12-01
  • 项目负责人:宫云战
  • 负责人职称:教授
  • 依托单位:中国人民解放军装甲兵工程学院
  • 批准年度:1995
中文摘要:

提出了9值逻辑的临界路径跟踪故障模拟算法,运用该方法,对扇出重回聚引线捕获线的计算减少到较低程度,对10个benchmark电路的实验表明,该算法的计算复杂性为O(n(1.1~1.3)).提出了基于多路归并技术的演绎故障模拟算法,运用集合运算的多路归并技术,可以将集合运算的多项式平方复杂性降为线性复杂性,运用该技术,可以证明故障模拟算法的计算复杂性为O(n*log2n),首次从理论上证明了演绎故障模拟算法的计算复杂性为拟线性复杂性。对10个benchmark电路的实验表明也论证了该结论的正确性。上述两个算法分别用在邮电部八五重点科技项目VLSI测试系统实用化系统和IC故障测试系统中,大大加快了测试生成的速度。

结论摘要:

英文主题词Many logic value,fault simulation,Critical path tracing,many way merge technique,computatioal complexity.


成果综合统计
成果类型
数量
  • 期刊论文
  • 会议论文
  • 专利
  • 获奖
  • 著作
  • 2
  • 1
  • 0
  • 0
  • 10
相关项目
宫云战的项目