等效性验证工具进行大规模FPGA验证探讨

作者：杨文强; 门永平; 丁宗杰

来源：空间电子技术, 2011, (01): 65-67+75.

• 逻辑等效性
• FPGA
• 形式化验证 Logic equivalency FPGA Formal verification

文章分析了FPGA设计验证的一般流程,并以等效性验证原理为基础,结合等效性验证工具,探讨了大规模FPGA设计验证的工作流程及具体实施过程,对优化FPGA设计验证流程给出了建设性建议。

• 单位
  中国空间技术研究院