Searching in sim/testsuite/microblaze