论文研究-大规模集成电路形式化等价性验证研究进展 .pdf

【文件属性】：

文件名称：论文研究-大规模集成电路形式化等价性验证研究进展 .pdf

文件大小：390KB

文件格式：PDF

更新时间：2022-09-04 08:28:30

集成电路

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