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

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

FPGA状态机综合可靠性探究

文章介绍了FPGA综合器中的状态机安全属性,对状态机安全属性的应用进行了说明,对状态机安全属性设置前后电路的差异性进行了分析,探索了不同设置下的电路功能.结果表明,通过综合器状态机安全属性设置,可改善逻辑电路对状态机无效状态的处理,提高状态机运行的可靠性.