Searching in spartan7/timings