Searching in ecp5/synth