Title :
A novel verification method of reconfigurable operators array
Author :
Qingqing Liu ; Zheng Xie ; Chang Liu ; Xin´an Wang
Author_Institution :
Key Lab. of Integrated Microsyst., Peking Univ., Shenzhen, China
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.
Keywords :
field programmable gate arrays; FPGA structure APU; formal verification method; reconfigurable operator array; simulation-based verification method; Adders; Equations; Hardware design languages; Mathematical model; Routing; APU; completeness; formal verification; reconfigurable operators;
Conference_Titel :
Electron Devices and Solid-State Circuits (EDSSC), 2014 IEEE International Conference on
DOI :
10.1109/EDSSC.2014.7061236
