Searching in SVIncCompil/Testcases/Yosys/unit/kernel