Design and verification of the programming circuit in an application-specific FPGA | IEEE Conference Publication | IEEE Xplore