Searching in tests/cocotb