逻辑功能更正技术发展概述

作者：魏星^*; 贾非凡

来源：微纳电子与智能制造, 2021, 3(02): 111-115.

DOI：10.19816/j.cnki.10-1594/tn.2021.02.111

• 电子设计自动化
• 逻辑功能更正
• 数字芯片设计
• 形式验证
• 等价性验证

作为EDA工具的重要组成部分,逻辑功能更正技术的重要性不可忽视。本文介绍了逻辑功能更正技术在EDA工具中的地位和应用,简单介绍了逻辑功能更正技术的理论发展过程及其产品发展历程,最后展望了逻辑功能更正技术的未来发展趋势。