基于形式化方法的C模型和RTL实现逻辑等价性检验｜智猩猩国产EDA技术公开课预告

文章预览

智猩猩一直关注国产EDA的技术突破和产品创新，并于2023年策划推出「 智猩猩国产EDA技术公开课 」，持续邀请该领域优秀企业的技术决策者与专家带来讲解。 9月12日19:30 ，「智猩猩国产EDA技术公开课」第6期将开讲，由 阿卡思微电子技术总监冯煌 主讲，主题为《 基于形式化方法的C模型和RTL实现逻辑等价性检验 》。 形式验证是一种基于数学推理的芯片设计验证方法，它通过对芯片设计的逻辑规范和实现进行严格的数学建模和分析，来确保芯片设计在所有可能的输入情况下都能正确地实现预期的功能。 等价性验证是形式验证的重要方法，主要用于比较两个设计在功能上是否完全等价，通常用于比较不同抽象层次的设计版本，比如C模型和RTL实现的逻辑、RTL设计和门级网表之间的等价性检验。 等价性验证可以在芯片设计流程的早期发现潜在的错误， ………………………………