A Novel Verification Method of Reconfigurable Operators Array

Qingqing Liu,Zheng Xie,Chang Liu,Xin'an Wang
DOI: https://doi.org/10.1109/edssc.2014.7061236
2014-01-01
Abstract:In this paper, a novel verification method of a newtype FPGA structure-APU is proposed. The reconfigurable operators of APU and the process of APU synthesis are verified by simulation-based verification and formal verification separately. With the verification method proposed in this paper, certainty and completeness has been achieved.
What problem does this paper attempt to address?