时序验证技术资料

资源总数：10000

时序验证热门资料

查看全部10000个资源 »

时序电路的等价验证方法

随着集成电路设计水平的进步，电路规模日益增大，电路设计的时间越米越多的耗费在电路的验证问题上。传统的基于模拟的验证逐渐不能满足验证的需要，形式验证方法作为传统模拟验证方法的补充成为研究的热点。等价验证可以分为组合电路的等价验证和时序电路的等价验证。组合电路的等价验证算法目前发展比较成熟，成为很多时序...

1 次下载