Searching in src/Testcases/Yosys/unit/kernel