Modeling the interconnects of Xilinx Virtex FPGAs and derivation of their test configurations | IEEE Conference Publication | IEEE Xplore