Efficient on-line testing of FPGAs with provable diagnosabilities | IEEE Conference Publication | IEEE Xplore