Searching in libarchfpga