Built-in-Self-Test of FPGAs With Provable Diagnosabilities and High Diagnostic Coverage With Application to Online Testing | IEEE Journals & Magazine | IEEE Xplore