基于FPGA中状态机的逻辑等价性验证方法

• 作者: 朱倩 田甜 赵欢
• 来源期刊: 南通大学学报（自然科学版）
• 学科: 工学
• 关键词: FPGA验证 状态机 逻辑等价性
• 年，卷（期）: 2016,（3）
• 所属期刊栏目: 电子 信息工程与计算机科学
• 页码范围: 45-49
• 页数: 5页
• 分类号: TN492
• 字数: 3041字
• 语种: 中文

摘要

采用Synopsys公司的逻辑等价性验证工具Formality,针对状态机逻辑电路进行逻辑等价性验证.介绍了验证的基本流程和具体步骤,具体分析了在逻辑等价性验证过程中出现的由安全设置、状态机耦合性和广义状态机等引发的常见状态机验证失败问题,并最终提出有效、可靠的解决方案.结果表明,采用Formality针对大型复杂的FPGA状态机进行逻辑等价性验证,能大幅度降低验证周期,提高验证正确性,从而进一步提高航天产业背景下FPGA产品的可靠性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	朱倩		4	6	2.0	2.0
5	田甜		2	8	2.0	2.0
9	赵欢		1	4	1.0	1.0