Test generation for digital device on FPGA, CPLD | IEEE Conference Publication | IEEE Xplore