ALIFRouter: A Practical Architecture-Level Inter-FPGA Router for Logic Verification | IEEE Conference Publication | IEEE Xplore