Searching in SVIncCompil/Testcases/YosysBigSim/amber23