Searching in v2x/yosys