Searching in ice40/smoketest/attosoc