SOC HW/SW co-verification technology for application of FPGA test and diagnosis | IEEE Conference Publication | IEEE Xplore