Searching in ice40/benchmark