Searching in SVIncCompil/Testcases/YosysBigSim/scripts