📚 等价技术资料

📦 资源总数:95

🔥 等价热门资料

查看全部95个资源 »

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

⬇️ 1 次下载
📂 等价资料分类