One does not simply make Xilinx stuff importable.