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

摘要：

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

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

所属期刊栏目：3

分类号：TP319(计算技术、计算机技术)

在线出版日期：2022-07-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：111-115