随着芯片设计复杂度不断攀升，如何确保隐藏在代码中的逻辑Bug无处遁形，成为芯片成功流片的关键。形式化验证(Formal Verification)技术通过严谨的数学证明，在芯片设计的全部状态空间内进行穷尽式分析，提供“数学确定性”的保障。这无疑是通往“零缺陷”芯片的最优路径。然而，形式化验证存在两大难题：一是编写验证规则(SVA断言)需要极高的专业技能，二是实现100%的验证覆盖率过程繁琐且耗时。 近日，国内领先的EDA企业上海阿卡思微电子技术有限公司(北京华大九天科技股份有限公司战略参股公司)与北京开源芯片研究院(简称“开芯院”)、中国科学院计算技术研究所(ICT，简称“计算所”)合作