数字电路潜在分析研究

摘要

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