SOC形式验证中的故障诊断

• 作者: 严晓浪 李星 葛海通
• 来源期刊: 微电子学
• 学科: 工学
• 关键词: SOC 形式验证 故障诊断 模拟诊断法 符号诊断法
• 年，卷（期）: 2003,（6）
• 所属期刊栏目: 研究论文
• 页码范围: 499-501,505
• 页数: 4页
• 分类号: TN302
• 字数: 3005字
• 语种: 中文
• DOI: 10.3969/j.issn.1004-3365.2003.06.008

摘要

在集成电路设计过程中,随着设计规模的不断增大,验证和故障诊断日趋重要.文章首先介绍了SOC形式验证中故障诊断的概念和思想,然后分别讨论了两类故障诊断法:模拟诊断法和符号诊断法.