Searching in src/Testcases/YosysBigSim/lm32/rtl