A novel verification method of reconfigurable operators array
Qingqing Liu, Zheng yu Xie, Chang Liu, Xin’an Wang · 2014
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.