Searching in SVIncCompil/Testcases/YosysBigSim/amber23/rtl