FPGA Verification Method Based on Test Coverage Analysis. - Lanlai Wang; Wei Liu; Li Xu; Daojin Xu; Xiaoming Zhang (ICMLCA, 2024)