对电路的等价性检验方法的探讨  

作　　者：李国进[1] 

机构地区：[1]中国空空导弹研究院,河南洛阳471000

出　　处：《商品与质量（学术观察）》2012年第1期220-220,共1页The Merchandise and Quality

摘　　要：等价性检验是目前电路设计验证中应用最为广泛的形式化方法。为了提高验证的效率，通常使用组合验证的方法来验证大型时序电路。大多数组合等价性检验方法都以二叉判决图（BDD）为主要推理引擎，可能导致内存爆炸题。基于增量的方法是利用两个电路内部的结构相似性，把要验证的问题分解为多个子任务、增量地完成验证。本文则在此基础上对电路的等价性检验方法作出一番探讨。

关 键 词：等价性检验 电路 验证 

分 类 号：TN791[电子电信—电路与系统]