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

• 作者: 丁宗杰 杨文强 门永平
• 来源期刊: 空间电子技术
• 学科: 工学
• 关键词: 逻辑等效性 FPGA 形式化验证
• 年，卷（期）: 2011,（1）
• 页码范围: 65-67,75
• 分类号: TP3
• 字数: 2599字
• 语种: 中文

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	门永平		5	0	0.0	0.0
2	杨文强		2	0	0.0	0.0
3	丁宗杰		1	0	0.0	0.0