| SOC形式验证中的故障诊断 |
| |
| 引用本文： | 李星,严晓浪,葛海通. SOC形式验证中的故障诊断[J]. 微电子学, 2003, 33(6): 499-501,505 |
| |
| 作者姓名： | 李星 严晓浪 葛海通 |
| |
| 作者单位： | 浙江大学,VLSI设计研究所,浙江,杭州,310027 |
| |
| 基金项目： | 半导体集成芯片系统基础研究重大研究计划重点项目(编号90207002) |
| |
| 摘 要： | 在集成电路设计过程中，随着设计规模的不断增大，验证和故障诊断日趋重要。文章首先介绍了SOC形式验证中故障诊断的概念和思想，然后分别讨论了两类故障诊断法：模拟诊断法和符号诊断法。
|
| 关 键 词： | SOC 形式验证 故障诊断 集成电路设计 模拟诊断法 符号诊断法 |
| 文章编号： | 1004-3365(2003)06-0499-03 |
Error Diagnosis and Correction in Formal Verification of SOC |
| |
| LI Xing,YAN Xiao-lang,GE Hai-tong. Error Diagnosis and Correction in Formal Verification of SOC[J]. Microelectronics, 2003, 33(6): 499-501,505 |
| |
| Authors: | LI Xing YAN Xiao-lang GE Hai-tong |
| |
| Abstract: | 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. |
| |
| Keywords: | SOC Formal verification Error diagnosis and correction Simulation-based approach Symbolic approach |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
