Searching in SVIncCompil/Testcases/YosysTestSuite/lut