Searching in SVIncCompil/Testcases/YosysOldTests/sasc/rtl