数字电路潜在分析研究

摘要：

阐述了潜在分析技术的发展概况、基本概念和应用类型,给出了数字电路潜在问题的定义、表现特征和分析要点；介绍了数字电路的一种网络树生成方法和潜在分析方法；讨论了利用仿真软件直接分析数字电路潜在问题时存在的“穷举”和“数据爆炸”问题,提出了先用潜在分析方法分析数字电路潜在问题、再利用仿真软件辅助验证的观点；最后以具体数字电路为例,利用网络树和线索表、分析了存在的潜在问题,并用仿真软件Saber验证了分析结果的正确性。

关键词： 数字电路 潜在分析 仿真分析 网络树 Saber 数据爆炸 Saber验证

作者: 石士进 严殿启

作者单位: 中国航天标准化研究所 100830

会议类型: 国内会议

会议名称: 第7届国际可靠性、维修性、安全性学术会议(The Seventh International Conference on Reliability,Maintainability and Safety)

会议地点: 北京

会议语种:中文

在线出版日期: 2007-08-22（万方平台首次上网日期，不代表论文的发表时间）