论文研究大规模集成电路形式化等价性验证研究进展 .pdf
大规模集成电路形式化等价性验证研究进展，张立明，欧阳丹彤，在集成电路设计中,验证的时间已占到整个设计周期的80%以上.因此对不同抽象层间的等价性验证方法的研究，从而提高验证的效率，缩短�
下载地址
用户评论
排版比较乱，内容也有点乱