摘要
在集成电路设计过程中,随着设计规模的不断增大,验证和故障诊断日趋重要。文章首先介绍了SOC形式验证中故障诊断的概念和思想,然后分别讨论了两类故障诊断法:模拟诊断法和符号诊断法。
With the growth of the design scale, the verification and error diagnosis and correction are becoming more and more important in the design process of integrated circuits. The concept and idea of error diagnosis and correction (EDAC) in formal verification of SOC are reviewed, and two approaches for EDAC, simulation-based approach and symbolic approach, are described in the paper.
出处
《微电子学》
CAS
CSCD
北大核心
2003年第6期499-501,505,共4页
Microelectronics
基金
半导体集成芯片系统基础研究重大研究计划重点项目(编号90207002)
关键词
SOC
形式验证
故障诊断
集成电路设计
模拟诊断法
符号诊断法
SOC
Formal verification
Error diagnosis and correction
Simulation-based approach
Symbolic approach
