大规模集成电路形式化等价性验证研究进展,张立明,欧阳丹彤,在集成电路设计中,验证的时间已占到整个设计周期的80%以上.因此对不同抽象层间的等价性验证方法的研究,从而提高验证的效率,缩短�