SOC形式验证中的故障诊断

作     者：李星 严晓浪 葛海通 

作者机构：浙江大学VLSI设计研究所浙江杭州310027 

基　　金：半导体集成芯片系统基础研究重大研究计划重点项目(编号90207002) 

出 版 物：《微电子学》 (Microelectronics)

年 卷 期：2003年第33卷第6期

页      码：499-501,505页

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

主 题 词：SOC 形式验证 故障诊断 集成电路设计 模拟诊断法 符号诊断法 

学科分类：080903[080903] 0809[工学-计算机类] 08[工学] 

D　O　I：10.3969/j.issn.1004-3365.2003.06.008

馆 藏 号：203147452...