FPGA软件形式化验证技术研究

• 作者: 陈军花 石颢 柴金宝
• 来源期刊: 现代信息科技
• 学科: 工学
• 关键词: FPGA 形式化验证 SVA
• 年，卷（期）: 2021,（19）
• 所属期刊栏目: 信息技术|Information Technology
• 页码范围: 30-33
• 页数: 4页
• 分类号: TN79+1
• 语种: 中文
• DOI: 10.19850/j.cnki.2096-4706.2021.19.007

摘要

验证是FPGA开发流程和IC芯片设计流程中不可或缺的环节,文章首先分析了当前数字仿真验证用例设计无法跨越的不完备性和不充分性,并详细探讨了为什么功能仿真会错过一些角落案例场景.在此基础上,介绍了形式化验证中FPGA的主要应用场景以及硬件逻辑功能验证语言SVA,并以实际工程案例阐述了基于SVA的形式化验证方法如何更好地在验证关键设计中发挥作用.