南通大学学报（自然科学版）2016，Vol.15Issue(3)：45-49,5.
基于FPGA中状态机的逻辑等价性验证方法
Logic Equivalence Checking Based on the State Machine in FPGA
朱倩 1田甜 2赵欢1
作者信息
- 1. 北京控制工程研究所,北京 100190
- 2. 北京轩字信息技术有限公司,北京 100190
- 折叠
摘要
关键词
FPGA验证/状态机/逻辑等价性分类
信息技术与安全科学引用本文复制引用
朱倩,田甜,赵欢..基于FPGA中状态机的逻辑等价性验证方法[J].南通大学学报（自然科学版）,2016,15(3):45-49,5.
